mpri-funcprog-project/src
Théophile Bastian 323302c6e5 Add a naive constant propagation pass 2018-02-16 20:53:43 +01:00
..
alphalib Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00
kremlin Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00
prettify Implement IfZero everywhere, untested 2018-02-16 00:43:44 +01:00
test Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00
tests@3eb98d9362 Update tests repo 2018-02-16 18:33:26 +01:00
.merlin Add human-readable pretty printer for Tail 2018-02-15 21:26:15 +01:00
CPS.ml Remove wrong TODOs 2018-02-16 18:40:12 +01:00
CPS.mli Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00
ConstantPropag.ml Add a naive constant propagation pass 2018-02-16 20:53:43 +01:00
ConstantPropag.mli Add a naive constant propagation pass 2018-02-16 20:53:43 +01:00
Cook.ml Add IfZero in the syntax + placeholders 2018-02-16 00:19:44 +01:00
Cook.mli Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00
Defun.ml Fix: recursive functions correctly defunctionalized 2018-02-16 01:29:01 +01:00
Defun.mli Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00
Error.ml Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00
Error.mli Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00
Finish.ml Fix C code production, add ifzero basic test 2018-02-16 00:52:07 +01:00
Finish.mli Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00
Lambda.ml Add IfZero in the syntax + placeholders 2018-02-16 00:19:44 +01:00
Lexer.mll Add IfZero construct to lexer + parser 2018-02-16 00:21:29 +01:00
Main.ml Add a naive constant propagation pass 2018-02-16 20:53:43 +01:00
Makefile Add human-readable pretty printer for Tail 2018-02-15 21:26:15 +01:00
Parser.mly Add IfZero construct to lexer + parser 2018-02-16 00:21:29 +01:00
RawLambda.ml Add IfZero in the syntax + placeholders 2018-02-16 00:19:44 +01:00
Tail.ml Implement IfZero everywhere, untested 2018-02-16 00:43:44 +01:00
Top.ml Add IfZero in the syntax + placeholders 2018-02-16 00:19:44 +01:00
VarVarBind.ml VarVarBind: add missing cleaning sub-calls 2018-02-16 15:10:03 +01:00
VarVarBind.mli Remove var-var bindings after defun 2018-02-16 02:45:40 +01:00
_tags Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00
prologue.h Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00