Opened 4 years ago

Closed 3 years ago

#23969 closed defect (fixed)

Downgrade cryptominisat to experimental

Reported by: jdemeyer Owned by:
Priority: blocker Milestone: sage-8.2
Component: packages: optional Keywords:
Cc: vbraun, vdelecroix Merged in:
Authors: Jeroen Demeyer Reviewers: Vincent Delecroix
Report Upstream: N/A Work issues:
Branch: be5fb7b (Commits, GitHub, GitLab) Commit: be5fb7b31a297fba967bb91896ee17a9ae564587
Dependencies: Stopgaps:

Status badges

Attachments (1)

test.log (164.9 KB) - added by jdemeyer 4 years ago.
Doctest failure

Download all attachments as: .zip

Change History (9)

comment:1 Changed 4 years ago by jdemeyer

  • Branch set to u/jdemeyer/cryptominisat_is_broken

Changed 4 years ago by jdemeyer

Doctest failure

comment:2 Changed 4 years ago by jdemeyer

  • Commit set to be5fb7b31a297fba967bb91896ee17a9ae564587
  • Milestone changed from sage-8.1 to sage-duplicate/invalid/wontfix
  • Resolution set to invalid
  • Status changed from new to closed

New commits:

be5fb7bMake cryptominisat experimental

comment:3 Changed 3 years ago by jdemeyer

  • Milestone changed from sage-duplicate/invalid/wontfix to sage-8.2
  • Resolution invalid deleted
  • Status changed from closed to new

comment:4 Changed 3 years ago by jdemeyer

  • Description modified (diff)
  • Status changed from new to needs_review

comment:5 Changed 3 years ago by jdemeyer

  • Cc vbraun vdelecroix added

comment:6 Changed 3 years ago by jdemeyer

  • Summary changed from Cryptominisat is broken to Downgrade cryptominisat to experimental

comment:7 Changed 3 years ago by vdelecroix

  • Reviewers set to Vincent Delecroix
  • Status changed from needs_review to positive_review

Good temporary solution for me.

comment:8 Changed 3 years ago by vbraun

  • Branch changed from u/jdemeyer/cryptominisat_is_broken to be5fb7b31a297fba967bb91896ee17a9ae564587
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.