diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-13 18:59:45 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-13 18:59:45 -0400 |
| commit | 805ef6e2c439544eabc1c54d5901050d0f6e934b (patch) | |
| tree | 647970d607cfc5c41bdea163dacae99854a4c312 /_CoqProject | |
| parent | dbd515f2da99fa351e454a909621b3b8aac8bdc6 (diff) | |
Stronger invert_op tactic
Now it can handle ops that return (Tbase TZ)
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index caefd076d..d5fddbc2a 100644 --- a/_CoqProject +++ b/_CoqProject @@ -143,6 +143,7 @@ src/Compilers/Z/RewriteAddToAdc.v src/Compilers/Z/RewriteAddToAdcInterp.v src/Compilers/Z/RewriteAddToAdcWf.v src/Compilers/Z/Syntax.v +src/Compilers/Z/TypeInversion.v src/Compilers/Z/Bounds/Interpretation.v src/Compilers/Z/Bounds/MapCastByDeBruijn.v src/Compilers/Z/Bounds/MapCastByDeBruijnInterp.v |