summaryrefslogtreecommitdiff
path: root/src/Substitute.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* concrete & symbolic evaluation work with new LLBC formatSidney Congard2022-06-211-9/+2
|
* Add AggregatedOptionSon Ho2022-05-151-2/+8
|
* Make minor modificationsSon Ho2022-05-101-1/+1
|
* Perform some renamingsSon Ho2022-05-011-3/+3
|
* Make good progress on adding support for external and opaqueSon Ho2022-03-031-4/+4
| | | | declarations
* Rename CFIM to LLBCSon Ho2022-03-031-1/+1
|
* Add an Opaque variant to type_decl_kind and start updating the codeSon Ho2022-03-031-0/+2
|
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-13/+13
|
* Start adding more assumed types and functionsSon Ho2022-02-081-2/+8
|
* Implement sanity checks to check the types of the input/output argumentsSon Ho2022-01-261-1/+4
| | | | given to backward functions
* Update the types and deserialization following charon's updatesSon Ho2022-01-181-6/+6
|
* Make the symbolic, borrow, region and abstration counters global andSon Ho2022-01-061-8/+4
| | | | stateful
* Implement statement_has_loops and make minor modificationsSon Ho2022-01-061-1/+0
|
* Cleanup a bitSon Ho2022-01-051-0/+2
|
* Make good progress on eval_local_function_call_symbolicSon Ho2022-01-051-0/+50
|
* Implement compute_expanded_symbolic_adt_valueSon Ho2022-01-041-0/+28
|
* Implement apply_proj_borrows_on_shared_borrowSon Ho2021-12-171-0/+21
|
* Rename some functionsSon Ho2021-12-171-4/+4
|
* Add more field type instantiation functions for the ADTsSon Ho2021-12-171-1/+40
|
* Rename some functionsSon Ho2021-12-171-3/+3
|
* Use RegionVarId and RegionId in a more consistent mannerSon Ho2021-12-171-2/+2
|
* Merge the ADTs, tuples and assumed types in the type and valueSon Ho2021-12-011-6/+3
| | | | definitions
* Factorize type_var and region_varSon Ho2021-12-011-1/+1
|
* Reimplement [erase_regions] with the substitution functionsSon Ho2021-12-011-0/+4
|
* Move some definitions to new filesSon Ho2021-12-011-1/+2
|
* Move the var definitionSon Ho2021-12-011-2/+2
|
* Merge statements and expressions into statementsSon Ho2021-12-011-17/+11
|
* Remove the vector type for the Id moduleSon Ho2021-11-301-11/+6
|
* Test the unit functionsSon Ho2021-11-291-1/+1
|
* Make various improvements in PrintSon Ho2021-11-291-18/+0
|
* Start working logging and make progress on printing ASTsSon Ho2021-11-291-1/+1
|
* Update the env definition to make the frames easier to manipulateSon Ho2021-11-261-0/+1
|
* Implement type substitution for function definitions (and expressions,Son Ho2021-11-251-1/+122
| | | | etc.)
* Start working on function callsSon Ho2021-11-251-4/+23
|
* Implement the Aggregate branch of eval_rvalueSon Ho2021-11-251-1/+9
|
* Implement various substitution functionsSon Ho2021-11-251-42/+54
|
* Commit Substitute.ml (forgotten in previous commit)Son Ho2021-11-251-0/+72