From 9e28d35bf74ea19e5d75629078f39b8c75e99942 Mon Sep 17 00:00:00 2001 From: Jochen Hoenicke Date: Sun, 26 May 2024 11:53:26 +0200 Subject: [PATCH] Add bitvector logics --- submissions/smtinterpol | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/submissions/smtinterpol b/submissions/smtinterpol index 0d9e13cc..e5a06aa2 100644 --- a/submissions/smtinterpol +++ b/submissions/smtinterpol @@ -1,6 +1,7 @@ { "name": "SMTInterpol", "contributors": [ + "Max Barth", "Leon Cacace", "Jürgen Christ", "Daniel Dietsch", "Leonard Fichtner", "Joanna Greulich", "Elisabeth Henkel", "Matthias Heizmann", "Jochen Hoenicke", "Moritz Mohr", "Alexander Nutz", @@ -8,8 +9,8 @@ ], "contacts": ["Jochen Hoenicke "], "archive": { - "url": "https://ultimate.informatik.uni-freiburg.de/smtinterpol/smtinterpol-2.5-1325-g08d69897.tar.gz", - "h": { "sha256": "eb1fa7797ee8e95558dcef06013397582d4dc23bf54acc8f6a8f1bb6a2037d83" } + "url": "https://ultimate.informatik.uni-freiburg.de/smtinterpol/smtinterpol-2.5-1335-gfbbd08ff.tar.gz", + "h": { "sha256": "4aa2d05b8ffbd684e9507a846111ac342f443234f08424b01454becd124b0818" } }, "website": "https://ultimate.informatik.uni-freiburg.de/smtinterpol", "system_description": "https://ultimate.informatik.uni-freiburg.de/smtinterpol/sysdesc2024.pdf", @@ -21,11 +22,21 @@ "logics": "(QF_)?(AX?)?(UF)?(DT)?([IR]DL|[NL][IR]*A)?", "command": ["bin/smtinterpol"] }, + { + "tracks": ["SingleQuery"], + "logics": "(QF_)?(AX?)?(UF)?BV(DT)?([IR]DL|[NL][IR]*A)?", + "command": ["bin/smtinterpol-bv"] + }, { "tracks": ["Incremental"], "logics": "(QF_)?(AX?)?(UF)?(DT)?([IR]DL|[NL][IR]*A)?", "command": ["bin/smtinterpol"] }, + { + "tracks": ["Incremental"], + "logics": "(QF_)?(AX?)?(UF)?BV(DT)?([IR]DL|[NL][IR]*A)?", + "command": ["bin/smtinterpol-bv"] + }, { "tracks": ["ModelValidation"], "logics": "(QF_)(AX?)?(UF)?(DT)?([IR]DL|[NL][IR]*A)?",