Özgür Akgün

Did anyone figure out what the fix should be here then? The relevant code for constructing SR calls with an SMT solver is here: https://github.com/conjure-cp/conjure/blob/e47d019ee0fd73d814b4bbc88f639f8c2fa51279/src/Conjure/UI/MainHelper.hs#L894-L902 And this is what we...

bump @pwn1 + @ott2

Hi @pwn1 - just wondering whether yices is supposed to support the bv encoding. If it doesn't, I think the fix is removing that option from Conjure.

I had to fix something else on master, can you `git fetch upstream` and `git merge upstream/master` one more time please?

Thanks again for this contribution @fionakillalea (or @fikillalea not sure which one you use?)

I actually never intended catchUndef to be used in the input, but didn't disallow it either. This should be easy to fix, but it will have to wait until next...

Oh that's surprising as I develop it on an M1 machine :) Did you migrate from an Intel machine using time machine by any chance?

Trying to reproduce this. ``` $ rm -rf ~/.stack ~/.ghc # remove everything including stack and any previously installed compilers $ mkdir ~/tmp ; cd ~/tmp # fresh new directory...

Closing since I cannot reproduce.

Just to make a note here as well Chris. The default model will be called conjure-output/model000001.eprime, hence if the same param name is used Conjure might explicitly set the filenames...