diff options
author | Quentin Garchery <garchery.quentin@gmail.com> | 2019-01-10 17:45:47 +0100 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-25 15:33:17 +0100 |
commit | 10041c91e21dce61faca9725d7073f7c21762019 (patch) | |
tree | 910be2e8f15949e003f52711d7278942593a4964 /unit-tests | |
parent | ec41af7ac01cef7c30785e6dd704381f31e7c2d3 (diff) | |
download | smtcoq-10041c91e21dce61faca9725d7073f7c21762019.tar.gz smtcoq-10041c91e21dce61faca9725d7073f7c21762019.zip |
Integer conversion now relies on the injection T2Z and its properties
Diffstat (limited to 'unit-tests')
0 files changed, 0 insertions, 0 deletions