Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add some cc_m morphisms | Jason Gross | 2018-08-24 |
* | Add Z.cc_m_eq_full | Jason Gross | 2018-08-24 |
* | Make Z.div_mod_to_quot_rem stronger | Jason Gross | 2018-07-10 |
* | Add new assembly-mimicking operations rshi, cc_m, and cc_l | Jade Philipoom | 2018-04-11 |