New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

allow function decisions in the uf plugin #426

Merged

disteph merged 1 commit into SRI-CSL:master from ahmed-irfan:mcsat-fun-decide

Feb 21, 2023

Member

ahmed-irfan commented Feb 16, 2023

We need this for the arrays support in mcsat.


          allow function decisions in the uf plugin

571e703

ahmed-irfan requested review from disteph and kmartiny

February 16, 2023 07:13

coveralls commented Feb 16, 2023

Coverage: 64.099% (+0.004%) from 64.095% when pulling 571e703 on ahmed-irfan:mcsat-fun-decide into c8dd126 on SRI-CSL:master.

ahmed-irfan added the mcsat label

disteph merged commit 4f5bf64 into SRI-CSL:master

ahmed-irfan deleted the mcsat-fun-decide branch

February 21, 2023 18:38

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels