Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | {base} -> base | Jason Gross | 2016-07-19 |
| | |||
* | rewrote Testbit and factored out some necessary lemmas about 'uniform' bases ↵ | jadep | 2016-07-18 |
| | | | | (bases that are repeats of the same power of 2) into Pow2Base | ||
* | Merged changes, including new ZUtil conventions. | jadep | 2016-07-06 |
|\ | |||
| * | Make ZUtil more uniform | Jason Gross | 2016-07-02 |
| | | | | | | | | | | | | | | | | The standard library uses Z.*, and Z* and Z_* are compatibility notations. We follow suit. Also, eliminate a few lemmas that are duplicates of ones in the standard library. | ||
* | | 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 ↵ | jadep | 2016-04-19 |
Z.testbit. |