aboutsummaryrefslogtreecommitdiff
path: root/test/passes
AgeCommit message (Expand)Author
2015-04-10Almost finished width inference, takes too long/infinite loop for gcdazidar
2015-04-10Updated StanzaPatrick Li
2015-04-09Added more 'fake' tests. infer-widths now collects constraintsazidar
2015-04-08Added test to show correctness of gender inference and loweringazidar
2015-04-08Fixed bug in lowering that incorrectly determined genders when subfieldedazidar
2015-04-08Finished expand whens. started infer widths. added pdf for people to viewazidar
2015-03-27Corrected register init by adding initialization of registers pass after lowe...azidar
2015-03-25Finished expand-whens. Removed letrec also, a while agoazidar
2015-03-25Correctly do when expansion, minus enables and outputting lowered formazidar
2015-03-23Finished first two parts of expand-whens pass. Fixed inits by adding WRegInit...azidar
2015-03-18Finished expand accessors and lower to groundazidar
2015-03-12Switched bundles from gender to flipazidar
2015-03-11Finished expand accessors pass. Fixed bug in resolve-gender. Added tests, all...azidar
2015-03-10Finished resolve gendersazidar
2015-03-05Finished part of infer gender, tests not committedazidar
2015-03-04Finished infer-types passazidar
2015-03-03In-progress, working on inferring types passazidar
2015-02-25Added debug print statements to dump fields from nodes, and updated tests to ...azidar
2015-02-24Rewrote README to include installation instructions and stanza justification....azidar
2015-02-24Updated tests, and included a check for the name of the pass, whichazidar
2015-02-20Rewrote the initialize-register pass, now correctly implementedazidar