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
/
TranslateCore.ml
(
follow
)
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Rename Modules to Crates
Son Ho
2022-10-13
1
-1
/
+0
|
*
Reformat the project with dune
Son Ho
2022-09-22
1
-3
/
+7
|
*
Address much stuff of the PR, throw exceptions at remaining places
Sidney Congard
2022-07-18
1
-6
/
+11
|
*
Traduct globals body separately (WIP)
Sidney Congard
2022-06-30
1
-2
/
+4
|
*
concrete & symbolic evaluation work with new LLBC format
Sidney Congard
2022-06-21
1
-5
/
+5
|
*
read globals from LLBC JSON into functions
Sidney Congard
2022-06-08
1
-4
/
+5
|
*
Start implementing divergence, can_fail, statefullness analyses
Son Ho
2022-05-04
1
-1
/
+10
|
*
Rename CFIM to LLBC
Son Ho
2022-03-03
1
-1
/
+1
|
*
Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl
Son Ho
2022-03-03
1
-19
/
+19
|
*
Update the way function names are handled
Son Ho
2022-02-24
1
-1
/
+2
|
*
Make minor modifications
Son Ho
2022-02-08
1
-0
/
+6
|
*
Finish implementing filter_unused_assignments
Son Ho
2022-01-28
1
-0
/
+3
|
*
Cleanup a bit
Son Ho
2022-01-28
1
-1
/
+0
|
*
Apply the micro-passes to the pure ASTs
Son Ho
2022-01-28
1
-0
/
+2
|
*
Make a lot of small modifications
Son Ho
2022-01-28
1
-0
/
+34