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 /THANKS | |
parent | 05724151ca936fa2943bb82e3b1339210b9b950c (diff) |
Allow Int/Real subtyping in LFSC proofs
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions