projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c17c88f) | patch
add set-logic ALL clause to stop cvc5 warning
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 17 May 2022 08:59:29 +0000 (09:59 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 17 May 2022 08:59:29 +0000 (09:59 +0100)
commite142b3eb0f972997c643594915388c430e01e2e3
treef6283284e73afa907c338818690702bec5c147d9tree
parentc17c88ffba83c546ae439238fdd43adce3992f53commit | diff
add set-logic ALL clause to stop cvc5 warning
fp16mul_test.smt2 diff | blob | history