| Commit message (Expand) | Author | Files | Lines |
2022-11-07 | Rename "inactivated borrows" to "reserved borrows" | Son Ho | 1 | -2/+2 |
2022-11-07 | Add ids to the dummy variables | Son Ho | 1 | -10/+16 |
2022-11-07 | Replace all the occurrences of `failwith ...` with `raise (Failure ...)` | Son Ho | 1 | -7/+9 |
2022-10-28 | Make minor modifications | Son Ho | 1 | -3/+7 |
2022-10-28 | Move some files to the Charon project | Son Ho | 1 | -728/+4 |
2022-10-27 | Reorganize Print.ml | Son Ho | 1 | -262/+271 |
2022-10-27 | Move constant_value to PrimitiveValues.ml | Son Ho | 1 | -4/+4 |
2022-10-27 | Reorganize a bit the project | Son Ho | 1 | -1/+1 |
2022-10-26 | Add meta data with code locations to the various definitions | Son Ho | 1 | -0/+4 |
2022-10-13 | Rename Modules to Crates | Son Ho | 1 | -5/+6 |
2022-09-22 | Reformat the project with dune | Son Ho | 1 | -16/+18 |
2022-07-18 | Address much stuff of the PR, throw exceptions at remaining places | Sidney Congard | 1 | -10/+13 |
2022-06-29 | Make minor modifications | Son Ho | 1 | -1/+1 |
2022-06-21 | concrete & symbolic evaluation work with new LLBC format | Sidney Congard | 1 | -41/+37 |
2022-06-13 | crude generation working - missing unit tests & special constants handling | Sidney Congard | 1 | -0/+1 |
2022-06-08 | read globals from LLBC JSON into functions | Sidney Congard | 1 | -6/+7 |
2022-05-15 | Treat integer casts in a general manner | Son Ho | 1 | -1/+9 |
2022-05-15 | Add AggregatedOption | Son Ho | 1 | -3/+9 |
2022-05-10 | Make minor modifications | Son Ho | 1 | -7/+1 |
2022-05-01 | Perform some renamings | Son Ho | 1 | -17/+17 |
2022-04-26 | Introduce the Abs expression and continue updating the code | Son Ho | 1 | -2/+2 |
2022-04-26 | Introduce the App expression, and make progress updating the code | Son Ho | 1 | -1/+1 |
2022-04-21 | Improve the generation of names for given back values | Son Ho | 1 | -1/+1 |
2022-04-21 | Work on pretty names | Son Ho | 1 | -1/+1 |
2022-04-20 | Introduce mdplace to link meta information about the given back values | Son Ho | 1 | -1/+1 |
2022-04-20 | Improve the generation of pretty names by correctly using the | Son Ho | 1 | -3/+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 | -29/+44 |
2022-03-03 | Rename CFIM to LLBC | Son Ho | 1 | -5/+5 |
2022-03-03 | Add an Opaque variant to type_decl_kind and start updating the code | Son Ho | 1 | -1/+2 |
2022-03-03 | Update the name definition to use path_elem | Son Ho | 1 | -6/+8 |
2022-03-03 | Move the names from Identifiers to Names | Son Ho | 1 | -1/+1 |
2022-03-03 | Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl | Son Ho | 1 | -79/+82 |
2022-02-24 | Update the way function names are handled | Son Ho | 1 | -4/+10 |
2022-02-23 | Improve pretty-printing of environments by filtering and grouping values | Son Ho | 1 | -3/+65 |
2022-02-22 | Add support for "fused" match branches | Son Ho | 1 | -4/+7 |
2022-02-08 | Add an option to allow the presence of bottom values below borrows | Son Ho | 1 | -0/+4 |
2022-02-08 | Update some code in Print for Option | Son Ho | 1 | -0/+10 |
2022-02-08 | Implement pre-passes to update the AST before executing the interpreter | Son Ho | 1 | -1/+1 |
2022-02-08 | Fix some issues | Son Ho | 1 | -0/+5 |
2022-02-08 | Start adding more assumed types and functions | Son Ho | 1 | -6/+45 |
2022-01-29 | Make the field names optional and make progress on ExtractToFStar | Son Ho | 1 | -7/+17 |
2022-01-27 | Introduce AEndedSharedBorrow so as not to introduce ABottom when | Son Ho | 1 | -0/+1 |
2022-01-27 | Add some printing facilities to SymbolicToPure | Son Ho | 1 | -0/+50 |
2022-01-26 | Fix various issues | Son Ho | 1 | -2/+2 |
2022-01-26 | Add a meta-value in SharedBorrow to carry the shared value | Son Ho | 1 | -1/+1 |
2022-01-24 | Start working on printing for symbolic AST | Son Ho | 1 | -2/+2 |
2022-01-21 | Update AProjLoans and AEndedProjLoans to take a list of given back | Son Ho | 1 | -6/+17 |
2022-01-19 | Start storing meta-values in the avalues, for synthesis purposes | Son Ho | 1 | -4/+7 |
2022-01-18 | Update type_context to have to have a type info field, use maps instead | Son Ho | 1 | -20/+23 |