diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-04-28 08:49:16 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-04-28 08:49:16 -0500 |
| commit | 7c420ce316b4d519beae03b6a1c0843b192ea45e (patch) | |
| tree | 71fb9561895a7e1c6becb686d699fc095c0db614 /test | |
| parent | 05724151ca936fa2943bb82e3b1339210b9b950c (diff) | |
Allow Int/Real subtyping in LFSC proofs
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions