Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtil | Jason Gross | 2018-08-23 |
* | Fix naming issue | Jade Philipoom | 2018-02-23 |
* | fix comment | jadep | 2017-11-12 |
* | Fix bug in previous commit | Jason Gross | 2017-10-20 |
* | Use div_cps, modulo_cps | Jason Gross | 2017-10-20 |
* | Use fold_right_cps2 to get eqb_cps to get the right continuation type | Jason Gross | 2017-10-19 |
* | Switch arithmetic to cps for Z * Z under the hood | Jason Gross | 2017-10-19 |
* | Add basesystem_partial_evaluation_unfolder db | Jason Gross | 2017-10-18 |
* | Allow instantiating type arguments without reducing matches | Jason Gross | 2017-10-18 |
* | Extend basesystem_partial_evaluation_RHS | Jason Gross | 2017-10-15 |
* | Prove saturated carrying-addition-chain correct | jadep | 2017-06-30 |
* | Reorganization of saturated arithmetic | jadep | 2017-06-29 |
* | create directory for saturated arithmetic in preparation for splitting into m... | jadep | 2017-06-29 |