obsolete

picosat-965-2.el6

FEDORA-EPEL-2018-34e7c7b68b created by orion 6 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.

6 years ago

This update has been pushed to testing.

6 years ago

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

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

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

4 years ago

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

4 years ago

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

3 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
6 years ago
in testing
6 years ago

Automated Test Results