FEDORA-EPEL-2018-34e7c7b68b — bugfix update for picosat

obsolete

picosat-965-2.el6

FEDORA-EPEL-2018-34e7c7b68b created by orion 5 years ago for Fedora EPEL 6

Update to 965:

ADC code works again (spotted by Himanshu Jain)
fixed 'undefined' + 'ptrdiff_' issues (thanks to Christoph Muessel)
added 'picosat_set_interrupt' and '-a <alarm>' command line option
fixed various issues pointed out by Stefan Hengelein:
fixed incremental usage of 'picosat_adjust'
added CPP fixes (STATS, NO_BINARY_CLAUSE versus TRACE mix-ups)
removed redundant explicit set to zero on reset
fixed various usage bugs with 'picomus' (thanks to Stefan Hengelein)
removed '-fno-strict-aliasing' (thanks to Jerry James)

This update has been submitted for testing by orion.

5 years ago

This update has been pushed to testing.

5 years ago

This update has reached 14 days in testing and can be pushed to stable now if the maintainer wishes

5 years ago

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

4 years ago

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

4 years ago

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

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 'greenwave_failed'.

3 years ago

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

3 years ago

This update is marked obsolete because the EL-6 release is archived.

2 years ago

Please login to add feedback.

Metadata

Type

bugfix

Karma

Signed

Content Type

RPM

Test Gating

ignored

Builds

picosat-965-2.el6

Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

disabled

Dates

submitted

5 years ago

in testing

5 years ago

picosat-965-2.el6

Automated Test Results

ignored