FEDORA-EPEL-2018-34e7c7b68b

bugfix update in Fedora EPEL 6 for picosat

Status: testing 2 years ago

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</alarm>
  • 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)

Comments 5

This update has been submitted for testing by orion.

This update has been pushed to testing.

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

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

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

Add Comment & Feedback

Please login to add feedback.

Content Type
RPM
Status
testing
Test Gating
Submitted by
Update Type
bugfix
Update Severity
unspecified
Karma
0
stable threshold: 3
unstable threshold: -3
Autopush (karma)
Enabled
Autopush (time)
Disabled
Dates
submitted 2 years ago
in testing 2 years ago

Automated Test Results