summaryrefslogtreecommitdiff
path: root/mi/Makefile
AgeCommit message (Expand)Author
2016-02-22Extract util functions into separate dir from parse/Ori Bernstein
2016-02-20Start refactoringOri Bernstein
2016-01-01Actually check array sizes when inferring.Ori Bernstein
2015-05-08Get closer to a working use-before-def check.Ori Bernstein
2015-05-06Rename 'df' to 'dfcheck'.Ori Bernstein
2014-10-30Unrename 'opt' -> 'mi'Ori Bernstein
2014-09-05Move 'mi/' directory to 'opt/'.Ori Bernstein
2013-02-12Remove unneded includes.Ori Bernstein
2012-09-17Rename 'opt' to 'mi'.Ori Bernstein