summaryrefslogtreecommitdiff
path: root/mi
AgeCommit message (Expand)Author
2016-01-30Error on unmatchable types.Ori Bernstein
2016-01-29Functions act as basic types.Ori Bernstein
2016-01-24Only walk pointer patterns that walk pointers.Ori Bernstein
2016-01-24Handle the other branch for pointers.Ori Bernstein
2016-01-24Add pointer match syntax.Ori Bernstein
2016-01-20Add a distinction between label values and names.Ori Bernstein
2016-01-09Don't attach wildcards *AFTER* accept nodes.Ori Bernstein
2016-01-03Update mkfiles for code shuffleOri Bernstein
2016-01-02Don't double label BBs.Ori Bernstein
2016-01-01Actually check array sizes when inferring.Ori Bernstein
2015-12-30Don't double-infer nodes.Ori Bernstein
2015-12-30Missing a cast to fold to the right type.Ori Bernstein
2015-12-18Don't introduce loops in the match trie.Ori Bernstein
2015-12-15Fix wildcards for void.Ori Bernstein
2015-12-15Allow matching a single void.Ori Bernstein
2015-12-14Initial support for void as an expression.Ori Bernstein
2015-12-13Initialize ret() to 0.Ori Bernstein
2015-12-13Don't generate useless assignments.Ori Bernstein
2015-12-13Fix a couple of segfaults.Ori Bernstein
2015-12-11Fix code to disallow use before definition.Ori Bernstein
2015-11-17MEGAPATCH: Tabification.Ori Bernstein
2015-11-06Fix patterns with multiple sequential wildcardsOri Bernstein
2015-11-06Rewrite pattern matching code.Ori Bernstein
2015-11-06Shuffle around functions.Ori Bernstein
2015-11-06We only need to load a value once.Ori Bernstein
2015-11-06Working pattern matching.Ori Bernstein
2015-11-06Pass the basic tests. we still fail complex ones.Ori Bernstein
2015-11-06Fix decision trees for structs.Ori Bernstein
2015-11-05Remove more debug spew.Ori Bernstein
2015-11-05Shut up debug spew.Ori Bernstein
2015-10-19Make improved pattern matching work for unions.Ori Bernstein
2015-10-19Work towards better match statements.Ori Bernstein
2015-09-27Working closures.Ori Bernstein
2015-09-26Separate out the concepts of code and func ptrs.Ori Bernstein
2015-09-18Remove 'long' type.Ori Bernstein
2015-08-02Initial support for indexed initializers.Ori Bernstein
2015-07-24Replace snprintf with a variant that asserts when out of buffer.Ori Bernstein
2015-07-05Add proper support for a 'gap' variable.Ori Bernstein
2015-06-26Fix a few misc memory bugs.Ori Bernstein
2015-05-15Add working 'uninstall' targets.glenda@cirno
2015-05-14Update mkfiles to reflect renames.Ori Bernstein
2015-05-08Use before def checking is closer to working.Ori Bernstein
2015-05-08A few more fixes for dataflow checks.Ori Bernstein
2015-05-08Get closer to a working use-before-def check.Ori Bernstein
2015-05-06More work towards getting undefined variables to be defined.Ori Bernstein
2015-05-06A huge amount of work on checking.Ori Bernstein
2015-05-06Compile error on reaching end of func without return.Ori Bernstein
2015-05-06Rename 'df' to 'dfcheck'.Ori Bernstein
2015-03-08Add 'tygeneric' specifier.Ori Bernstein
2015-01-06Improve error messages.Ori Bernstein