summaryrefslogtreecommitdiff
path: root/compiler (unfollow)
Commit message (Expand)AuthorFilesLines
2023-02-03Make minor modifications to improve the quality of the loop translationSon Ho4-15/+106
2023-02-03Make minor fixesSon Ho1-12/+14
2023-02-03Improve the loops' numberingSon Ho1-132/+149
2023-02-03Make another loop example workSon Ho1-30/+27
2023-02-03Implement a micro-pass to simplify the let-bindings followed by a returnSon Ho4-2/+101
2023-02-03Make a minor cleanup in InterpreterLoops.mlSon Ho1-55/+62
2023-02-03Make minor modifications and generate code for loopsSon Ho1-24/+28
2023-02-03Fix a minor bug in Interpreter.mlSon Ho2-9/+15
2023-02-03Fix various issues with the generation of code for the loopsSon Ho8-149/+416
2023-02-03Fix a small issue with SymbolicToPure.translate_loopSon Ho2-50/+43
2023-02-03Fix a minor issue with [translate_end_abstraction_loop]Son Ho1-3/+7
2023-02-03Fix another bugSon Ho7-39/+127
2023-02-03Fix some bugsSon Ho8-85/+175
2023-02-03Make good progress on updating SymbolicToPureSon Ho14-312/+877
2023-02-03Add a `Loop` node in the pure ASTSon Ho10-15/+97
2023-02-03Introduce new loop ids in Pure and keep track of the number of loops in a fun...Son Ho7-37/+69
2023-02-03Add loop ids to the pure functions identifiersSon Ho8-37/+80
2023-02-03Compute the SCCs of the functions to extract in Translate.mlSon Ho6-125/+183
2023-02-03Reorganize Translate.mlSon Ho1-165/+183
2023-02-03Implement ReorderDecls.mlSon Ho3-1/+152
2023-02-03Add an SCC.ml file for strongly connected componentsSon Ho5-3/+236
2023-02-03Make progress on Interpreter.mlSon Ho12-129/+293
2023-02-03Merge loop abs so that there is one abs per function input region groupSon Ho5-54/+387
2023-02-03Make minor modificationsSon Ho3-38/+63
2023-02-03Add detailed explanations in InterpreterLoops.mlSon Ho1-39/+405
2023-02-03Implement [match_ctx_with_target]Son Ho3-80/+635
2023-02-03End some borrows preemptively when computing loop joinsSon Ho1-3/+14
2023-02-03Update the comments in Values and make minor modificationsSon Ho7-120/+213
2023-02-03Remove the meta-value field from AMutBorrowSon Ho10-136/+144
2023-02-03Update a commentSon Ho1-1/+4
2023-02-03Remove the APrimitive variant from the avaluesSon Ho7-25/+3
2023-02-03Remove the meta-values from the shared and reserved borrow valuesSon Ho15-162/+163
2023-02-03Make more fixesSon Ho2-86/+222
2023-02-03Make some fixesSon Ho5-33/+231
2023-02-03Make progress on checking that two environments are equivalentSon Ho3-177/+561
2023-02-03Improve some visitors and ctx_merge_regionsSon Ho4-42/+76
2023-02-03Make minor modificationsSon Ho2-1/+11
2023-02-03Improve merge_abstractionsSon Ho3-6/+91
2023-02-03Improve the value visitors and some substitution functionsSon Ho3-23/+54
2023-02-03Make more progress on the joinsSon Ho1-142/+127
2023-02-03Make progress on the fixed point computationSon Ho6-400/+381
2023-02-03Make progress on the environment matchesSon Ho8-34/+279
2023-02-03Make more progressSon Ho1-61/+102
2023-02-03Make progress on environment matches and joinsSon Ho7-240/+1104
2023-02-03Make progress on environments matches and joinsSon Ho5-74/+563
2023-02-03Start implementing support for loopsSon Ho19-264/+1566
2022-11-16Do not introduce match on the fuel for non-recursive functionsSon Ho3-11/+50
2022-11-16Automatically generate the Makefile and _CoqProject files in the tests subdir...Son Ho1-0/+2
2022-11-16Generate record field projectors for CoqSon Ho3-83/+231
2022-11-16Change the name of the generated Coq modulesSon Ho1-1/+1