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
/
Print.ml
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fix some bugs
Son Ho
2022-01-06
1
-0
/
+4
*
Make minor improvements to printing
Son Ho
2022-01-06
1
-8
/
+13
*
Fix some printing issues
Son Ho
2022-01-06
1
-2
/
+2
*
Make good progress on implementing utilities to test symbolic execution
Son Ho
2022-01-06
1
-1
/
+1
*
Introduce the type_context definition
Son Ho
2022-01-05
1
-4
/
+6
*
Replace AProjSharedLoan with AIgnoredSharedLoan
Son Ho
2022-01-03
1
-4
/
+2
*
Cleanup a bit to remove warnings
Son Ho
2022-01-03
1
-5
/
+3
*
Rename AIgnoredShared{Borrow,Loan} to AProjShared{Borrow,Loan}
Son Ho
2021-12-17
1
-2
/
+2
*
Change the definition of abstract_shared_borrows
Son Ho
2021-12-17
1
-7
/
+9
*
Use RegionVarId and RegionId in a more consistent manner
Son Ho
2021-12-17
1
-17
/
+55
*
Implement the avalue cases of give_back_value
Son Ho
2021-12-17
1
-1
/
+1
*
Rename env_value to env_elem
Son Ho
2021-12-08
1
-3
/
+2
*
Add a comment
Son Ho
2021-12-08
1
-0
/
+4
*
Remove g_value, g_typed_value, etc. to make values and abstract values
Son Ho
2021-12-08
1
-52
/
+59
*
Fix Print.ml
Son Ho
2021-12-07
1
-6
/
+6
*
Make minor cleanup
Son Ho
2021-12-03
1
-3
/
+2
*
Merge the ADTs, tuples and assumed types in the type and value
Son Ho
2021-12-01
1
-49
/
+50
*
Merge value and avalue
Son Ho
2021-12-01
1
-48
/
+58
*
Simplify the adt_value type
Son Ho
2021-12-01
1
-3
/
+8
*
Cleanup a bit
Son Ho
2021-12-01
1
-5
/
+0
*
Factorize type_var and region_var
Son Ho
2021-12-01
1
-6
/
+6
*
Move some definitions to new files
Son Ho
2021-12-01
1
-3
/
+4
*
Move the var definition
Son Ho
2021-12-01
1
-6
/
+6
*
Merge statements and expressions into statements
Son Ho
2021-12-01
1
-36
/
+28
*
Make minor cleanup
Son Ho
2021-11-30
1
-6
/
+1
*
Introduce [binder] and use them in place of [var] in the environments
Son Ho
2021-11-30
1
-3
/
+8
*
Remove the vector type for the Id module
Son Ho
2021-11-30
1
-40
/
+26
*
Debug box_free
Son Ho
2021-11-30
1
-2
/
+3
*
Fix more bugs
Son Ho
2021-11-30
1
-0
/
+4
*
Add more debugging facilities
Son Ho
2021-11-30
1
-0
/
+16
*
Debug some issues in the interpreter
Son Ho
2021-11-30
1
-12
/
+26
*
Cleanup a bit
Son Ho
2021-11-29
1
-77
/
+0
*
Start deriving formatters for debugging
Son Ho
2021-11-29
1
-0
/
+77
*
Improve formatting
Son Ho
2021-11-29
1
-5
/
+8
*
Start fixing bugs in the unit test evaluation
Son Ho
2021-11-29
1
-2
/
+3
*
Make minor modifications for pretty-printing
Son Ho
2021-11-29
1
-1
/
+1
*
Make minor modifications to pretty-printing
Son Ho
2021-11-29
1
-2
/
+1
*
Debug pretty-printing
Son Ho
2021-11-29
1
-5
/
+6
*
Fix some issues and start printing modules
Son Ho
2021-11-29
1
-1
/
+21
*
Implement more utilities to print statements and expressions
Son Ho
2021-11-29
1
-3
/
+9
*
Implement DefCtxCfimAst.{type_def_to_string, fun_def_to_string}
Son Ho
2021-11-29
1
-27
/
+108
*
Make modifications to fun_def_to_string
Son Ho
2021-11-29
1
-4
/
+16
*
Implement fun_def_to_string
Son Ho
2021-11-29
1
-3
/
+57
*
Implement eval_ctx_to_ast_formatter
Son Ho
2021-11-29
1
-0
/
+23
*
Implement expression_to_string
Son Ho
2021-11-29
1
-0
/
+48
*
Make various improvements in Print
Son Ho
2021-11-29
1
-15
/
+49
*
Make more cleanup
Son Ho
2021-11-29
1
-72
/
+75
*
Rename a function
Son Ho
2021-11-29
1
-10
/
+9
*
Make more progress on cleaning
Son Ho
2021-11-29
1
-43
/
+43
*
Make progress on cleaning
Son Ho
2021-11-29
1
-19
/
+15
[next]