Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: msoos/cryptominisat
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: release/v5.14.3
Choose a base ref
...
head repository: msoos/cryptominisat
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: release/v5.14.4
Choose a head ref
  • 20 commits
  • 16 files changed
  • 2 contributors

Commits on Apr 3, 2026

  1. Update python readme

    @msoos
    msoos committed Apr 3, 2026
    Configuration menu
    Copy the full SHA
    4950bcd View commit details
    Browse the repository at this point in the history

  2. Fix usage of threads

    @msoos
    msoos committed Apr 3, 2026
    Configuration menu
    Copy the full SHA
    50b8773 View commit details
    Browse the repository at this point in the history

  3. Fix tags

    @msoos
    msoos committed Apr 3, 2026
    Configuration menu
    Copy the full SHA
    4caeb69 View commit details
    Browse the repository at this point in the history

  4. Update FindGMP

    @msoos
    msoos committed Apr 3, 2026
    Configuration menu
    Copy the full SHA
    8385010 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2026

  1. Fixing build

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    0b579c7 View commit details
    Browse the repository at this point in the history

  2. Fixing pythyon build

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    d08c3f4 View commit details
    Browse the repository at this point in the history

  3. Fixing build

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    c5cdd7b View commit details
    Browse the repository at this point in the history

  4. Fix python build

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    29721e6 View commit details
    Browse the repository at this point in the history

  5. Fix build

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    6538a25 View commit details
    Browse the repository at this point in the history

  6. Add per-step simplification stats logging (irred bins/long/lits, free… 

    … vars)

Prints BEFORE/AFTER stats for each simplification strategy step at
verbosity >= 2, enabling analysis of clause/variable reduction per step.

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>
    @msoos @claude
    msoos and claude committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    3205295 View commit details
    Browse the repository at this point in the history

  7. Refactor simp-stats logging into print_simp_stats macro in constants.h 

    Extract repeated BEFORE/AFTER stats printing into a single macro,
reducing duplication across solver.cpp and occsimplifier.cpp.

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>
    @msoos @claude
    msoos and claude committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    4dd27d4 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'working-on-synth'

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    6edbe70 View commit details
    Browse the repository at this point in the history

  9. Update to use new cadical, cadiback

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    94ffef7 View commit details
    Browse the repository at this point in the history

  10. Fix nix build

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    a473059 View commit details
    Browse the repository at this point in the history

  11. Fix all build scripts

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    4856eec View commit details
    Browse the repository at this point in the history

  12. Fixing cmake

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    44cff66 View commit details
    Browse the repository at this point in the history

  13. Update CMS include export

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    40b577d View commit details
    Browse the repository at this point in the history

  14. Update python package

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    9af00e0 View commit details
    Browse the repository at this point in the history

  15. Add more tests, update readme

    @msoos
    msoos committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    f06d933 View commit details
    Browse the repository at this point in the history

  16. Bump version to 5.14.4 

    Co-Authored-By: Claude Sonnet 4.6 <[email protected]>
    @msoos @claude
    msoos and claude committed Apr 4, 2026
    Configuration menu
    Copy the full SHA
    f2a10d2 View commit details
    Browse the repository at this point in the history
Loading