index
:
aeneas
isabelle
aeneas rust verifier with a hacky Isabelle backend
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Reformat the code
Son Ho
2022-10-27
8
-23
/
+69
*
Fix some comment references
Son Ho
2022-10-27
6
-17
/
+19
*
Move constant_value to PrimitiveValues.ml
Son Ho
2022-10-27
21
-156
/
+187
*
Add a symbolic link to the generated documentation
Son Ho
2022-10-27
1
-0
/
+1
*
Rename driver.ml to Driver.ml
Son Ho
2022-10-27
2
-1
/
+1
*
Update the README and a comment
Son Ho
2022-10-27
2
-5
/
+6
*
Reorganize a bit the project
Son Ho
2022-10-27
63
-233
/
+18
*
Update the code documentation to fix links and syntax issues
Son Ho
2022-10-26
41
-1256
/
+1263
*
Start generating documentation
Son Ho
2022-10-26
6
-73
/
+101
*
Add meta data with code locations to the various definitions
Son Ho
2022-10-26
10
-110
/
+326
*
Measure and display the execution time
Son Ho
2022-10-26
1
-1
/
+11
*
Merge pull request #4 from AeneasVerif/son_update_charon
Son HO
2022-10-21
30
-112
/
+145
|
\
|
*
Update the .gitignore
Son Ho
2022-10-20
1
-0
/
+4
|
*
Regenerate the files
Son Ho
2022-10-20
10
-10
/
+10
|
*
Fix the semantics of drop
Son Ho
2022-10-20
4
-5
/
+32
|
*
Update the Makefile
Son Ho
2022-10-18
1
-3
/
+7
|
*
Rename Modules to Crates
Son Ho
2022-10-13
13
-77
/
+74
|
*
Use "polonius" in the names instead of "nll"
Son Ho
2022-10-13
2
-13
/
+14
|
*
Make minor modifications to the Makefile
Son Ho
2022-10-13
1
-5
/
+5
|
/
*
Update the README (#3)
Son HO
2022-10-04
1
-2
/
+8
*
Merge pull request #2 from AeneasVerif/protz_osx
Son HO
2022-09-28
6
-57
/
+57
|
\
|
*
Fix Makefiles
Jonathan Protzenko
2022-09-27
5
-55
/
+50
|
*
Incorrect assumptions, incorrect recursive make
Jonathan Protzenko
2022-09-27
1
-2
/
+7
|
/
*
Merge pull request #1 from AeneasVerif/constants-v2
Son HO
2022-09-22
57
-823
/
+1149
|
\
|
*
Add a `format` target in the Makefile
Son Ho
2022-09-22
1
-0
/
+5
|
*
Reformat the project with dune
Son Ho
2022-09-22
18
-234
/
+58
|
*
Remove a useless file
Son Ho
2022-09-22
1
-57
/
+0
|
*
Make minor cleanup
Son Ho
2022-09-22
2
-22
/
+12
|
*
Add some comments
Son Ho
2022-09-22
1
-0
/
+3
|
*
Update the name registration for globals
Son Ho
2022-09-22
2
-6
/
+12
|
*
Update PureMicroPasses.inline_useless_var_reassignments
Son Ho
2022-09-22
2
-34
/
+39
|
*
Make minor cleanup
Son Ho
2022-09-22
11
-131
/
+135
|
*
Make minor modifications
Son Ho
2022-09-22
6
-107
/
+117
|
*
Update FunsAnalysis
Son Ho
2022-09-22
1
-24
/
+26
|
*
Regenerate the translated files
Son Ho
2022-09-22
4
-4
/
+4
|
*
Update src/ExtractToFStar.ml
Son HO
2022-09-22
1
-1
/
+1
|
*
Update fstar/Primitives.fst
Son HO
2022-09-22
1
-1
/
+1
|
*
Update src/FunsAnalysis.ml
Son HO
2022-09-22
1
-0
/
+1
|
*
Update src/FunsAnalysis.ml
Son HO
2022-09-22
1
-1
/
+1
|
*
Update src/ExtractToFStar.ml
Son HO
2022-09-22
1
-1
/
+1
|
*
Update src/ExtractToFStar.ml
Son HO
2022-09-22
1
-1
/
+0
|
*
Update src/ExtractToFStar.ml
Son HO
2022-09-22
1
-1
/
+1
|
*
Update src/ExtractToFStar.ml
Son HO
2022-09-22
1
-1
/
+1
|
*
Update src/ExtractToFStar.ml
Son HO
2022-09-22
1
-1
/
+1
|
*
Update src/ExtractToFStar.ml
Son HO
2022-09-22
1
-1
/
+1
|
*
Update src/ExtractToFStar.ml
Son HO
2022-09-22
1
-1
/
+1
|
*
Update src/ExtractToFStar.ml
Son HO
2022-09-22
1
-1
/
+1
|
*
Update src/SymbolicAst.ml
Son HO
2022-09-22
1
-1
/
+1
|
*
Update src/TypesUtils.ml
Son HO
2022-09-22
1
-1
/
+1
|
*
Update src/Translate.ml
Son HO
2022-09-22
1
-1
/
+1
[prev]
[next]