Upgrade z3 version to 4.12.5 - Githubissues

UnitTestBot / ksmt

Kotlin/Java API for various SMT solvers

https://ksmt.io/

Apache License 2.0

30 stars 14 forks source link

Upgrade z3 version to 4.12.5 #148

Closed Saloed closed 10 months ago

Saloed commented 12 months ago

Upgrade Z3 to 4.12.5
Fix fma in FpUtils
Enable more fp tests
Upgrade github actions

Tests: