Commit message (Expand) | Author | Age | |
---|---|---|---|
* | {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 |