]> git.pld-linux.org Git - packages/z3.git/shortlog
projects / packages / z3.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
packages/z3.git
2023-11-11 Jakub Bogusz- added includes patch (missing <cstdint> include)... master auto/th/z3-4.12.2-2 commit | commitdiff | tree | snapshot
2023-11-10 Jakub Bogusz- updated to 4.12.2 (new soname) auto/th/z3-4.12.2-1 commit | commitdiff | tree | snapshot
2023-04-29 Jakub Bogusz- updated to 4.8.17, fixed dirs in .pc file auto/th/z3-4.8.17-1 commit | commitdiff | tree | snapshot
2021-12-20 Jakub Bogusz- moved META file to base ocaml package auto/th/z3-4.8.13-1 commit | commitdiff | tree | snapshot
2021-12-20 Jakub Bogusz- updated to 4.8.13 commit | commitdiff | tree | snapshot
2021-11-20 Jan Rękorajskirebuild with separate debuginfo build-ids auto/th/z3-4.8.7-4 commit | commitdiff | tree | snapshot
2021-03-27 Jan Rękorajski- update ocaml META file location auto/th/z3-4.8.7-3 commit | commitdiff | tree | snapshot
2021-03-26 Jan Rękorajski- release 2 (by relup.sh) auto/th/z3-4.8.7-2 commit | commitdiff | tree | snapshot
2021-02-28 Jan Rękorajski- unconditional noarch subpackages commit | commitdiff | tree | snapshot
2019-12-28 Jakub Bogusz- updated cmake options auto/th/z3-4.8.7-1 commit | commitdiff | tree | snapshot
2019-12-28 Jakub Bogusz- updated to 4.8.7 commit | commitdiff | tree | snapshot
2019-10-05 Jakub Bogusz- fix build without ocaml_opt auto/th/z3-4.8.5-1 commit | commitdiff | tree | snapshot
2019-10-05 Jakub Bogusz- updated to 4.8.5 commit | commitdiff | tree | snapshot
2013-05-16 Jan Rękorajski- new commit | commitdiff | tree | snapshot
High-performance theorem prover developed at Microsoft Research
This page took 0.147588 seconds and 4 git commands to generate.