Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | qhasm formal specification + evaluation finished | Robert Sloan | 2016-03-29 | |
* | | Added base types for Qhasm | Robert Sloan | 2016-03-23 | |
* | | merging | Robert Sloan | 2016-03-23 | |
|\| | ||||
* | | reasonable version | Robert Sloan | 2016-02-23 | |
* | | simple | Robert Sloan | 2016-02-23 | |
* | | intermediate stage | Robert Sloan | 2016-02-20 | |
* | | BoundedWord2: add test cases | Andres Erbsen | 2016-02-17 | |
* | | Factor out a tactic and add more examples | Adam Chlipala | 2016-02-17 | |
* | | Merge | Adam Chlipala | 2016-02-17 | |
|\| | ||||
* | | BoundedWord2 | Adam Chlipala | 2016-02-17 | |
* | | asdf | Robert Sloan | 2016-02-08 | |
| * | Update build process to use COQPATH & _CoqProject | Jason Gross | 2016-02-05 | |
|/ | ||||
* | word bound propagation examples | Andres Erbsen | 2015-10-30 | |
* | bingf | Robert Sloan | 2015-10-29 | |
* | patches for galois | Robert Sloan | 2015-10-27 | |
* | pull changes from desktop | Robert Sloan | 2015-10-19 | |
* | pull changes from desktop | Robert Sloan | 2015-10-19 | |
* | gfPlus abstraction | Robert Sloan | 2015-10-16 | |
* | remove broken code | Robert Sloan | 2015-09-20 | |
* | make ring decidable + define constants | Robert Sloan | 2015-09-19 | |
* | fix module structure + add assembly placeholder | Robert Sloan | 2015-09-17 |