home / code / tiger.ml.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Complete semantic analysis
2018-09-17  Siraaj KhandkarComplete semantic analysis
 commit | commitdiff | tree
2018-09-17  Siraaj KhandkarImplement (mutually) recursive function definitions
 commit | commitdiff | tree
2018-09-17  Siraaj KhandkarRemove some unused bindings
 commit | commitdiff | tree
2018-09-17  Siraaj KhandkarFix - check number of arguments in function calls
 commit | commitdiff | tree
2018-09-17  Siraaj KhandkarExpect more book errors
 commit | commitdiff | tree
2018-09-17  Siraaj KhandkarFilter-out non-.tig files from list of test case files
 commit | commitdiff | tree
2018-09-17  Siraaj KhandkarFilter-out hidden filenames from list of test files
 commit | commitdiff | tree
2018-09-17  Siraaj KhandkarFix fragile pattern matching
 commit | commitdiff | tree
2018-09-17  Siraaj KhandkarAdd more expected errors in book tests
 commit | commitdiff | tree
2018-09-16  Siraaj KhandkarExpect some of the type errors in book tests
 commit | commitdiff | tree
2018-09-16  Siraaj KhandkarFix grammar - allow empty set of record fields
 commit | commitdiff | tree
2018-09-16  Siraaj KhandkarExpect type error in test43.tig
 commit | commitdiff | tree
2018-09-16  Siraaj KhandkarWIP type-checking -- check recursive type defs
 commit | commitdiff | tree
2018-09-16  Siraaj KhandkarAdd micro test for recursive type def
 commit | commitdiff | tree
2018-09-16  Siraaj KhandkarAdd CLI options to execute different test suites
 commit | commitdiff | tree
2018-09-16  Siraaj KhandkarClean-up missing labels and unused entities
 commit | commitdiff | tree
2018-09-16  Siraaj KhandkarUse the same status symbol for total as for each
 commit | commitdiff | tree
2018-09-16  Siraaj KhandkarDon't execute semant test if parsing fails
 commit | commitdiff | tree
2018-09-16  Siraaj KhandkarExpect syntax error in test49.tig
 commit | commitdiff | tree
2018-09-16  Siraaj KhandkarImplement tests grid-view and backtraces
 commit | commitdiff | tree
2018-09-15  Siraaj KhandkarDisambiguate variant label
 commit | commitdiff | tree
2018-09-15  Siraaj KhandkarDon't use long code as test name
 commit | commitdiff | tree
2018-09-15  Siraaj KhandkarExpand status notes
 commit | commitdiff | tree
2018-09-15  Siraaj KhandkarDisable color for skip status indicator
 commit | commitdiff | tree
2018-09-15  Siraaj KhandkarDisable info for non-fail status
 commit | commitdiff | tree
2018-09-15  Siraaj KhandkarCondense status to a more-useful TODO form
 commit | commitdiff | tree
2018-09-15  Siraaj KhandkarTest every book test case
 commit | commitdiff | tree
2018-09-14  Siraaj KhandkarEscape newline in strings
 commit | commitdiff | tree
2018-09-14  Siraaj KhandkarAdd a couple of type (in)compatibility test cases
 commit | commitdiff | tree
2018-09-14  Siraaj KhandkarFix use type of last expression in a sequence
 commit | commitdiff | tree
2018-09-14  Siraaj KhandkarFix incorrect environment entry
 commit | commitdiff | tree
2018-09-14  Siraaj KhandkarTighten-up test cases: specify where errors are expected
 commit | commitdiff | tree
2018-09-14  Siraaj KhandkarRemove unused code
 commit | commitdiff | tree
2018-09-14  Siraaj KhandkarWIP type-checking -- check function declarations
 commit | commitdiff | tree
2018-09-14  Siraaj KhandkarAdd TODO for mutual recursion
 commit | commitdiff | tree
2018-09-14  Siraaj KhandkarWIP type-checking -- check type declarations
 commit | commitdiff | tree
2018-09-14  Siraaj KhandkarCount test cases
 commit | commitdiff | tree
2018-09-14  Siraaj KhandkarWIP type-checking -- check variable declarations
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarWIP type-checking -- check array expressions
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarWIP type-checking -- check record expressions
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarWIP type-checking -- check function call expression
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarWIP type-checking -- check array subscript access
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarWIP type-checking
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarAbandon -classic-display
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarSketch-out Semant module
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarDefine the environments (for types and values)
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarImprove final pass/fail indicator
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarAdd module abbreviations to error module interface
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarTest for semantic errors
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarAdd stub for Translate module
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarResurrect 8-queens test
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarReplace test status lexicon
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarUse helper functions for test status indicators
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarAdd stub for Semant module
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarAdd semantic analysis stage to tests
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarIndicate "OK" for expected errors
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarAugment testing framework to support examining errors
 commit | commitdiff | tree
2018-09-13  Siraaj KhandkarDefine (some) semantic errors
 commit | commitdiff | tree
2018-09-11  Siraaj KhandkarAdd map helper to build from list of pairs
 commit | commitdiff | tree
2018-09-11  Siraaj KhandkarRemove label from error raising helper
 commit | commitdiff | tree
2018-09-11  Siraaj KhandkarExplicitly ignore unused fields
 commit | commitdiff | tree
2018-06-06  Siraaj KhandkarUpdate alignment
 commit | commitdiff | tree
2018-06-06  Siraaj KhandkarCentralize error message construction
 commit | commitdiff | tree
2018-06-05  Siraaj KhandkarDefine the canonical map structure for Tiger
 commit | commitdiff | tree
2018-06-05  Siraaj KhandkarRefactor test framework
 commit | commitdiff | tree
2018-06-05  Siraaj KhandkarBegin Implementation Notes section
 commit | commitdiff | tree
2018-06-05  Siraaj KhandkarRefer to test errors as failures
 commit | commitdiff | tree
2018-06-05  Siraaj KhandkarReport error count
 commit | commitdiff | tree
2018-06-05  Siraaj KhandkarBreak some long lines
 commit | commitdiff | tree
2018-06-05  Siraaj KhandkarRe-use code for name in micro test cases
 commit | commitdiff | tree
2018-06-03  Siraaj KhandkarRefactor testing framework
 commit | commitdiff | tree
2018-06-01  Siraaj KhandkarIndent stringinfied AST
 commit | commitdiff | tree
2018-06-01  Siraaj KhandkarImplement a basic AST printer
 commit | commitdiff | tree
2018-05-31  Siraaj KhandkarRename "tiger" dir to "compiler"
 commit | commitdiff | tree
2018-05-31  Siraaj KhandkarFix shift/reduce conflicts introduced by grouping consecutiv...
commit | commitdiff | tree
2018-05-31  Siraaj KhandkarComplete 1.04.p: add semantic actions to parser
 commit | commitdiff | tree
2018-05-31  Siraaj KhandkarOutput ocamlyacc state table
 commit | commitdiff | tree
2018-05-31  Siraaj KhandkarReorg Makefile
 commit | commitdiff | tree
2018-05-30  Siraaj KhandkarUpdate project status
 commit | commitdiff | tree
2018-05-30  Siraaj KhandkarFix the remaining 12 shift/reduce conflicts
 commit | commitdiff | tree
2018-05-29  Siraaj KhandkarShow commands executed by ocamlbuild
 commit | commitdiff | tree
2018-05-29  Siraaj KhandkarAssign precedence and associativity to THEN
 commit | commitdiff | tree
2018-05-29  Siraaj KhandkarAssign precedence and associativity to ELSE
 commit | commitdiff | tree
2018-05-29  Siraaj KhandkarAssign precedence to ASSIGN
 commit | commitdiff | tree
2018-05-29  Siraaj KhandkarAssign precedence and associativity to OF and DO
 commit | commitdiff | tree
2018-05-29  Siraaj KhandkarDisable queens test case from book (temporarily)
 commit | commitdiff | tree
2018-05-29  Siraaj KhandkarAdd some micro test cases
 commit | commitdiff | tree
2018-05-29  Siraaj KhandkarEnsure make fails after 1st recipe failure
 commit | commitdiff | tree
2018-05-29  Siraaj KhandkarResolve conflict between 2 rules with subscript notation
 commit | commitdiff | tree
2018-05-28  Siraaj KhandkarMove definition closer to usage location
 commit | commitdiff | tree
2018-05-28  Siraaj KhandkarRemove stand-alone tyfield grammar rule
 commit | commitdiff | tree
2018-05-28  Siraaj KhandkarCombine declaration sub-rules
 commit | commitdiff | tree
2018-05-28  Siraaj KhandkarRemove stand-alone ty grammar rule
 commit | commitdiff | tree
2018-05-28  Siraaj KhandkarRename seq to exps
 commit | commitdiff | tree
2018-05-28  Siraaj KhandkarRemove stand-alone unit grammar rule
 commit | commitdiff | tree
2018-05-28  Siraaj KhandkarRemove stand-alone fun_call grammar rule
 commit | commitdiff | tree
2018-05-28  Siraaj KhandkarAdd (incomplete) test case for queens.tig
 commit | commitdiff | tree
2018-05-28  Siraaj KhandkarRemove stand-alone grammar rule for ID
 commit | commitdiff | tree
2018-05-28  Siraaj KhandkarFix reduce/reduce conflict
 commit | commitdiff | tree
2018-05-26  Siraaj KhandkarRe-org testing code
 commit | commitdiff | tree
next
OCaml. Tiger compiler. WIP.
This page took 0.063508 seconds and 3 git commands to generate.