xandkar.Code - tiger.ml.git/search

2018-09-18	Siraaj Khandkar	Add some of implementation notes to README	commit \| commitdiff \| tree
2018-09-18	Siraaj Khandkar	Switch Type.unique implementation from ref to Symbol	commit \| commitdiff \| tree
2018-09-18	Siraaj Khandkar	Fix Symbol.new_of_string - it should not save	commit \| commitdiff \| tree
2018-09-18	Siraaj Khandkar	Check scope of break statements	commit \| commitdiff \| tree
2018-09-18	Siraaj Khandkar	Detect cycles in type declarations	commit \| commitdiff \| tree
2018-09-18	Siraaj Khandkar	Expose option module to the rest of the program	commit \| commitdiff \| tree
2018-09-17	Siraaj Khandkar	Complete semantic analysis	commit \| commitdiff \| tree
2018-09-17	Siraaj Khandkar	Implement (mutually) recursive function definitions	commit \| commitdiff \| tree
2018-09-17	Siraaj Khandkar	Remove some unused bindings	commit \| commitdiff \| tree
2018-09-17	Siraaj Khandkar	Fix - check number of arguments in function calls	commit \| commitdiff \| tree
2018-09-17	Siraaj Khandkar	Expect more book errors	commit \| commitdiff \| tree
2018-09-17	Siraaj Khandkar	Filter-out non-.tig files from list of test case files	commit \| commitdiff \| tree
2018-09-17	Siraaj Khandkar	Filter-out hidden filenames from list of test files	commit \| commitdiff \| tree
2018-09-17	Siraaj Khandkar	Fix fragile pattern matching	commit \| commitdiff \| tree
2018-09-17	Siraaj Khandkar	Add more expected errors in book tests	commit \| commitdiff \| tree
2018-09-16	Siraaj Khandkar	Expect some of the type errors in book tests	commit \| commitdiff \| tree
2018-09-16	Siraaj Khandkar	Fix grammar - allow empty set of record fields	commit \| commitdiff \| tree
2018-09-16	Siraaj Khandkar	Expect type error in test43.tig	commit \| commitdiff \| tree
2018-09-16	Siraaj Khandkar	WIP type-checking -- check recursive type defs	commit \| commitdiff \| tree
2018-09-16	Siraaj Khandkar	Add micro test for recursive type def	commit \| commitdiff \| tree
2018-09-16	Siraaj Khandkar	Add CLI options to execute different test suites	commit \| commitdiff \| tree
2018-09-16	Siraaj Khandkar	Clean-up missing labels and unused entities	commit \| commitdiff \| tree
2018-09-16	Siraaj Khandkar	Use the same status symbol for total as for each	commit \| commitdiff \| tree
2018-09-16	Siraaj Khandkar	Don't execute semant test if parsing fails	commit \| commitdiff \| tree
2018-09-16	Siraaj Khandkar	Expect syntax error in test49.tig	commit \| commitdiff \| tree
2018-09-16	Siraaj Khandkar	Implement tests grid-view and backtraces	commit \| commitdiff \| tree
2018-09-15	Siraaj Khandkar	Disambiguate variant label	commit \| commitdiff \| tree
2018-09-15	Siraaj Khandkar	Don't use long code as test name	commit \| commitdiff \| tree
2018-09-15	Siraaj Khandkar	Expand status notes	commit \| commitdiff \| tree
2018-09-15	Siraaj Khandkar	Disable color for skip status indicator	commit \| commitdiff \| tree
2018-09-15	Siraaj Khandkar	Disable info for non-fail status	commit \| commitdiff \| tree
2018-09-15	Siraaj Khandkar	Condense status to a more-useful TODO form	commit \| commitdiff \| tree
2018-09-15	Siraaj Khandkar	Test every book test case	commit \| commitdiff \| tree
2018-09-14	Siraaj Khandkar	Escape newline in strings	commit \| commitdiff \| tree
2018-09-14	Siraaj Khandkar	Add a couple of type (in)compatibility test cases	commit \| commitdiff \| tree
2018-09-14	Siraaj Khandkar	Fix use type of last expression in a sequence	commit \| commitdiff \| tree
2018-09-14	Siraaj Khandkar	Fix incorrect environment entry	commit \| commitdiff \| tree
2018-09-14	Siraaj Khandkar	Tighten-up test cases: specify where errors are expected	commit \| commitdiff \| tree
2018-09-14	Siraaj Khandkar	Remove unused code	commit \| commitdiff \| tree
2018-09-14	Siraaj Khandkar	WIP type-checking -- check function declarations	commit \| commitdiff \| tree
2018-09-14	Siraaj Khandkar	Add TODO for mutual recursion	commit \| commitdiff \| tree
2018-09-14	Siraaj Khandkar	WIP type-checking -- check type declarations	commit \| commitdiff \| tree
2018-09-14	Siraaj Khandkar	Count test cases	commit \| commitdiff \| tree
2018-09-14	Siraaj Khandkar	WIP type-checking -- check variable declarations	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	WIP type-checking -- check array expressions	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	WIP type-checking -- check record expressions	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	WIP type-checking -- check function call expression	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	WIP type-checking -- check array subscript access	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	WIP type-checking	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Abandon -classic-display	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Sketch-out Semant module	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Define the environments (for types and values)	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Improve final pass/fail indicator	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Add module abbreviations to error module interface	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Test for semantic errors	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Add stub for Translate module	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Resurrect 8-queens test	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Replace test status lexicon	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Use helper functions for test status indicators	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Add stub for Semant module	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Add semantic analysis stage to tests	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Indicate "OK" for expected errors	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Augment testing framework to support examining errors	commit \| commitdiff \| tree
2018-09-13	Siraaj Khandkar	Define (some) semantic errors	commit \| commitdiff \| tree
2018-09-11	Siraaj Khandkar	Add map helper to build from list of pairs	commit \| commitdiff \| tree
2018-09-11	Siraaj Khandkar	Remove label from error raising helper	commit \| commitdiff \| tree
2018-09-11	Siraaj Khandkar	Explicitly ignore unused fields	commit \| commitdiff \| tree
2018-06-06	Siraaj Khandkar	Update alignment	commit \| commitdiff \| tree
2018-06-06	Siraaj Khandkar	Centralize error message construction	commit \| commitdiff \| tree
2018-06-05	Siraaj Khandkar	Define the canonical map structure for Tiger	commit \| commitdiff \| tree
2018-06-05	Siraaj Khandkar	Refactor test framework	commit \| commitdiff \| tree
2018-06-05	Siraaj Khandkar	Begin Implementation Notes section	commit \| commitdiff \| tree
2018-06-05	Siraaj Khandkar	Refer to test errors as failures	commit \| commitdiff \| tree
2018-06-05	Siraaj Khandkar	Report error count	commit \| commitdiff \| tree
2018-06-05	Siraaj Khandkar	Break some long lines	commit \| commitdiff \| tree
2018-06-05	Siraaj Khandkar	Re-use code for name in micro test cases	commit \| commitdiff \| tree
2018-06-03	Siraaj Khandkar	Refactor testing framework	commit \| commitdiff \| tree
2018-06-01	Siraaj Khandkar	Indent stringinfied AST	commit \| commitdiff \| tree
2018-06-01	Siraaj Khandkar	Implement a basic AST printer	commit \| commitdiff \| tree
2018-05-31	Siraaj Khandkar	Rename "tiger" dir to "compiler"	commit \| commitdiff \| tree
2018-05-31	Siraaj Khandkar	Fix shift/reduce conflicts introduced by grouping consecutiv...	commit \| commitdiff \| tree
2018-05-31	Siraaj Khandkar	Complete 1.04.p: add semantic actions to parser	commit \| commitdiff \| tree
2018-05-31	Siraaj Khandkar	Output ocamlyacc state table	commit \| commitdiff \| tree
2018-05-31	Siraaj Khandkar	Reorg Makefile	commit \| commitdiff \| tree
2018-05-30	Siraaj Khandkar	Update project status	commit \| commitdiff \| tree
2018-05-30	Siraaj Khandkar	Fix the remaining 12 shift/reduce conflicts	commit \| commitdiff \| tree
2018-05-29	Siraaj Khandkar	Show commands executed by ocamlbuild	commit \| commitdiff \| tree
2018-05-29	Siraaj Khandkar	Assign precedence and associativity to THEN	commit \| commitdiff \| tree
2018-05-29	Siraaj Khandkar	Assign precedence and associativity to ELSE	commit \| commitdiff \| tree
2018-05-29	Siraaj Khandkar	Assign precedence to ASSIGN	commit \| commitdiff \| tree
2018-05-29	Siraaj Khandkar	Assign precedence and associativity to OF and DO	commit \| commitdiff \| tree
2018-05-29	Siraaj Khandkar	Disable queens test case from book (temporarily)	commit \| commitdiff \| tree
2018-05-29	Siraaj Khandkar	Add some micro test cases	commit \| commitdiff \| tree
2018-05-29	Siraaj Khandkar	Ensure make fails after 1st recipe failure	commit \| commitdiff \| tree
2018-05-29	Siraaj Khandkar	Resolve conflict between 2 rules with subscript notation	commit \| commitdiff \| tree
2018-05-28	Siraaj Khandkar	Move definition closer to usage location	commit \| commitdiff \| tree
2018-05-28	Siraaj Khandkar	Remove stand-alone tyfield grammar rule	commit \| commitdiff \| tree
2018-05-28	Siraaj Khandkar	Combine declaration sub-rules	commit \| commitdiff \| tree
2018-05-28	Siraaj Khandkar	Remove stand-alone ty grammar rule	commit \| commitdiff \| tree
2018-05-28	Siraaj Khandkar	Rename seq to exps	commit \| commitdiff \| tree
next

OCaml. Tiger compiler. WIP.

RSS Atom

This page took 0.060175 seconds and 3 git commands to generate.