Revisions of z3
Dominique Leuenberger (dimstar_suse)
accepted
request 792407
from
Jiri Slaby (jirislaby)
(revision 20)
Dominique Leuenberger (dimstar_suse)
accepted
request 770524
from
Factory Maintainer (factory-maintainer)
(revision 19)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 739089
from
Factory Maintainer (factory-maintainer)
(revision 18)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 732845
from
Factory Maintainer (factory-maintainer)
(revision 17)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 706047
from
Factory Maintainer (factory-maintainer)
(revision 16)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 652428
from
Martin Pluskal (pluskalm)
(revision 15)
Dominique Leuenberger (dimstar_suse)
accepted
request 610614
from
Martin Pluskal (pluskalm)
(revision 13)
- Use python3 exclusively - Do not call contrib/cmake/bootstrap.py - it is obsolete
Dominique Leuenberger (dimstar_suse)
accepted
request 590550
from
Jiri Slaby (jirislaby)
(revision 12)
This should make the python packaging compliant; and build from SLE12SP3 up TW; fails on 12SP2, which I did not yet look furhter into (it already fails in the devel prj there too) (forwarded request 590423 from dimstar)
Dominique Leuenberger (dimstar_suse)
accepted
request 559146
from
Factory Maintainer (factory-maintainer)
(revision 11)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 534438
from
Factory Maintainer (factory-maintainer)
(revision 10)
Automatic submission by obs-autosubmit
Yuchen Lin (maxlin_factory)
accepted
request 504285
from
Martin Pluskal (pluskalm)
(revision 9)
- Update cmake parameters - Update to version 4.5.0+git.20170523: * update readme * ignore Z3-str source * failing test case: SMT2 parse string constants * create and register string theory plugin the parser gets a little bit further now! rejects input with "unexpected character" * fix string constant representation in parser spec1 loopback OK * pretty-printing of string constants in AST spec2 looks good now * load str decl plugin; recognize String sorted constants * register Concat function now reaches str_decl_plugin::mk_func_decl() * at least for now, Concat is no longer associative this means that we'll always have (Concat a b) instead of variadic forms * add Length function to theory of strings * AND MUCH MORE...
Dominique Leuenberger (dimstar_suse)
accepted
request 481464
from
Factory Maintainer (factory-maintainer)
(revision 8)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 476921
from
Factory Maintainer (factory-maintainer)
(revision 7)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 452956
from
Martin Pluskal (pluskalm)
(revision 6)
- Update to version 4.5.0+git.20170126:
Dominique Leuenberger (dimstar_suse)
accepted
request 444634
from
Factory Maintainer (factory-maintainer)
(revision 5)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 437385
from
Factory Maintainer (factory-maintainer)
(revision 4)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 434202
from
Martin Pluskal (pluskalm)
(revision 3)
- Update to version 4.4.1+git.20161007:
Dominique Leuenberger (dimstar_suse)
accepted
request 428215
from
Jiri Slaby (jirislaby)
(revision 2)
1
Dominique Leuenberger (dimstar_suse)
accepted
request 412245
from
Martin Pluskal (pluskalm)
(revision 1)
updated and cleaned up request. Originally requested by mimi_vx (Ondřej Súkup).
Displaying revisions 21 - 40 of 40