Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

Support uninterpreted polymorphic functions in sbv/what4 backends. #92

Merged
merged 2 commits into from
Oct 21, 2020

Improve error messages for failed uninterpreted functions.

7049e5c
Select commit
Loading
Failed to load commit list.
Merged

Support uninterpreted polymorphic functions in sbv/what4 backends. #92

Improve error messages for failed uninterpreted functions.
7049e5c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs