Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Split off some bits of Reflection.Syntax | Jason Gross | 2017-01-26 |
| | | | | Also split off some bits of Util.Tactics | ||
* | Fix Coq 8.6 warnings | Jason Gross | 2016-12-26 |
| | |||
* | MultiSizeTest: a basic example of the scheme I have in mind for bounds ↵ | Adam Chlipala | 2016-12-25 |
inference with multiple candidate word sizes |