index
:
aeneas
isabelle
aeneas rust verifier with a hacky Isabelle backend
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
fstar
(
follow
)
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Make the Nix build work
Son Ho
2022-11-11
1
-0
/
+287
|
*
Reorganize a bit the project
Son Ho
2022-10-27
1
-286
/
+0
|
*
Update fstar/Primitives.fst
Son HO
2022-09-22
1
-1
/
+1
|
*
Traduct globals body separately (WIP)
Sidney Congard
2022-06-30
1
-0
/
+3
|
*
Add a pass to cleanup the deconstructed ADTs and fix a small issue
Son Ho
2022-05-15
1
-1
/
+1
|
*
Treat integer casts in a general manner
Son Ho
2022-05-15
1
-0
/
+4
|
*
Make good progress on the proofs of hashmap
Son Ho
2022-02-11
1
-14
/
+14
|
*
Make progress on the proofs of HashMap
Son Ho
2022-02-10
1
-4
/
+4
|
*
Update Primitives.fst
Son Ho
2022-02-10
1
-1
/
+10
|
*
Add definitions to Primitives.fst and start on improving/fixing the
Son Ho
2022-02-09
1
-0
/
+49
|
|
|
|
generated F* file
*
Make more minor modifications
Son Ho
2022-02-07
1
-1
/
+3
|
*
Make minor modifications to Primitives.fst
Son Ho
2022-02-07
1
-1
/
+2
|
*
Work on decomposition of monadic let-bindings for F*
Son Ho
2022-02-04
1
-0
/
+10
|
*
Make mor modifications
Son Ho
2022-02-03
1
-0
/
+3
|
*
Make minor modifications
Son Ho
2022-02-03
1
-1
/
+1
|
*
Rename Assumed.fst to Primitives.fst and make progress on that
Son Ho
2022-02-03
2
-107
/
+205
|
*
Start working on Assumed.fst
Son Ho
2022-02-03
1
-0
/
+107