PureSMT: update smtlib-backends to version 0.3

tweag / pirouette

Language-generic workbench for building static analysis

MIT License

47 stars 2 forks source link

PureSMT: update smtlib-backends to version 0.3 #179

Closed qaristote closed 1 year ago

qaristote commented 1 year ago

This PR updates the PureSMT module to use the latest version of smtlib-backends. The Z3 API is now calls using FFI instead of inline-c. Other than that, the two versions of PIrouette should be equivalent.

Niols commented 1 year ago

Thanks!