diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-12-04 14:03:52 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-28 09:38:36 -0400 |
| commit | 7cecf9a675145a4171bf8c8b6bb153caee93d503 (patch) | |
| tree | 996b4fd0790f8712cd62d2076e2813c474d5d0cd /Makefile.checker | |
| parent | 1ec29dbccc9b2f9cbedf36d032fea1da147231d5 (diff) | |
Add an [inversion_sigma] tactic
This tactic does better than [inversion] at sigma types.
Diffstat (limited to 'Makefile.checker')
0 files changed, 0 insertions, 0 deletions