z3-alpha2 first version submission - #267

Merged

martinjonas merged 11 commits into

SMT-COMP:masterfrom

JohnLyu2:master

Jun 12, 2026

Commits on May 27, 2026

z3-alpha2 smtcomp26 first version submission json
JohnLyu2
committed
fd2c4a7
replace archive as a .tar.gz
JohnLyu2
committed
219c2a6
change archive url to github release
JohnLyu2
committed
bb2dd4e

Commits on Jun 8, 2026

modify z3alpha2 participations
JohnLyu2
committed
38276a5
base solver submission
JohnLyu2
committed
283ba68
2nd version of description
JohnLyu2
committed
7b13c81

Commits on Jun 9, 2026

update artifact to version 2
JohnLyu2
committed
408b426

Commits on Jun 11, 2026

update the Zenodo final version
JohnLyu2
committed
cccf639
a debugger version for CI test
JohnLyu2
committed
7385121
mute stderr when no error
JohnLyu2
committed
88b3ab4
rename debugger version
JohnLyu2
committed
b842fcb