summaryrefslogtreecommitdiff
path: root/fstar/Primitives.fst (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add a pass to cleanup the deconstructed ADTs and fix a small issueSon Ho2022-05-151-1/+1
* Treat integer casts in a general mannerSon Ho2022-05-151-0/+4
* Make good progress on the proofs of hashmapSon Ho2022-02-111-14/+14
* Make progress on the proofs of HashMapSon Ho2022-02-101-4/+4
* Update Primitives.fstSon Ho2022-02-101-1/+10
* Add definitions to Primitives.fst and start on improving/fixing theSon Ho2022-02-091-0/+49
* Make more minor modificationsSon Ho2022-02-071-1/+3
* Make minor modifications to Primitives.fstSon Ho2022-02-071-1/+2
* Work on decomposition of monadic let-bindings for F*Son Ho2022-02-041-0/+10
* Make mor modificationsSon Ho2022-02-031-0/+3
* Make minor modificationsSon Ho2022-02-031-1/+1
* Rename Assumed.fst to Primitives.fst and make progress on thatSon Ho2022-02-031-0/+205