Commit graph

7 commits

Author SHA1 Message Date
Simon Cruanes
d0c3af5492 continue removal of CCGen/CCsequence 2014-12-13 03:20:14 +01:00
Simon Cruanes
94ff411f9f fix bug in test 2014-06-29 23:33:10 +02:00
Simon Cruanes
b72f8683ce udpated tests 2014-05-22 23:58:36 +02:00
Simon Cruanes
d7845e55c6 update of persistent hashtable 2013-11-05 15:50:41 +01:00
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