summaryrefslogtreecommitdiff
path: root/tests/hashmap/Hashmap.Funs.fst (follow)
Commit message (Expand)AuthorAgeFilesLines
* Regenerate the test filesSon Ho2022-04-211-27/+29
* Regenerate the test filesSon Ho2022-04-201-47/+48
* Make an update in the hash mapSon Ho2022-03-051-4/+2
* Change the extension of the serialized files to .llbcSon Ho2022-03-031-25/+25
* Update the way function names are handledSon Ho2022-02-241-25/+25
* Improve variable name generationSon Ho2022-02-231-39/+40
* Inline more let-bindings and improve formattingSon Ho2022-02-231-72/+68
* Improve the code generation by inlining more let-bindingsSon Ho2022-02-231-108/+90
* Add [contains_key], make progress on the proofs for [contains_key],Son Ho2022-02-131-0/+41
* Start tracking the automatically generated/copied files for hashmapSon Ho2022-02-131-0/+663