non port: math/z3/distinfo |
Number of commits found: 21 |
Friday, 19 Apr 2024
|
19:03 Gleb Popov (arrowd)
math/z3: Update to 4.13.0
2a403e4 |
Friday, 29 Dec 2023
|
20:44 Gleb Popov (arrowd)
math/z3: Update to 4.12.4
05d913f |
Sunday, 12 Feb 2023
|
13:09 Gleb Popov (arrowd)
math/z3: Update to 4.12.1
f52ed51 |
Thursday, 11 Aug 2022
|
13:10 Gleb Popov (arrowd)
math/z3: Update to 4.10.2
5d994f9 |
Friday, 20 May 2022
|
15:40 Gleb Popov (arrowd)
math/z3: Update to 4.8.17
1bbe14a |
Thursday, 5 May 2022
|
07:04 Gleb Popov (arrowd)
math/z3: Update to 4.8.16
Fix DEBUG option by not stripping resulting binaries.
Reported by: repology.org
2300e83 |
Tuesday, 14 Dec 2021
|
16:55 Gleb Popov (arrowd)
math/z3: Update to 4.8.13
Disable STATIC option by default.
adb4321 |
Sunday, 24 Oct 2021
|
18:54 Gleb Popov (arrowd)
math/z3: Update to 4.8.12
1d13ddd |
Thursday, 18 Feb 2021
|
14:35 arrowd
math/z3: Update to 4.8.10
|
Tuesday, 20 Oct 2020
|
19:02 arrowd
math/z3: Update to 4.8.9
|
Wednesday, 13 May 2020
|
08:18 arrowd
math/z3: Update to 4.8.8.
|
Saturday, 23 Nov 2019
|
15:55 arrowd
math/z3: Update to 4.8.7.
|
Saturday, 21 Sep 2019
|
20:32 arrowd
math/z3: Update to 4.8.6.
|
Wednesday, 26 Jun 2019
|
18:41 arrowd
math/z3: Update to 4.8.5.
|
Saturday, 23 Feb 2019
|
16:26 arrowd
math/z3: Update to 4.8.4.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19306
|
Saturday, 24 Nov 2018
|
11:43 arrowd
math/z3: Update to 4.8.3
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D18305
|
Sunday, 17 Jun 2018
|
17:23 arrowd
math/z3: Update to 4.7.1.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D15864
|
Tuesday, 23 Jan 2018
|
13:55 ale
Update to 4.6.0 release and create shared lib symlink.
Differential Revision: https://reviews.freebsd.org/D13637
Submitted by: maintainer
|
Friday, 9 Dec 2016
|
07:02 wen
- Update to 4.5.0
PR: 215126
Submitted by: itbot@list.ru
Approved by: 6yearold@gmail.com(maintainer)
|
Wednesday, 23 Sep 2015
|
15:09 feld
Port improvements and modernization
This is a no-op
Submitted by: jbeich
|
Tuesday, 22 Sep 2015
|
15:43 feld
Z3 is a high-performance theorem prover developed
at Microsoft Research.
WWW: https://github.com/Z3Prover/z3
PR: 202136
Submitted by: 6yearold@gmail.com
|
Number of commits found: 21 |