| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Introduce a small optimization | Son Ho | 2022-02-01 | 1 | -1/+21 |
* | Make a minor modification | Son Ho | 2022-01-29 | 1 | -1/+1 |
* | Make progress on ExtractToFStar.mk_name_formatter | Son Ho | 2022-01-29 | 2 | -16/+47 |
* | Implement StringUtils.to_camel_case | Son Ho | 2022-01-29 | 1 | -14/+11 |
* | Start working on StringUtils | Son Ho | 2022-01-29 | 2 | -0/+113 |
* | Cleanup a bit | Son Ho | 2022-01-29 | 2 | -19/+21 |
* | Make the field names optional and make progress on ExtractToFStar | Son Ho | 2022-01-29 | 7 | -25/+45 |
* | Make progress on ExtractToFStar | Son Ho | 2022-01-29 | 3 | -48/+187 |
* | Update the Makefile | Son Ho | 2022-01-29 | 1 | -4/+3 |
* | Remove tests/trace_reference.txt | Son Ho | 2022-01-29 | 1 | -135234/+0 |
* | Rename ExtractToFstar to ExtractToFStar | Son Ho | 2022-01-29 | 2 | -1/+1 |
* | Make progress on ExtractToFstar | Son Ho | 2022-01-29 | 2 | -11/+43 |
* | Start working on extraction to F* | Son Ho | 2022-01-29 | 3 | -19/+210 |
* | Add a "name" field in Module | Son Ho | 2022-01-29 | 2 | -1/+4 |
* | Make more cleanup | Son Ho | 2022-01-29 | 1 | -8/+28 |
* | Make minor cleaning | Son Ho | 2022-01-29 | 3 | -9/+10 |
* | Make progress on PureToExtract | Son Ho | 2022-01-29 | 5 | -120/+116 |
* | Make progress on PureToExtract | Son Ho | 2022-01-29 | 5 | -95/+245 |
* | Start working on ExtractAst | Son Ho | 2022-01-28 | 4 | -7/+65 |
* | Implement unfold_monadic_let_bindings | Son Ho | 2022-01-28 | 1 | -28/+24 |
* | Make the pure expressions typed | Son Ho | 2022-01-28 | 5 | -128/+196 |
* | Make minor modifications | Son Ho | 2022-01-28 | 1 | -16/+25 |
* | Make the scrutinee in Pure.Switch an expression rather than a value | Son Ho | 2022-01-28 | 4 | -21/+25 |
* | Make minor modifications | Son Ho | 2022-01-28 | 2 | -9/+35 |
* | Make administrative modifications | Son Ho | 2022-01-28 | 2 | -14/+61 |
* | Make minor modifications | Son Ho | 2022-01-28 | 2 | -12/+13 |
* | Finish implementing filter_unused_assignments | Son Ho | 2022-01-28 | 3 | -7/+123 |
* | Make more progress on filter_unused_assignments | Son Ho | 2022-01-28 | 1 | -4/+21 |
* | Make good progress on PureMicroPasses.filter_unused_assignments | Son Ho | 2022-01-28 | 1 | -7/+84 |
* | Add some mapreduce visitors to Pure | Son Ho | 2022-01-28 | 1 | -11/+64 |
* | Make minor modifications to the use of reduce in | Son Ho | 2022-01-28 | 2 | -9/+59 |
* | Cleanup a bit | Son Ho | 2022-01-28 | 4 | -14/+15 |
* | Implement inline_useless_var_reassignments | Son Ho | 2022-01-28 | 1 | -6/+60 |
* | Implement the unit_vars_to_unit pass | Son Ho | 2022-01-28 | 1 | -3/+23 |
* | Add an input_lvs field to Pure.fun_def | Son Ho | 2022-01-28 | 2 | -1/+7 |
* | Move some definitions to a new PureUtils.ml file | Son Ho | 2022-01-28 | 4 | -111/+104 |
* | Finish implementing to_monadic | Son Ho | 2022-01-28 | 3 | -13/+48 |
* | Add a comment | Son Ho | 2022-01-28 | 1 | -0/+1 |
* | Implement get_expression_min_var_counter | Son Ho | 2022-01-28 | 3 | -9/+40 |
* | Start working on to_monadic and make the expression visitors an | Son Ho | 2022-01-28 | 3 | -34/+121 |
* | Make various modifications to improve the name prettyfication | Son Ho | 2022-01-28 | 2 | -21/+46 |
* | Remove the Return and Fail variants from Pure.expression and add a | Son Ho | 2022-01-28 | 5 | -81/+178 |
* | Change the type of [Pure.call.args] to [expression list] rather than | Son Ho | 2022-01-28 | 4 | -57/+44 |
* | Make minor modifications | Son Ho | 2022-01-28 | 1 | -1/+8 |
* | Simplify the let-bindings in the pure AST | Son Ho | 2022-01-28 | 4 | -122/+158 |
* | Make substantial simplifications to the pure AST | Son Ho | 2022-01-28 | 4 | -232/+275 |
* | Make minor modifications | Son Ho | 2022-01-28 | 2 | -32/+34 |
* | Apply the micro-passes to the pure ASTs | Son Ho | 2022-01-28 | 4 | -12/+33 |
* | Make a lot of small modifications | Son Ho | 2022-01-28 | 7 | -42/+70 |
* | Finish the function PureMicroPasses.compute_pretty_names | Son Ho | 2022-01-28 | 1 | -2/+14 |