Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge value and avalue | Son Ho | 2021-12-01 | 2 | -92/+107 |
| | |||||
* | Start factorizing value | Son Ho | 2021-12-01 | 1 | -13/+37 |
| | |||||
* | Simplify the adt_value type | Son Ho | 2021-12-01 | 3 | -32/+11 |
| | |||||
* | Make a minor modification | Son Ho | 2021-12-01 | 1 | -1/+0 |
| | |||||
* | Cleanup a bit | Son Ho | 2021-12-01 | 5 | -63/+55 |
| | |||||
* | Factorize type_var and region_var | Son Ho | 2021-12-01 | 5 | -22/+16 |
| | |||||
* | Reimplement [erase_regions] with the substitution functions | Son Ho | 2021-12-01 | 2 | -25/+4 |
| | |||||
* | Move some definitions to new files | Son Ho | 2021-12-01 | 6 | -58/+64 |
| | |||||
* | Move the var definition | Son Ho | 2021-12-01 | 6 | -24/+23 |
| | |||||
* | Merge statements and expressions into statements | Son Ho | 2021-12-01 | 5 | -172/+128 |
| | |||||
* | Add comments | Son Ho | 2021-12-01 | 2 | -16/+18 |
| | |||||
* | Add various comments | Son Ho | 2021-12-01 | 4 | -15/+54 |
| | |||||
* | Make minor cleanup | Son Ho | 2021-11-30 | 2 | -7/+2 |
| | |||||
* | Introduce [binder] and use them in place of [var] in the environments | Son Ho | 2021-11-30 | 4 | -13/+28 |
| | |||||
* | Do more cleanup | Son Ho | 2021-11-30 | 1 | -10/+5 |
| | |||||
* | Do more cleanup | Son Ho | 2021-11-30 | 1 | -36/+36 |
| | |||||
* | Do more cleanup | Son Ho | 2021-11-30 | 1 | -42/+37 |
| | |||||
* | Do more cleanup | Son Ho | 2021-11-30 | 1 | -4/+3 |
| | |||||
* | Cleanup a bit Interpreter.ml | Son Ho | 2021-11-30 | 1 | -20/+17 |
| | |||||
* | Remove the vector type for the Id module | Son Ho | 2021-11-30 | 10 | -289/+136 |
| | |||||
* | Debug box_free | Son Ho | 2021-11-30 | 2 | -63/+90 |
| | |||||
* | Fix an issue | Son Ho | 2021-11-30 | 1 | -15/+55 |
| | |||||
* | Replace the env parameters/return types with eval_ctx in many functions | Son Ho | 2021-11-30 | 1 | -163/+166 |
| | | | | in Interpreter | ||||
* | Make minor modifications | Son Ho | 2021-11-30 | 3 | -29/+79 |
| | |||||
* | Fix another bug | Son Ho | 2021-11-30 | 1 | -4/+10 |
| | |||||
* | Fix more bugs | Son Ho | 2021-11-30 | 2 | -7/+46 |
| | |||||
* | Fix another bug | Son Ho | 2021-11-30 | 1 | -1/+5 |
| | |||||
* | Fix another bug | Son Ho | 2021-11-30 | 1 | -1/+4 |
| | |||||
* | Add more debugging facilities | Son Ho | 2021-11-30 | 2 | -1/+26 |
| | |||||
* | Fix another bug | Son Ho | 2021-11-30 | 1 | -4/+8 |
| | |||||
* | Debug some issues in the interpreter | Son Ho | 2021-11-30 | 3 | -29/+72 |
| | |||||
* | Derive more printing functions | Son Ho | 2021-11-29 | 3 | -3/+18 |
| | |||||
* | Cleanup a bit | Son Ho | 2021-11-29 | 1 | -77/+0 |
| | |||||
* | Derive more debugging facilities | Son Ho | 2021-11-29 | 2 | -13/+47 |
| | |||||
* | Debug some issues | Son Ho | 2021-11-29 | 1 | -6/+13 |
| | |||||
* | Start deriving formatters for debugging | Son Ho | 2021-11-29 | 8 | -24/+143 |
| | |||||
* | Fix a small mistake | Son Ho | 2021-11-29 | 1 | -3/+1 |
| | |||||
* | Improve formatting | Son Ho | 2021-11-29 | 3 | -8/+11 |
| | |||||
* | Start fixing bugs in the unit test evaluation | Son Ho | 2021-11-29 | 2 | -3/+10 |
| | |||||
* | Fix some issues, introduce debugging log in the interpreter | Son Ho | 2021-11-29 | 1 | -1/+20 |
| | |||||
* | Make minor modifications for pretty-printing | Son Ho | 2021-11-29 | 1 | -1/+1 |
| | |||||
* | Test the unit functions | Son Ho | 2021-11-29 | 3 | -8/+12 |
| | |||||
* | Make minor modifications to pretty-printing | Son Ho | 2021-11-29 | 1 | -2/+1 |
| | |||||
* | Debug pretty-printing | Son Ho | 2021-11-29 | 2 | -6/+7 |
| | |||||
* | Fix some issues and start printing modules | Son Ho | 2021-11-29 | 3 | -7/+27 |
| | |||||
* | Finish cleaning up CfimOfJson | Son Ho | 2021-11-29 | 1 | -116/+115 |
| | |||||
* | Continue cleaning up | Son Ho | 2021-11-29 | 1 | -54/+53 |
| | |||||
* | Continue cleanin | Son Ho | 2021-11-29 | 1 | -29/+28 |
| | |||||
* | Start cleaning up CfimOfJson | Son Ho | 2021-11-29 | 1 | -8/+8 |
| | |||||
* | Move some definitions from CfimOfJson.ml to a new Modules.ml | Son Ho | 2021-11-29 | 3 | -14/+26 |
| |