Commit message (Expand) | Author | Age | |
---|---|---|---|
* | committing unstable refactors to patch master | Robert Sloan | 2016-10-21 |
* | Converting to bounded machinery | Robert Sloan | 2016-10-17 |
* | Experimental requirements for rsloan-phoas | Robert Sloan | 2016-08-23 |
* | Move most notation level declarations into Util | Jason Gross | 2016-07-27 |
* | Make the library 20% faster: [auto with *] is evil | Jason Gross | 2016-07-22 |
* | QhasmUtil.v: Remove 8.4-incompatible intro name | Robert Sloan | 2016-06-23 |
* | Make Assembly modules 8.5-compatible | Robert Sloan | 2016-06-22 |
* | Replace NPeano -> Nat in src/Spec/EdDSA | Robert Sloan | 2016-06-22 |
* | Reorganization of wordize.v | Robert Sloan | 2016-06-22 |
* | MedialConversions done | Robert Sloan | 2016-06-22 |
* | removed float operations + improved pseudo somewhat | Robert Sloan | 2016-06-22 |
* | Simpler QhasmCommon grammar | Robert Sloan | 2016-06-22 |
* | Breaking out State into its own file | Robert Sloan | 2016-06-22 |
* | Module-based reorganization of Qhasm code | Robert Sloan | 2016-06-22 |