Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | More of Medial | Robert Sloan | 2016-05-24 | |
| | | ||||
* | | Most of Medial, less the conversions | Robert Sloan | 2016-05-23 | |
| | | ||||
* | | Most of Medial, less the conversions | Robert Sloan | 2016-05-23 | |
| | | ||||
* | | Most of Medial, less the conversions | Robert Sloan | 2016-05-21 | |
| | | ||||
* | | Most of Medial, less the conversions | Robert Sloan | 2016-05-21 | |
| | | ||||
* | | Tuple-ization tactics work | Robert Sloan | 2016-05-18 | |
| | | ||||
* | | Tuple-ization tactics work | Robert Sloan | 2016-05-17 | |
| | | ||||
* | | Fixed MultiBoundedWords to use wand_mask | Robert Sloan | 2016-05-17 | |
| | | ||||
* | | Full-pipeline example | Robert Sloan | 2016-05-16 | |
| | | ||||
* | | Full-pipeline example | Robert Sloan | 2016-05-16 | |
| | | ||||
* | | Working on medial language | Robert Sloan | 2016-05-16 | |
| | | ||||
* | | multi works with enough time | Robert Sloan | 2016-05-16 | |
| | | ||||
* | | multi_bound weird but better | Robert Sloan | 2016-05-10 | |
| | | ||||
* | | multi_bound weird but better | Robert Sloan | 2016-05-10 | |
| | | ||||
* | | pushed mul through the pipeline | Robert Sloan | 2016-05-09 | |
| | | ||||
* | | Pushed through 2-ary multiplication except conversions | Robert Sloan | 2016-05-07 | |
| | | ||||
* | | Finished first draft of PseudoConversions | Robert Sloan | 2016-05-05 | |
| | | ||||
* | | actually-decent PseudoConversion semantics | Robert Sloan | 2016-05-04 | |
| | | ||||
* | | actually-decent PseudoConversion semantics | Robert Sloan | 2016-05-03 | |
| | | ||||
* | | actually-decent PseudoConversion semantics | Robert Sloan | 2016-05-02 | |
| | | ||||
* | | A little progress on PseudoConversion | Robert Sloan | 2016-05-01 | |
| | | ||||
* | | removed float operations + improved pseudo somewhat | Robert Sloan | 2016-04-29 | |
| | | ||||
* | | A little progress on PseudoConversion | Robert Sloan | 2016-04-27 | |
| | | ||||
* | | Pseudo Evaluation Done | Robert Sloan | 2016-04-25 | |
| | | ||||
* | | Part of Pseudo Evaluation | Robert Sloan | 2016-04-24 | |
| | | ||||
* | | Part of Pseudo Evaluation | Robert Sloan | 2016-04-24 | |
| | | ||||
* | | Part of Pseudo Evaluation | Robert Sloan | 2016-04-22 | |
| | | ||||
* | | Finished string conversions | Robert Sloan | 2016-04-22 | |
| | | ||||
* | | Most of string conversions | Robert Sloan | 2016-04-21 | |
| | | ||||
* | | Hypothesis-based Bounded Words | Robert Sloan | 2016-04-20 | |
| | | ||||
* | | Hypothesis-based Bounded Words | Robert Sloan | 2016-04-20 | |
| | | ||||
* | | Hypothesis-based Bounded Words | Robert Sloan | 2016-04-19 | |
| | | ||||
* | | Assembly converted except String and Gallina conversions | Robert Sloan | 2016-04-17 | |
| | | ||||
* | | Pushing through changes | Robert Sloan | 2016-04-17 | |
| | | ||||
* | | Pushing through changes | Robert Sloan | 2016-04-17 | |
| | | ||||
* | | Pushing through changes | Robert Sloan | 2016-04-17 | |
| | | ||||
* | | Pushing through changes | Robert Sloan | 2016-04-16 | |
| | | ||||
* | | Pushing through changes | Robert Sloan | 2016-04-16 | |
| | | ||||
* | | Pushing through changes | Robert Sloan | 2016-04-15 | |
| | | ||||
* | | updating QhasmCommon | Robert Sloan | 2016-04-15 | |
| | | ||||
* | | Simpler QhasmCommon grammar | Robert Sloan | 2016-04-15 | |
| | | ||||
* | | figured out all that crazy joinWords refinement | Robert Sloan | 2016-04-05 | |
| | | ||||
* | | Fix Qhasm and AlmostQhasm with new State machinery | Robert Sloan | 2016-04-04 | |
| | | ||||
* | | Breaking out State into its own file | Robert Sloan | 2016-04-04 | |
| | | ||||
* | | very unstable, but interesting commit | Robert Sloan | 2016-04-04 | |
| | | ||||
* | | very unstable, but interesting commit | Robert Sloan | 2016-04-04 | |
| | | ||||
* | | add Assembly to CoqProject | Robert Sloan | 2016-03-29 | |
| | | ||||
* | | Module-based reorganization of Qhasm code | Robert Sloan | 2016-03-29 | |
| | | ||||
* | | merge with plv/master | Robert Sloan | 2016-03-29 | |
|\| | ||||
* | | qhasm formal specification + evaluation finished | Robert Sloan | 2016-03-29 | |
| | |