SMTCOMP 2023 #466
TrevorHansen
announced in
Announcements
Replies: 2 comments
-
Wow, that's REALLY good performance! I now wanna understand STP a bit more... I have been working on a higher-level system ( https://github.com/ethereum/hevm/ ) using an SMT solver (currently, CVC5 & Z3), and it's kinda fun operating at a higher level than SAT :) Well done on the results, great stuff!! |
Beta Was this translation helpful? Give feedback.
0 replies
-
Amazing performance, Trevor and team!
…On Mon, Jul 10, 2023 at 12:51 AM Trevor Hansen ***@***.***> wrote:
We had a good showing at SMTCOMP 2023, winning all the QF_BV single-query
divisions:
https://smt-comp.github.io/2023/results/qf-bitvec-single-query
It's a result of lots of hard work over the years. Thanks to everyone who
has contributed!
—
Reply to this email directly, view it on GitHub
<#466>, or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ABBVO6EVXHGF5ZQUCXMCPCLXPOC3XANCNFSM6AAAAAA2D7QCWA>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
|
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
We had a good showing at SMTCOMP 2023, winning all the QF_BV single-query divisions:
https://smt-comp.github.io/2023/results/qf-bitvec-single-query
It's a result of lots of hard work over the years. Thanks to everyone who has contributed!
Beta Was this translation helpful? Give feedback.
All reactions