| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Remove the Aggregated variant from SymbolicAst.meta as it is included in | Son Ho | 2022-01-28 | 6 | -24/+3 |
* | Generate meta-information for the assignments | Son Ho | 2022-01-28 | 5 | -17/+69 |
* | Generate meta-information for assignments in the symbolic AST | Son Ho | 2022-01-27 | 3 | -17/+29 |
* | Rename the meta-places to [mplace] and update some comments | Son Ho | 2022-01-27 | 8 | -41/+65 |
* | Fix some issues with the naming of input variables | Son Ho | 2022-01-27 | 4 | -19/+34 |
* | Make minor modifications and create PureMicroPasses.ml | Son Ho | 2022-01-27 | 3 | -1/+45 |
* | Move some definitions from SymbolicToPure to PureToExtract | Son Ho | 2022-01-27 | 4 | -88/+108 |
* | Add name information upon initializing some variables in SymbolicToPure | Son Ho | 2022-01-27 | 3 | -26/+118 |
* | Add mplace information in Pure.ml | Son Ho | 2022-01-27 | 3 | -32/+99 |
* | Make a modification in InterpreterPath | Son Ho | 2022-01-27 | 1 | -8/+16 |
* | Add meta information for the variable names in SymbolicAst | Son Ho | 2022-01-27 | 7 | -58/+150 |
* | Add a "basename" field in Pure.var | Son Ho | 2022-01-27 | 2 | -8/+11 |
* | Make minor modifications | Son Ho | 2022-01-27 | 3 | -3/+8 |
* | Fix some mistakes | Son Ho | 2022-01-27 | 2 | -2/+22 |
* | Add more printing facilities and fix minor bugs | Son Ho | 2022-01-27 | 6 | -23/+120 |
* | Implement PrintPure.let_to_string | Son Ho | 2022-01-27 | 1 | -3/+74 |
* | Implement PrintPure.switch_to_string | Son Ho | 2022-01-27 | 1 | -0/+68 |
* | Implement inst_fun_sig_to_string | Son Ho | 2022-01-27 | 1 | -0/+13 |
* | Implement PrintPure.fun_sig_to_string | Son Ho | 2022-01-27 | 1 | -6/+24 |
* | Implement PrintPure.typed_rvalue_to_string | Son Ho | 2022-01-27 | 2 | -44/+79 |
* | Implement PrintPure.typed_lvalue_to_string | Son Ho | 2022-01-27 | 2 | -1/+64 |
* | Make more progress on PrintPure | Son Ho | 2022-01-27 | 1 | -16/+59 |
* | Start working on PrintPure.ml | Son Ho | 2022-01-27 | 3 | -1/+117 |
* | Introduce AEndedSharedBorrow so as not to introduce ABottom when | Son Ho | 2022-01-27 | 6 | -13/+21 |
* | Add some printing facilities to SymbolicToPure | Son Ho | 2022-01-27 | 3 | -4/+70 |
* | Fix a small issue in translate_back_ty | Son Ho | 2022-01-27 | 2 | -50/+28 |
* | Fix a mistake with the input symbolic values not being linked to the | Son Ho | 2022-01-27 | 2 | -16/+49 |
* | Make minor modifications and add comments | Son Ho | 2022-01-27 | 3 | -6/+38 |
* | Start testing translation to pure | Son Ho | 2022-01-27 | 1 | -3/+7 |
* | Cleanup a bit by removing useless `open` | Son Ho | 2022-01-27 | 4 | -7/+0 |
* | Change the signatures of several functions in Interpreter.ml | Son Ho | 2022-01-27 | 2 | -32/+29 |
* | Implement Translate.translate_module_to_pure | Son Ho | 2022-01-27 | 1 | -5/+17 |
* | Implement Translate.translate_function | Son Ho | 2022-01-27 | 6 | -29/+178 |
* | Introduce Contexts.fun_context | Son Ho | 2022-01-27 | 2 | -7/+15 |
* | Start working on Translate | Son Ho | 2022-01-27 | 2 | -37/+27 |
* | Add a list of input variables to Pure.fun_def | Son Ho | 2022-01-27 | 2 | -3/+24 |
* | Implement the backward case of translate_return | Son Ho | 2022-01-27 | 2 | -10/+17 |
* | Implement the SynthInput case of translate_end_abstraction | Son Ho | 2022-01-27 | 1 | -2/+53 |
* | Make give_back_symbolic_value fail in case we need to reinsert inside an | Son Ho | 2022-01-27 | 1 | -2/+14 |
* | Cleanup a bit | Son Ho | 2022-01-27 | 1 | -2/+0 |
* | Implement the borrow_content case of end_abstraction_borrows | Son Ho | 2022-01-27 | 2 | -6/+32 |
* | Fix a small issue in end_abstraction_loans: the loan_content case was | Son Ho | 2022-01-26 | 1 | -0/+13 |
* | Make minor modifications | Son Ho | 2022-01-26 | 1 | -1/+1 |
* | Fix a bug in the end borrows/abs loop detection | Son Ho | 2022-01-26 | 1 | -4/+4 |
* | Fix various issues | Son Ho | 2022-01-26 | 4 | -5/+15 |
* | Start actually generating symbolic ASTs for the backward functions | Son Ho | 2022-01-26 | 2 | -6/+18 |
* | Make more progress on generating the symbolic AST for the backward | Son Ho | 2022-01-26 | 3 | -11/+25 |
* | Make good progress on generating the symbolic AST for the backward | Son Ho | 2022-01-26 | 2 | -40/+146 |
* | Test the generation of the symbolic AST | Son Ho | 2022-01-26 | 1 | -1/+1 |
* | Make progress on translation | Son Ho | 2022-01-26 | 5 | -75/+147 |