summaryrefslogtreecommitdiff
path: root/mi/mi.h
AgeCommit message (Expand)Author
2017-06-24Miscellaneous typo/formatting fixesMichael Forney
2016-12-06Reduce memory usage.Ori Bernstein
2016-02-20Start refactoringOri Bernstein
2016-01-01Actually check array sizes when inferring.Ori Bernstein
2015-11-17MEGAPATCH: Tabification.Ori Bernstein
2015-11-06Rewrite pattern matching code.Ori Bernstein
2015-11-06Shuffle around functions.Ori Bernstein
2015-11-06Working pattern matching.Ori Bernstein
2015-05-08Get closer to a working use-before-def check.Ori Bernstein
2014-10-30Unrename 'opt' -> 'mi'Ori Bernstein