Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Pseudize Lemmas for Dual Operations | 2016-06-23 | |
* | Make Assembly modules 8.5-compatible | 2016-06-22 | |
* | Fix build process | 2016-06-22 | |
* | Full pipeline working again | 2016-06-22 | |
* | Huge Language / Conversion refactors | 2016-06-22 | |
* | Tuple-ization tactics work | 2016-06-22 | |
* | multi works with enough time | 2016-06-22 | |
* | pushed mul through the pipeline | 2016-06-22 | |
* | Finished first draft of PseudoConversions | 2016-06-22 | |
* | actually-decent PseudoConversion semantics | 2016-06-22 | |
* | A little progress on PseudoConversion | 2016-06-22 | |
* | removed float operations + improved pseudo somewhat | 2016-06-22 | |
* | A little progress on PseudoConversion | 2016-06-22 | |
* | Finished string conversions | 2016-06-22 |