Torin Sandall 1ecb93ad3d Optimization: Remove copying of bindings ...

Instead of copying the bindings each time a binding is added, return an object
that can be used to undo the binding at the end of the proof.

2016-07-12 08:49:38 -07:00

..

bindings.go

Optimization: Remove copying of bindings

2016-07-12 08:49:38 -07:00

datastore_test.go

Fix bug in Data API

2016-06-03 11:11:57 -07:00

datastore.go

Support nested references

2016-06-27 12:48:49 -07:00

dump.go

Add Load utility alongside Dump

2016-07-09 15:37:01 -07:00

index_test.go

Move storage code into storage package

2016-05-13 17:37:35 -07:00

index.go

Move storage code into storage package

2016-05-13 17:37:35 -07:00

policystore_test.go

Move storage code into storage package

2016-05-13 17:37:35 -07:00

policystore.go

Update parser extension to take filename

2016-06-30 16:33:44 -07:00