index
:
aeneas
isabelle
aeneas rust verifier with a hacky Isabelle backend
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Collections.ml
(
follow
)
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Reorganize a bit the project
Son Ho
2022-10-27
1
-378
/
+0
|
*
Update the code documentation to fix links and syntax issues
Son Ho
2022-10-26
1
-12
/
+12
|
*
Fix the semantics of drop
Son Ho
2022-10-20
1
-0
/
+14
|
*
Reformat the project with dune
Son Ho
2022-09-22
1
-71
/
+0
|
*
Introduce the Abs expression and continue updating the code
Son Ho
2022-04-26
1
-0
/
+5
|
*
Implement a micro pass to filter the box functions
Son Ho
2022-02-03
1
-0
/
+5
|
*
Make more progress on implementing function extraction
Son Ho
2022-02-03
1
-3
/
+20
|
*
Cleanup a bit
Son Ho
2022-01-29
1
-0
/
+17
|
*
Make progress on PureToExtract
Son Ho
2022-01-29
1
-4
/
+4
|
*
Add name information upon initializing some variables in SymbolicToPure
Son Ho
2022-01-27
1
-0
/
+3
|
*
Implement SymbolicToPure.translate_fun_sig
Son Ho
2022-01-25
1
-0
/
+24
|
*
Start working on name generation for the synthesis
Son Ho
2022-01-24
1
-0
/
+207
|
*
Start working on the generation of the symbolic AST
Son Ho
2022-01-21
1
-0
/
+14
|
*
Commit the forgotten Collections.ml
Son Ho
2022-01-19
1
-0
/
+143