home / code / tiger.ml.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add option iter
[tiger.ml.git] / compiler / src / lib / tiger / tiger_semant.ml
2018-09-18  Siraaj KhandkarSwitch Type.unique implementation from ref to Symbol blob | commitdiff | raw
2018-09-18  Siraaj KhandkarCheck scope of break statements blob | commitdiff | raw | diff to current
2018-09-18  Siraaj KhandkarDetect cycles in type declarations blob | commitdiff | raw | diff to current
2018-09-17  Siraaj KhandkarImplement (mutually) recursive function definitions blob | commitdiff | raw | diff to current
2018-09-17  Siraaj KhandkarRemove some unused bindings blob | commitdiff | raw | diff to current
2018-09-17  Siraaj KhandkarFix - check number of arguments in function calls blob | commitdiff | raw | diff to current
2018-09-16  Siraaj KhandkarWIP type-checking -- check recursive type defs blob | commitdiff | raw | diff to current
2018-09-14  Siraaj KhandkarFix use type of last expression in a sequence blob | commitdiff | raw | diff to current
2018-09-14  Siraaj KhandkarFix incorrect environment entry blob | commitdiff | raw | diff to current
2018-09-14  Siraaj KhandkarRemove unused code blob | commitdiff | raw | diff to current
2018-09-14  Siraaj KhandkarWIP type-checking -- check function declarations blob | commitdiff | raw | diff to current
2018-09-14  Siraaj KhandkarAdd TODO for mutual recursion blob | commitdiff | raw | diff to current
2018-09-14  Siraaj KhandkarWIP type-checking -- check type declarations blob | commitdiff | raw | diff to current
2018-09-14  Siraaj KhandkarWIP type-checking -- check variable declarations blob | commitdiff | raw | diff to current
2018-09-13  Siraaj KhandkarWIP type-checking -- check array expressions blob | commitdiff | raw | diff to current
2018-09-13  Siraaj KhandkarWIP type-checking -- check record expressions blob | commitdiff | raw | diff to current
2018-09-13  Siraaj KhandkarWIP type-checking -- check function call expression blob | commitdiff | raw | diff to current
2018-09-13  Siraaj KhandkarWIP type-checking -- check array subscript access blob | commitdiff | raw | diff to current
2018-09-13  Siraaj KhandkarWIP type-checking blob | commitdiff | raw | diff to current
2018-09-13  Siraaj KhandkarSketch-out Semant module blob | commitdiff | raw | diff to current
2018-09-13  Siraaj KhandkarAdd stub for Semant module blob | commitdiff | raw | diff to current
OCaml. Tiger compiler. WIP.
This page took 0.102849 seconds and 27 git commands to generate.