| Commit message (Expand) | Author | Files | Lines |
2022-11-10 | Implement the generation of stateful backward functions (controlled by an opt... | Son Ho | 1 | -2/+9 |
2022-11-07 | Add some .mli files | Son Ho | 1 | -4/+4 |
2022-11-07 | Replace all the occurrences of `failwith ...` with `raise (Failure ...)` | Son Ho | 1 | -4/+6 |
2022-10-28 | Make minor updates to account for Charon's changes | Son Ho | 1 | -8/+7 |
2022-10-28 | Take care of some TODOs | Son Ho | 1 | -1/+1 |
2022-10-27 | Reorganize a bit the project | Son Ho | 1 | -0/+0 |
2022-10-26 | Update the code documentation to fix links and syntax issues | Son Ho | 1 | -3/+3 |
2022-10-13 | Rename Modules to Crates | Son Ho | 1 | -15/+16 |
2022-09-22 | Make minor cleanup | Son Ho | 1 | -22/+30 |
2022-07-29 | Create global declaration group, address PR changes but introduce bugs | Sidney Congard | 1 | -2/+2 |
2022-07-18 | Address much stuff of the PR, throw exceptions at remaining places | Sidney Congard | 1 | -18/+26 |
2022-06-27 | Add `can_end` in `abs` and use it for the return abs when generating the | Son Ho | 1 | -14/+29 |
2022-06-21 | concrete & symbolic evaluation work with new LLBC format | Sidney Congard | 1 | -4/+3 |
2022-06-08 | read globals from LLBC JSON into functions | Sidney Congard | 1 | -2/+3 |
2022-03-03 | Make good progress on adding support for external and opaque | Son Ho | 1 | -14/+28 |
2022-03-03 | Rename CFIM to LLBC | Son Ho | 1 | -7/+7 |
2022-03-03 | Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl | Son Ho | 1 | -17/+17 |
2022-02-24 | Update the way function names are handled | Son Ho | 1 | -4/+4 |
2022-02-22 | Make the interpreter pop the frame after executing a function body (for | Son Ho | 1 | -11/+14 |
2022-02-04 | Fix a small issue with the types of tuple values in | Son Ho | 1 | -0/+3 |
2022-01-27 | Fix a mistake with the input symbolic values not being linked to the | Son Ho | 1 | -6/+20 |
2022-01-27 | Cleanup a bit by removing useless `open` | Son Ho | 1 | -1/+0 |
2022-01-27 | Change the signatures of several functions in Interpreter.ml | Son Ho | 1 | -18/+20 |
2022-01-27 | Introduce Contexts.fun_context | Son Ho | 1 | -5/+11 |
2022-01-27 | Start working on Translate | Son Ho | 1 | -4/+3 |
2022-01-26 | Start actually generating symbolic ASTs for the backward functions | Son Ho | 1 | -6/+14 |
2022-01-26 | Make more progress on generating the symbolic AST for the backward | Son Ho | 1 | -4/+4 |
2022-01-26 | Make good progress on generating the symbolic AST for the backward | Son Ho | 1 | -22/+90 |
2022-01-26 | Make progress on translation | Son Ho | 1 | -20/+63 |
2022-01-26 | Make progress on translation | Son Ho | 1 | -84/+78 |
2022-01-26 | Do a minor cleanup | Son Ho | 1 | -11/+0 |
2022-01-26 | Cleanup a bit | Son Ho | 1 | -1/+1 |
2022-01-26 | Use the signatures in Assumed.ml in InterpreterStatements and remove the | Son Ho | 1 | -1/+1 |
2022-01-26 | Add some sanity checks and comments | Son Ho | 1 | -2/+2 |
2022-01-25 | Start working on translate_end_abstraction | Son Ho | 1 | -1/+1 |
2022-01-25 | Implement SymbolicToPure.translate_fun_sig | Son Ho | 1 | -7/+9 |
2022-01-21 | Finish updating the calls to the synthesis functions to generate the | Son Ho | 1 | -1/+3 |
2022-01-20 | Update Interpreter | Son Ho | 1 | -15/+32 |
2022-01-18 | Update type_context to have to have a type info field, use maps instead | Son Ho | 1 | -2/+7 |
2022-01-15 | Introduce abs_kind, to keep track of abstractions' origins | Son Ho | 1 | -1/+1 |
2022-01-15 | Add sv_kind ("symbolic value kind") to track the origin of the symbolic | Son Ho | 1 | -1/+3 |
2022-01-15 | Start working on Collections.ml | Son Ho | 1 | -6/+1 |
2022-01-14 | Start working on greedy symbolic value expansion and expansion before | Son Ho | 1 | -30/+31 |
2022-01-14 | Update aproj to make AEndedProjLoans take an `aproj option` and add the | Son Ho | 1 | -1/+3 |
2022-01-13 | Update the projectors to ignore values when they don't contain regions | Son Ho | 1 | -1/+3 |
2022-01-07 | Factorize initialize_symbolic_context_for_fun and | Son Ho | 1 | -28/+9 |
2022-01-07 | Make more modifications to logging | Son Ho | 1 | -2/+5 |
2022-01-07 | Add an optional borrow identifier to AIgnoredMutBorrow, introduce the | Son Ho | 1 | -1/+14 |
2022-01-06 | Cleanup | Son Ho | 1 | -1/+0 |
2022-01-06 | Make the symbolic, borrow, region and abstration counters global and | Son Ho | 1 | -8/+3 |