git.pld-linux.org Git - packages/z3.git/log

]> git.pld-linux.org Git - packages/z3.git/log

Jakub Bogusz [Mon, 20 Dec 2021 16:56:44 +0000 (17:56 +0100)]

- updated to 4.8.13
- removed obsolete ctz patch

Jan Rękorajski [Sat, 20 Nov 2021 22:09:15 +0000 (23:09 +0100)]

rebuild with separate debuginfo build-ids

Release 4 (by relup.sh)

Jan Rękorajski [Sat, 27 Mar 2021 20:39:02 +0000 (21:39 +0100)]

- update ocaml META file location
- rel 3

Jan Rękorajski [Fri, 26 Mar 2021 06:36:50 +0000 (07:36 +0100)]

- release 2 (by relup.sh)

Jan Rękorajski [Sun, 28 Feb 2021 01:23:30 +0000 (02:23 +0100)]

- unconditional noarch subpackages

Jakub Bogusz [Sat, 28 Dec 2019 16:52:50 +0000 (17:52 +0100)]

- updated cmake options
- added ctz patch (adjust __builtin_ctz conditions for gcc)

Jakub Bogusz [Sat, 28 Dec 2019 07:23:50 +0000 (08:23 +0100)]

- updated to 4.8.7
- ocaml interface now uses zarith instead of num

Jakub Bogusz [Sat, 5 Oct 2019 12:59:38 +0000 (14:59 +0200)]

- fix build without ocaml_opt

Jakub Bogusz [Sat, 5 Oct 2019 10:46:11 +0000 (12:46 +0200)]

- updated to 4.8.5
- added pld patch (add PLD build type)
- package Python and OCaml bindings

Jan Rękorajski [Thu, 16 May 2013 11:58:04 +0000 (13:58 +0200)]

- new

High-performance theorem prover developed at Microsoft Research

This page took 0.171673 seconds and 4 git commands to generate.