Changes between Version 1 and Version 16 of Ticket #23533


Ignore:
Timestamp:
06/01/18 21:48:11 (3 years ago)
Author:
vdelecroix
Comment:

Replying to jdemeyer:

Fixed by #25480?

yes

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23533

    • Property Status changed from new to needs_review
    • Property Milestone changed from sage-8.1 to sage-duplicate/invalid/wontfix
    • Property Report Upstream changed from Reported upstream. No feedback yet. to Fixed upstream, but not in a stable release.
    • Property Summary changed from fail to build cryptominisat to fail to build cryptominisat with some gcc versions
    • Property Priority changed from major to critical
    • Property Stopgaps changed from to #23969
  • Ticket #23533 – Description

    v1 v16  
    1010
    1111    https://github.com/msoos/cryptominisat/issues/403
     12
     13Fixed in the new release, see #25480