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