Slides for my talk are now available here: https://alastairreid.github.io/papers/oopsla2017-whoguardstheguards-slides.pdf …https://twitter.com/alastair_d_reid/status/923434747753242625 …
-
Could be an issue with the way you encode your problems (non-optimal for Z3)? You might want to have a chat with the Z3 devs about this.
Maybe, but smtcomp results for Z3 don't look good either for the logics I am using (QF_AUFBV and subsets of that).
-
-
I can share benchmarks if anyone is interested. So far I've only reported Z3 issues for stuff where Z3 is even slower than usual.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I basically stopped using arrays. Bit blast register files in my front end. Only use arrays for RAM.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.