Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Weaker UniformBase assumptions | Jason Gross | 2016-08-12 |
* | Tweaks for 8.4 compatibility | jadep | 2016-08-11 |
* | Removed old conversion cruft and fixed Testbit to fit new decode_bitwise proofs | jadep | 2016-08-11 |
* | {base} -> base | Jason Gross | 2016-07-19 |
* | rewrote Testbit and factored out some necessary lemmas about 'uniform' bases ... | jadep | 2016-07-18 |
* | Merged changes, including new ZUtil conventions. | jadep | 2016-07-06 |
|\ | |||
| * | Make ZUtil more uniform | Jason Gross | 2016-07-02 |
* | | added and proved shift/or decode operation 'decode_bitwise' | jadep | 2016-06-30 |
|/ | |||
* | 8.5 fixes | Jason Gross | 2016-06-10 |
* | Defined a testbit variant for BaseSystem vectors and proved equivalence to Z.... | jadep | 2016-04-19 |