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
/
LlbcAst.ml
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2022-07-25
Apply minor changes from PR comments
Sidney Congard
1
-4
/
+4
2022-07-18
Address much stuff of the PR, throw exceptions at remaining places
Sidney Congard
1
-12
/
+9
2022-06-21
concrete & symbolic evaluation work with new LLBC format
Sidney Congard
1
-1
/
+26
2022-06-08
read globals from LLBC JSON into functions
Sidney Congard
1
-3
/
+2
2022-05-01
Perform some renamings
Son Ho
1
-2
/
+2
2022-03-03
In fun_id rename the variant Local to Regular
Son Ho
1
-1
/
+1
2022-03-03
Make good progress on adding support for external and opaque
Son Ho
1
-19
/
+0
2022-03-03
Rename CfimOfJson to LlbcOfJson
Son Ho
1
-0
/
+13
2022-03-03
Rename CFIM to LLBC
Son Ho
1
-0
/
+0
2022-03-03
Move the names from Identifiers to Names
Son Ho
1
-0
/
+1
2022-03-03
Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl
Son Ho
1
-4
/
+4
2022-02-24
Update the way function names are handled
Son Ho
1
-1
/
+1
2022-02-22
Add support for "fused" match branches
Son Ho
1
-3
/
+5
2022-02-08
Make minor modifications
Son Ho
1
-2
/
+2
2022-02-08
Start adding more assumed types and functions
Son Ho
1
-1
/
+14
2022-01-24
Make minor modifications
Son Ho
1
-2
/
+2
2022-01-18
Update the types and deserialization following charon's updates
Son Ho
1
-25
/
+0
2022-01-06
Make good progress on implementing utilities to test symbolic execution
Son Ho
1
-2
/
+15
2022-01-06
Generate iterators for statement
Son Ho
1
-1
/
+50
2022-01-05
Make good progress on eval_local_function_call_symbolic
Son Ho
1
-6
/
+27
2022-01-05
Update the code to deserialize regions_hierarchy information
Son Ho
1
-0
/
+19
2022-01-05
Implement the symbolic case of copy_value
Son Ho
1
-3
/
+3
2022-01-05
Introduce the type_context definition
Son Ho
1
-0
/
+7
2021-12-17
Use RegionVarId and RegionId in a more consistent manner
Son Ho
1
-2
/
+2
2021-12-08
Make minor modifications
Son Ho
1
-2
/
+2
2021-12-01
Move the var definition
Son Ho
1
-0
/
+11
2021-12-01
Merge statements and expressions into statements
Son Ho
1
-12
/
+7
2021-12-01
Add various comments
Son Ho
1
-0
/
+1
2021-11-30
Remove the vector type for the Id module
Son Ho
1
-4
/
+4
2021-11-29
Derive more printing functions
Son Ho
1
-1
/
+9
2021-11-18
Remove the automatic derivation of Yojson (de)serializers
Son Ho
1
-9
/
+1
2021-11-17
Also generate to_yojson functions
Son Ho
1
-9
/
+9
2021-11-17
Make minor modifications
Son Ho
1
-1
/
+1
2021-11-17
Make progress on deserializing modules
Son Ho
1
-0
/
+2
2021-11-17
Use [@@ëerive of_json] on all the types
Son Ho
1
-1
/
+9
2021-11-17
Start working on json deserialization
Son Ho
1
-1
/
+1
2021-11-03
Implement CfimAst.ml
Son Ho
1
-0
/
+71