Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Support for 128-bit words | 2016-11-14 | |
| | | | | | I haven't found a good way to genericize the proofs of relatedness things, mostly because Modules and functors are annoying. | ||
* | Add SpecificGen/GF* | 2016-11-13 | |
For bounds analysis |