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

..

compare_test.go

Move compare.go into util package

2016-05-13 15:58:32 -07:00

compare.go

Move compare.go into util package

2016-05-13 15:58:32 -07:00

graph_test.go

Address PR comments

2016-05-25 16:36:14 -07:00

graph.go

Address PR comments

2016-05-25 16:36:14 -07:00

hashmap_test.go

Optimization: Remove copying of bindings

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

hashmap.go

Optimization: Remove copying of bindings

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