summaryrefslogtreecommitdiff
path: root/fstar (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update fstar/Primitives.fstSon HO2022-09-221-1/+1
|
* Traduct globals body separately (WIP)Sidney Congard2022-06-301-0/+3
|
* 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
| | | | generated F* file
* 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-032-107/+205
|
* Start working on Assumed.fstSon Ho2022-02-031-0/+107