Age | Commit message (Expand) | Author |
---|---|---|
2010-09-22 | handle a few minor parsing issues (negative IEEE doubles, []s in constants, a... | alon@honor |
2010-09-22 | disable relooping pending rewrite | alon@honor |
2010-09-21 | fix some relooper bugs, and EXECUTION_TIMEOUT setting for debugging such prob... | alon@honor |
2010-09-20 | refactor into files | alon@honor |
2010-09-20 | fix optimizer bugs with clang bitcode | Alon Zakai |
2010-09-20 | fixes for clang, including support for phi; all tests pass, but optimizer and... | Alon Zakai |
2010-09-06 | LABEL_DEBUG option | alon@honor |
2010-09-06 | preprocessor + example use in SAFE_HEAP | alon@honor |
2010-09-04 | clean up settings and add code snippets file | alon@honor |