summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-06-03Expr walker is workingErick Ochoa
2020-06-03stringifier and expression walkerErick Ochoa
2020-06-03type-collectorErick Ochoa
2020-06-03type walkerErick Ochoa
2020-06-03Add type stringifierErick Ochoa
2020-06-03Fixes type walkerErick Ochoa
2020-06-03wipErick Ochoa
2020-06-03adds type walkerErick Ochoa
2020-06-03More completeErick Ochoa
2020-06-03sanity check passesErick Ochoa
2020-06-03comparison weird caseErick Ochoa
2020-06-03wipErick Ochoa
2020-06-03fixing escape analysisErick Ochoa
2020-06-03improving escape analysisErick Ochoa
2020-06-03Fixes nab_rErick Ochoa
2020-06-03wipErick Ochoa
2020-06-03move is_gimple_code to inlinesErick Ochoa
2020-06-03refactoring escape analysisErick Ochoa
2020-06-03Renames escape analysis to type playgroundErick Ochoa
2020-06-03Adds sanity checkErick Ochoa
2020-06-03Refactored code works in mcfErick Ochoa
2020-06-03Adds globalsErick Ochoa
2020-06-03Adds fuzz modeErick Ochoa
2020-06-03add collecting types for GIMPLE_RETURNErick Ochoa
2020-06-03fuzzing type collectorErick Ochoa
2020-06-03working on escape analysisErick Ochoa
2020-06-03renames hello-world pass to escape-analysisErick Ochoa
2020-06-03Fix inlinesErick Ochoa
2020-06-03Successfully understand how incomplete types are comparedErick Ochoa
2020-06-03Proof for incomplete type structural inequalityErick Ochoa
2020-06-03Add test case 00Erick Ochoa
2020-06-03Filtering out types based on cliErick Ochoa
2020-06-03Adds ability to use only specified comparison functionsErick Ochoa
2020-06-03FixesErick Ochoa
2020-06-03Type playground performs comparisonsErick Ochoa
2020-06-03Adds passes to print type namesErick Ochoa
2020-06-03wipErick Ochoa
2020-06-03wipErick Ochoa
2020-06-03Adds compare typesErick Ochoa
2020-06-03experiment with aliasErick Ochoa
2020-06-03stubs for interleave transformationGary Oblock
2020-06-03new iterface under define USE_NEW_INTERFACEGary Oblock
2020-06-03Back to the Marvell orginal codeGary Oblock
2020-06-03returnErick Ochoa
2020-06-03Fixes several testsErick Ochoa
2020-06-03Add const testErick Ochoa
2020-06-03Fixes bugErick Ochoa
2020-06-03Adds testErick Ochoa
2020-06-03Dealing with eliminating writes to elimited fields when they are the only gim...Erick Ochoa
2020-06-03Fixes getting parameter types during escape analysisErick Ochoa