Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Not quite done with WordUtil lemmas. | 2016-11-08 | |
|\ | |||
* | | More of jgross admits, less neg and the cmovs | 2016-11-01 | |
* | | most of jgross' admits | 2016-10-31 | |
| * | Significantly faster wordToN, I hope | 2016-10-31 | |
|/ | |||
* | More of the Conversions.v correctness proofs | 2016-10-14 | |
* | Making sub bounds actually tight | 2016-10-14 | |
* | Removed nat arguments to Evaluable operations | 2016-08-25 | |
* | Experimental requirements for rsloan-phoas | 2016-08-23 |