Caleb Stanford
Caleb Stanford
+1, also wanted to say thanks after installing! @ariasuni Since you said the website does seem to work, do you have the correct link? I can only find [https://saythanks.io/to/ogham%40bsago.me](https://saythanks.io/to/ogham%40bsago.me) (404)
I added myself (+1) to the OP and comments, but I think I figured out the problem here: Everyone is expecting this to be a general .json GUI editor, similar...
The workaround here is to specify all constraints on one string using the same regex rather than several regexes: ```py from z3 import * x = String('x') a = Re('a')...
@Swalkyn: I would also be interested, do you have a minimal example or benchmark?
@Swalkyn Thanks. I verified the behavior you mention. For reference, here's the workaround on the first example (which as you clearly stated doesn't apply to your use case), but which...
Surprised that Noodler fails! This seems to match their intended use case.
@atomb Highly interesting! Thanks for the insight on this. I'm aware of the consistent-with-the-contract case. For the Z3 unknown case, it is still surprising because for example if I write...
Thank you for the answer.
Oops, I think this is probably a duplicate of #1193, #1373, and https://github.com/viperproject/prusti-assistant/issues/191 I just saw that ARM Macs (M1/M2/M3) are not yet supported. Feel free to close, or if...
@lwz23 Hi, did you receive any response to this thread? This might be worth reporting to RustSec (and the similar one at https://github.com/meh/rust-ffmpeg/issues/188 )...