| Commit message (Expand) | Author | Age | Files | Lines |
* | Make good progress on adding support for external and opaque | Son Ho | 2022-03-03 | 1 | -29/+44 |
* | Rename CFIM to LLBC | Son Ho | 2022-03-03 | 1 | -5/+5 |
* | Add an Opaque variant to type_decl_kind and start updating the code | Son Ho | 2022-03-03 | 1 | -1/+2 |
* | Update the name definition to use path_elem | Son Ho | 2022-03-03 | 1 | -6/+8 |
* | Move the names from Identifiers to Names | Son Ho | 2022-03-03 | 1 | -1/+1 |
* | Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl | Son Ho | 2022-03-03 | 1 | -79/+82 |
* | Update the way function names are handled | Son Ho | 2022-02-24 | 1 | -4/+10 |
* | Improve pretty-printing of environments by filtering and grouping values | Son Ho | 2022-02-23 | 1 | -3/+65 |
* | Add support for "fused" match branches | Son Ho | 2022-02-22 | 1 | -4/+7 |
* | Add an option to allow the presence of bottom values below borrows | Son Ho | 2022-02-08 | 1 | -0/+4 |
* | Update some code in Print for Option | Son Ho | 2022-02-08 | 1 | -0/+10 |
* | Implement pre-passes to update the AST before executing the interpreter | Son Ho | 2022-02-08 | 1 | -1/+1 |
* | Fix some issues | Son Ho | 2022-02-08 | 1 | -0/+5 |
* | Start adding more assumed types and functions | Son Ho | 2022-02-08 | 1 | -6/+45 |
* | Make the field names optional and make progress on ExtractToFStar | Son Ho | 2022-01-29 | 1 | -7/+17 |
* | Introduce AEndedSharedBorrow so as not to introduce ABottom when | Son Ho | 2022-01-27 | 1 | -0/+1 |
* | Add some printing facilities to SymbolicToPure | Son Ho | 2022-01-27 | 1 | -0/+50 |
* | Fix various issues | Son Ho | 2022-01-26 | 1 | -2/+2 |
* | Add a meta-value in SharedBorrow to carry the shared value | Son Ho | 2022-01-26 | 1 | -1/+1 |
* | Start working on printing for symbolic AST | Son Ho | 2022-01-24 | 1 | -2/+2 |
* | Update AProjLoans and AEndedProjLoans to take a list of given back | Son Ho | 2022-01-21 | 1 | -6/+17 |
* | Start storing meta-values in the avalues, for synthesis purposes | Son Ho | 2022-01-19 | 1 | -4/+7 |
* | Update type_context to have to have a type info field, use maps instead | Son Ho | 2022-01-18 | 1 | -20/+23 |
* | Use the new collections | Son Ho | 2022-01-15 | 1 | -5/+5 |
* | Start working on Collections.ml | Son Ho | 2022-01-15 | 1 | -1/+1 |
* | Improve printing of symbolic values in abstractions | Son Ho | 2022-01-14 | 1 | -18/+16 |
* | Implement greedy expansion of symbolic variables and expansion before | Son Ho | 2022-01-14 | 1 | -10/+9 |
* | Start working on greedy symbolic value expansion and expansion before | Son Ho | 2022-01-14 | 1 | -9/+9 |
* | Update aproj to make AEndedProjLoans take an `aproj option` and add the | Son Ho | 2022-01-14 | 1 | -2/+6 |
* | Introduce "AIgnore" for the avalues | Son Ho | 2022-01-13 | 1 | -0/+1 |
* | Introduce ended borrow/loan projectors over symbolic values | Son Ho | 2022-01-13 | 1 | -0/+2 |
* | Update end_borrow to check if there are loans in borrowed values | Son Ho | 2022-01-12 | 1 | -0/+19 |
* | Introduce dummy variables and update assign_to_place | Son Ho | 2022-01-12 | 1 | -1/+3 |
* | Add an optional borrow identifier to AIgnoredMutBorrow, introduce the | Son Ho | 2022-01-07 | 1 | -2/+15 |
* | Improve logging and introduce eval_operands_prepare | Son Ho | 2022-01-07 | 1 | -1/+7 |
* | Remove the symbolic_proj_comp def and make the set of ended regions a | Son Ho | 2022-01-06 | 1 | -8/+4 |
* | 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 |