Unified SMT 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

Unified SMT interface #200

Closed Bo-Yuan-Huang closed 4 years ago

Bo-Yuan-Huang commented 4 years ago

New SmtShim to provide a unified interface for both z3 and smt-switch.
Update smt-switch interface for their new releases.
New pass SanityCheckAndFix for checking instruction set completeness and determinism (hierarchically).

lgtm-com[bot] commented 4 years ago

This pull request fixes 1 alert when merging 9b869eef6dff965cb367ef86f647f981e74273a0 into 71fbdab507c7d73ed65de594fae59c50a6b96c03 - view on LGTM.com

fixed alerts:

1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request fixes 1 alert when merging a49d7bda0cee1276aed241b8c6afd5f05bcf7378 into 71fbdab507c7d73ed65de594fae59c50a6b96c03 - view on LGTM.com

fixed alerts:

1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request fixes 1 alert when merging 6ade47fab12ea15da63546e069f673d181ea6f05 into 71fbdab507c7d73ed65de594fae59c50a6b96c03 - view on LGTM.com

fixed alerts:

1 for FIXME comment