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