stable

cadical-1.5.2-1.fc35

FEDORA-2021-013be41bf9 created by jjames 3 years ago for Fedora 35

Changes in version 1.5.0:

  • added 'constrain' API call described in the FMCAD'21 paper
  • replaced "while () push_back ()" with "if () resize ()" idiom (thanks go to Alexander Smal for pointing this out)

Changes in version 1.5.1:

  • fixed copyright and added two regression traces

Changes in version 1.5.2:

  • more copyright updates in banner
  • fixed MinGW cross-compilation (see 'BUILD.md')

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2021-013be41bf9

This update has been submitted for testing by jjames.

3 years ago

This update's test gating status has been changed to 'ignored'.

3 years ago

This update's test gating status has been changed to 'waiting'.

3 years ago

This update's test gating status has been changed to 'ignored'.

3 years ago

This update has been pushed to testing.

3 years ago

This update has been submitted for stable by bodhi.

3 years ago

This update has been pushed to stable.

3 years ago

Please login to add feedback.

Metadata
Type
unspecified
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
3 years ago
in testing
3 years ago
in stable
3 years ago
BZ#2018039 cadical-1.5.2 is available
0
0

Automated Test Results