Cosmin Radoi

this is still a bug, so let's leave it open

@hreada, it was a feature of K that we removed in the meantime. Simply replace the ` with parentheses, e.g., ``` ` a * a ` => (a * a)...

is it safe/correct to return "unsat" on exception?

@daejunpark, yep, I was thinking of symbolic execution. @kheradmand, would there be any problem allowing the rule to apply instead? Would it significantly impact performance?

@kheradmand, ok, I see.

it looks like a bug in concretization. thanks for submitting!

👍

Thanks for the quick response! I am still learning how to use OpenCL so I'll probably give you more (hopefully not different) info than needed to solve the problem. I've...

Similar to my experience. Great to see this replicated cleanly separately! What are you using as a client? I noticed the the ember _client_ is very prone to hitting "Connection...

Struggling with exactly this right now. The obvious path of just "sbt eclipse"-ing the project folder does not work. I've added Build.scala to the classpath but this pops up lots...