smt-switch interface - Githubissues

PrincetonUniversity / ILAng

A Modeling and Verification Platform for SoCs using ILAs

https://bo-yuan-huang.gitbook.io/ilang/

MIT License

75 stars 18 forks source link

smt-switch interface #176

Closed Bo-Yuan-Huang closed 4 years ago

Bo-Yuan-Huang commented 4 years ago

Interfacing smt-switch for better SMT backend solver support.

new config option ILANG_BUILD_SWITCH (default OFF)
new submodule extern/smt-switch
new subtree extern/fmt
unit tests using Boolector
unit tests enabled on Travis Ubuntu tracks
deprecated out-dated CI environment Ubuntu 14.04 LTS
include new CI environment Ubuntu 20.04 LTS and OSX Catalina
relocation verification to ila-mngr (temporarily keep for backward compatibility)
new ILA passes and utilities

Known issues about current smt-switch implementation:

solver reset not consistent
translation of several operations (e.g., extraction) not completely supported