summaryrefslogtreecommitdiff
path: root/tests/hashmap/Hashmap.Funs.fst (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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