Commit Graph

Select branches

Hide Pull Requests

factory

leap-16.0

leap-16.1

#1

Mono Color

• 1bf94920ca Accepting request 1281304 from devel:tools:statica factory Dominique Leuenberger 2025-05-30 12:39:44 +00:00
• 4f7ff7fb13 Accepting request 1266082 from devel:tools:statica Ana Guerrero 2025-04-02 15:13:35 +00:00
• bebe35cd66 Accepting request 1219484 from devel:tools:statica Dominique Leuenberger 2024-10-30 16:39:47 +00:00
• fe0a1574fe Accepting request 1207860 from devel:tools:statica leap-16.1 leap-16.0 Dominique Leuenberger 2024-10-14 11:08:10 +00:00
• a850012837 use gcc-13 on < 16 Jiri Slaby 2024-10-14 09:43:27 +00:00
• 56870b97c5 - update to 4.13.3: * Fixes, including #7363 * Fix paths to Java binaries in release * Remove internal build names from pypi wheels * Performance regression fix. #7404 * single-sample cell projection in nlsat * using simple-checker together with and variable ordering The projection is described in paper by Haokun Li and Bican Xia, Solving Satisfiability of Polynomial Formulas By Sample - Cell Projection. The code ported from https://github.com/hybridSMT/hybridSMT.git * Add API for providing hints for the solver/optimize contexts for which initial values to attempt to use for variables. The new API function are Z3_solver_set_initial_value and Z3_optimize_set_initial_value, respectively. Jiri Slaby 2024-10-14 09:19:57 +00:00
• 12202ef2e6 Accepting request 1170694 from devel:tools:statica Ana Guerrero 2024-04-29 15:57:55 +00:00
• eb7f545933 Accepting request 1170557 from home:AndreasStieger:branches:devel:tools:statica Jiri Slaby 2024-04-29 08:04:01 +00:00
• dd1c32ae47 Accepting request 1153113 from devel:tools:statica Dominique Leuenberger 2024-02-29 20:50:02 +00:00
• ac1d88d5e1 up to 4.12.5 Jiri Slaby 2024-02-22 08:03:44 +00:00
• aed47f5eed Accepting request 1093226 from devel:tools:statica Dominique Leuenberger 2023-06-16 14:54:04 +00:00
• cf8f1b63bf up to 4.12.2 Jiri Slaby 2023-06-15 07:26:02 +00:00
• 41047c7f43 Accepting request 1060326 from devel:tools:statica Dominique Leuenberger 2023-01-23 17:31:50 +00:00
• 7e66cb1a3e Accepting request 1060179 from home:dirkmueller:Factory Jiri Slaby 2023-01-23 05:54:09 +00:00
• 8bce7163e0 Accepting request 1059321 from devel:tools:statica Dominique Leuenberger 2023-01-18 12:12:48 +00:00
• 4916879bc4 Accepting request 1059018 from home:amanzini:branches:devel:tools:statica Jiri Slaby 2023-01-18 10:14:20 +00:00
• 214526957f Accepting request 1003077 from devel:tools:statica Dominique Leuenberger 2022-09-13 13:09:43 +00:00
• 0010e31988 Accepting request 1003043 from home:dirkmueller:Factory Jiri Slaby 2022-09-13 04:50:04 +00:00
• 34864c6dac Accepting request 999781 from devel:tools:statica Dominique Leuenberger 2022-08-29 07:43:03 +00:00
• 484b46cc14 Accepting request 999657 from home:elimat:branches:devel:tools:statica Jiri Slaby 2022-08-29 06:07:26 +00:00
• 8701d3cb12 Accepting request 992706 from devel:tools:statica Dominique Leuenberger 2022-08-04 11:23:54 +00:00
• 15149573e1 Accepting request 992650 from home:dirkmueller:Factory Jiri Slaby 2022-08-04 07:08:58 +00:00
• b9e7f8817e Accepting request 975667 from devel:tools:statica Dominique Leuenberger 2022-05-09 16:43:55 +00:00
• fab667b92f Accepting request 975376 from home:susnux:branches:devel:tools:statica Jiri Slaby 2022-05-09 05:03:41 +00:00
• cb96f741e9 Accepting request 970659 from devel:tools:statica Dominique Leuenberger 2022-04-19 07:58:53 +00:00
• 3266a1fb74 Accepting request 970179 from home:susnux:branches:devel:tools:statica Jiri Slaby 2022-04-19 04:56:58 +00:00
• 87efed741a Accepting request 961806 from devel:tools:statica Dominique Leuenberger 2022-03-15 18:04:44 +00:00
• f0c743e63e Accepting request 961797 from home:shunghsiyu:branches:openSUSE:Factory Jiri Slaby 2022-03-15 08:06:03 +00:00
• 1ffff76455 Accepting request 948353 from devel:tools:statica Dominique Leuenberger 2022-01-24 22:09:53 +00:00
• 7dc466074f Accepting request 947983 from home:akumar:branches:devel:tools:statica Martin Pluskal 2022-01-24 09:23:40 +00:00
• 9ad385143c Accepting request 934483 from devel:tools:statica Dominique Leuenberger 2021-11-29 16:28:32 +00:00
• d8f9e02c31 Accepting request 934414 from home:dirkmueller:Factory Jiri Slaby 2021-11-29 09:09:37 +00:00
• e7028a44ed Accepting request 925964 from devel:tools:statica Dominique Leuenberger 2021-10-18 19:59:40 +00:00
• 76769663f5 Accepting request 925728 from home:dirkmueller:Factory Jiri Slaby 2021-10-18 07:44:43 +00:00
• 549c32eae0 Accepting request 899409 from devel:tools:statica Dominique Leuenberger 2021-06-11 20:30:46 +00:00
• 073c9b356a Accepting request 899407 from home:polslinux:branches:devel:tools:statica Jiri Slaby 2021-06-11 06:25:04 +00:00
• bb49b7f527 Accepting request 868100 from devel:tools:statica Dominique Leuenberger 2021-01-31 15:52:25 +00:00
• afcf047c47 Accepting request 867815 from home:dirkmueller:branches:devel:tools:statica Jiri Slaby 2021-01-31 08:41:38 +00:00
• cf47b1abef Accepting request 835112 from devel:tools:statica Dominique Leuenberger 2020-09-17 13:02:02 +00:00
• 3d73b8fe6e Accepting request 835098 from home:dirkmueller:branches:devel:tools:statica Jiri Slaby 2020-09-17 08:04:38 +00:00
• b1929a5ff1 Accepting request 821644 from devel:tools:statica Dominique Leuenberger 2020-07-18 19:02:43 +00:00
• 707d6286b5 fix chlog Jiri Slaby 2020-07-18 13:00:25 +00:00
• 621e37636f Accepting request 821579 from isv:perlur:cardano Jiri Slaby 2020-07-18 07:19:58 +00:00
• 36a72a48b6 Accepting request 821247 from devel:tools:statica Dominique Leuenberger 2020-07-16 10:18:32 +00:00
• a0a698aa8b Accepting request 821246 from home:Guillaume_G:branches:openSUSE:Factory:ARM Martin Pluskal 2020-07-16 08:27:04 +00:00
• c4fc48e541 Accepting request 810759 from devel:tools:statica Dominique Leuenberger 2020-06-02 12:42:01 +00:00
• 0a70f8bc4e Accepting request 808951 from home:pluskalm:branches:devel:tools:statica Jiri Slaby 2020-05-26 08:31:23 +00:00
• 112050fb80 Accepting request 792407 from devel:tools:statica Dominique Leuenberger 2020-04-08 17:57:07 +00:00
• e5e7104720 Accepting request 792386 from home:pluskalm:branches:devel:tools:statica Jiri Slaby 2020-04-08 10:59:11 +00:00
• 8856234260 Accepting request 770524 from devel:tools:statica Dominique Leuenberger 2020-02-07 14:52:46 +00:00
• f01acc5b0f up to 4.8.7+git.20200129 Jiri Slaby 2020-01-30 10:08:08 +00:00
• 22ecec155f Accepting request 739089 from devel:tools:statica Dominique Leuenberger 2019-10-18 12:36:18 +00:00
• 146b413b7f up to 4.8.6+git.20191009 Jiri Slaby 2019-10-10 08:22:22 +00:00
• 94c4a166eb up to 4.8.6+git.20191009 Jiri Slaby 2019-10-10 08:20:42 +00:00
• 87b373a788 Accepting request 732845 from devel:tools:statica Dominique Leuenberger 2019-09-25 06:32:05 +00:00
• 29b26457e0 Accepting request 731408 from home:M0ses:branches:devel:tools:statica Jiri Slaby 2019-09-17 08:18:44 +00:00
• b5e47d5d1e Accepting request 706047 from devel:tools:statica Dominique Leuenberger 2019-06-19 19:01:58 +00:00
• 88af37e131 up to 4.8.4+git.20190224 Jiri Slaby 2019-02-25 10:15:31 +00:00
• eca4141cf8 Accepting request 652428 from devel:tools:statica Dominique Leuenberger 2018-12-04 19:54:04 +00:00
• f295add959 Accepting request 651091 from home:pluskalm:branches:devel:tools:statica Martin Pluskal 2018-11-28 13:58:23 +00:00
• 1c02d6ccee Accepting request 617099 from devel:tools:statica Yuchen Lin 2018-06-19 10:03:09 +00:00
• f6b87a996a Accepting request 617088 from home:mimi_vx:branches:devel:tools:statica Jiri Slaby 2018-06-15 13:25:51 +00:00
• 016b2ba370 Accepting request 610614 from devel:tools:statica Dominique Leuenberger 2018-05-29 08:32:32 +00:00
• 73e2cd4e71 OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/z3?expand=0&rev=47 Martin Pluskal 2018-05-19 08:34:39 +00:00
• 035aa7b3f2 Accepting request 610380 from home:pluskalm:branches:devel:tools:statica Martin Pluskal 2018-05-18 14:26:41 +00:00
• a502bdefe4 Accepting request 590550 from devel:tools:statica Dominique Leuenberger 2018-03-24 15:16:08 +00:00
• 5112fcff22 Accepting request 590423 from home:dimstar:branches:devel:tools:statica Jiri Slaby 2018-03-23 06:18:52 +00:00
• d9a3cf31b0 typo Jiri Slaby 2018-01-16 11:28:26 +00:00
• e6f47d57a3 fix files Jiri Slaby 2018-01-16 09:54:41 +00:00
• 3719ee85de up to 4.6.0+git.20180112 Jiri Slaby 2018-01-16 09:32:51 +00:00
• 866686048a python3_sitelib Jiri Slaby 2018-01-16 08:33:58 +00:00
• b75db7c94c python3_sitelib Jiri Slaby 2018-01-15 15:09:44 +00:00
• 948a09f54d Accepting request 559146 from devel:tools:statica Dominique Leuenberger 2017-12-22 11:21:02 +00:00
• 06749d814c up to 20171213 Jiri Slaby 2017-12-14 17:06:55 +00:00
• e8eff13786 up to 20171213 Jiri Slaby 2017-12-14 17:06:13 +00:00
• ddbf315683 Accepting request 534438 from devel:tools:statica Dominique Leuenberger 2017-10-19 17:32:31 +00:00
• 88e508bec2 up to 4.5.0+git.20171009 Jiri Slaby 2017-10-10 12:26:39 +00:00
• 2321876d18 Accepting request 504285 from devel:tools:statica Yuchen Lin 2017-08-04 09:57:55 +00:00
• b7c4c01f2c - Update cmake parameters Martin Pluskal 2017-06-16 20:04:25 +00:00
• 5c78c118cd up to 20170523 Jiri Slaby 2017-05-25 12:08:24 +00:00
• 8330c939cb Accepting request 481464 from devel:tools:statica Dominique Leuenberger 2017-03-21 21:51:14 +00:00
• c15d167599 fix sover Jiri Slaby 2017-03-13 16:49:47 +00:00
• b786aee7c9 update to 20170313 Jiri Slaby 2017-03-13 16:48:50 +00:00
• eecf1ef1f8 Accepting request 476921 from devel:tools:statica Dominique Leuenberger 2017-03-12 19:00:39 +00:00
• bb6161fabb fix Z3 path Jiri Slaby 2017-02-25 14:08:34 +00:00
• 7c0ad63042 fix Z3Config path Jiri Slaby 2017-02-25 13:53:42 +00:00
• 14b172537c add Z3Config Jiri Slaby 2017-02-25 13:37:49 +00:00
• 1ce2785a66 Accepting request 452956 from devel:tools:statica Dominique Leuenberger 2017-01-31 11:41:28 +00:00
• ad9b59ff43 - Update to version 4.5.0+git.20170126: Martin Pluskal 2017-01-27 14:12:56 +00:00
• 95ed8fb8e9 Accepting request 444634 from devel:tools:statica Dominique Leuenberger 2016-12-09 08:38:58 +00:00
• d94bf2b6c4 update to 4.5.0+git.20161129 Jiri Slaby 2016-11-30 10:18:27 +00:00
• 05bd2fed75 Accepting request 437385 from devel:tools:statica Dominique Leuenberger 2016-10-26 11:30:20 +00:00
• dd99c34a92 update to 20161018 Jiri Slaby 2016-10-19 07:11:10 +00:00
• a2c684e001 add link-against_libs.patch Jiri Slaby 2016-10-17 13:24:06 +00:00
• f2c23ada61 fix dep Jiri Slaby 2016-10-17 12:44:57 +00:00
• 9bfacdc265 Accepting request 434202 from devel:tools:statica Dominique Leuenberger 2016-10-13 09:30:54 +00:00
• 95c45737b3 - Update to version 4.4.1+git.20161007: Martin Pluskal 2016-10-10 19:56:25 +00:00
• 11a3cb4cb0 Accepting request 428215 from devel:tools:statica Dominique Leuenberger 2016-09-17 12:40:45 +00:00
• 774a02add2 Accepting request 428107 from home:pluskalm:branches:devel:tools:statica Jiri Slaby 2016-09-16 14:06:00 +00:00
• 01d1c555a0 Accepting request 412245 from devel:tools:statica Dominique Leuenberger 2016-09-13 20:22:30 +00:00