Commit graph

3 commits

Author SHA1 Message Date
Simon Cruanes
b202db7049 tests for PersistentHashtbl 2013-10-29 00:32:01 +01:00
Simon Cruanes
b9d38ff624 updated tests 2013-10-28 22:27:13 +01:00
Simon Cruanes
a82ebf7d59 added PersistentHashtbl, adapted from persistent arrays of J-C Filliatre 2013-03-26 17:23:19 +01:00