diff options
| author | Brian Campbell | 2019-03-19 11:41:31 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-19 11:41:31 +0000 |
| commit | 496e9cf4709318f304a312f99dad8264efc06bf5 (patch) | |
| tree | 27fbff783d9443fc73682ca5527540a712a20ca3 /src/jib | |
| parent | 675dbaf2634bfd21043484e97918ab537a563e86 (diff) | |
Coq: more work on tests
- skip a few more that aren't supported yet
- produce better debugging information (in particular, in the right order)
- avoid some autocasts that aren't supported yet and are usually
unnecessary
- Handle more constraints like `8 * n = 8 * ?Goal`
Diffstat (limited to 'src/jib')
0 files changed, 0 insertions, 0 deletions