What's Changed

• Minor graph updates and cmake updates here by @msoos in #104
• Bump version by @msoos in #108

Full Changelog: release/v2.6.0...release/v2.6.1

What's Changed

• Development happens here by @msoos in #104
• Bump version by @msoos in #108

Full Changelog: release/v2.6.0...release/v2.6.1

What's Changed

• Use final, idea by @clonker by @msoos in #61
• Update to macos-15-intel runner by @msoos in #60
• Fixing ASAN issues, minor cleanup by @msoos in #62
• Don't build nix always by @msoos in #63
• Cleanup build scripts by @msoos in #64
• None of this building md stuff by @msoos in #65
• Fix build warnings by @msoos in #67
• No arm linux runner, update to mac-15 by @msoos in #70
• Let's add to the README an example for using it as a library by @msoos in #69
• Fixing slow debug build by @msoos in #71
• Cleanup of unused functions by @msoos in #72
• Update TD lookahead system by @msoos in #68
• Small optical changes by @msoos in #73
• Add initial multi-thread support by @msoos in #74
• Help desctiption was wrong, fixing by @msoos in #77
• Fix mac binary upload by @msoos in #78
• Fix thread issues, more comments, cleanup by @msoos in #79
• More small cleanups of the code by @msoos in #80
• More cleanup by @msoos in #81
• Update branches of cadiback and cadical by @msoos in #82
• Also build on push to master by @msoos in #84
• Fixing build pipeline by @msoos in #87
• Fix MPFR/MPFI precision bugs and missing validation by @Copilot in #88
• Fix 4 bugs in MPFI/Arjun synthesis PR by @Copilot in #89
• Align MPFR precision CLI naming and fix MPF complex ordering semantics by @Copilot in #92
• fix: small typo in workflow build file by @IbrahimElk in #94
• Fix restart miscounts by Claude. Needs a lot of review and cleanup by @msoos in #97
• Improvements by Claude by @msoos in #98
• Synth by @msoos in #101
• Fix nix by @msoos in #103

New Contributors

• @IbrahimElk made their first contribution in #94

Full Changelog: release/2.5.2...release/v2.6.0

To be built with:

c o Ganak SHA1: e14af18143d3d4e1ab03db945bfea3c18fcf3564
c o Arjun SHA1: 60995c3b76091b20ae695d52603864e84745ad94
c o SBVA SHA1: 65993dbc0a802c0f1f7c83fac514339227f27b71
c o CMS SHA1: 4c377ecab94ca9e9d3b2348204fb0ffe27fe6dec
c o ApproxMC SHA1: 6213fb2bdee9d59bb14e8364e50a44944bd5eee8
CadiBack: d8f151886756cf9e248ba5f753453e04d6669443
CaDiCaL 16dde5487287b349d19eb9f16642a797e38ca34f

What's Changed

• Use final, idea by @clonker by @msoos in #61
• Update to macos-15-intel runner by @msoos in #60
• Fixing ASAN issues, minor cleanup by @msoos in #62
• Don't build nix always by @msoos in #63
• Cleanup build scripts by @msoos in #64
• Fix build warnings by @msoos in #67
• No arm linux runner, update to mac-15 by @msoos in #70
• Let's add to the README an example for using it as a library by @msoos in #69
• Fixing slow debug build by @msoos in #71
• Cleanup of unused functions by @msoos in #72
• Update TD lookahead system by @msoos in #68
• Small optical changes by @msoos in #73
• Add initial multi-thread support by @msoos in #74
• Help description was wrong, fixing by @msoos in #77
• Fix mac binary upload by @msoos in #78
• Fix thread issues, more comments, cleanup by @msoos in #79
• More small cleanups of the code by @msoos in #80
• More cleanup by @msoos in #81
• Update branches of cadiback and cadical by @msoos in #82
• Also build on push to master by @msoos in #84

Full Changelog: release/2.5.2...release/2.5.3

This release fixes a bug found by @Illner as per #58 This lead to a miscount on longer-running counting in certain CNFs (in particular, when the CNF was fast to generate components). This has now been fixed.

Should be run with:

c o Ganak SHA1: 7ab65562ea23243163dea4b3a016c3c14ca29e52
c o Arjun SHA1: 58ec9aff687c9adcd6a26f158a947c07794e43f6
c o SBVA SHA1: 0faa08cf3cc26ed855831c9dc16a3489c9ae010f
c o CMS SHA1: 0f7487ebf5afa1ae3f7be279ba3709906a1c861d
c o ApproxMC SHA1: 56042dc9002dee312bb4be283d2bdf8bc2a67827
c o CadiBack a35c4b98b6237b16ca0fd08dded8f8f51ff998a8
c o CaDiCaL 81de5d2b5c68727b4d183ec5ceb56561f1b3b6e1

What's Changed

• Some cleanup and fixes by @msoos in #59

Full Changelog: release/2.5.1...release/2.5.2

This Ganak fixes an issue where the results can be wrong when the tool is ran for more than 1 hour, due to a counter overflowing.

Should be built with:
c o Ganak SHA1: 3c0842e
c o Arjun SHA1: 58ec9aff687c9adcd6a26f158a947c07794e43f6
c o SBVA SHA1: 0faa08cf3cc26ed855831c9dc16a3489c9ae010f
c o CMS SHA1: b09bd6bf05253adf5981e44f9dbd374b2811ff94
c o ApproxMC SHA1: 56042dc9002dee312bb4be283d2bdf8bc2a67827
c o CadiBack a35c4b98b6237b16ca0fd08dded8f8f51ff998a8
c o CaDiCaL 81de5d2b5c68727b4d183ec5ceb56561f1b3b6e1

What's Changed

• Fixing move semantics by @msoos in #51
• Last used time can overflow by @msoos in #50
• Potentially more fixes/changes to TD calculation by @msoos in #53
• Visualize TD into a DOT file by @msoos in #54
• Update nix by @msoos in #56
• Add nix build by @msoos in #57

Full Changelog: release/2.5.0...release/2.5.1

This Ganak has greatly benefited from the feedback of Stefanos Kourtis, Julien Drapeau, and Jeremy Cote. Thanks a lot!

Basically, the TD system has been overhauled, and should work significantly better.

c o Ganak SHA1: 4419bd5c78f67f36798c905ebb244a2c176ebd02
c o Arjun SHA1: aadee6c55e8337500f4f0f773c7de0a22c8faafa
c o SBVA SHA1: 0faa08cf3cc26ed855831c9dc16a3489c9ae010f
c o CMS SHA1: 0ab1e4406edc952a975347e7f3365f28d01f7f67
c o ApproxMC SHA1: 655dedc7f1ec1bde2160950f6fb518a78d1462e9
c o CadiBack f3b1b21e99c48d0b2e09ef6af3451e621d94cad6
c o CaDiCaL 19b73b36ab9a0be427985abfb599be2da454225c

Fixing up flake and approxmc setup. To be used with:

Ganak SHA1: 744c87f8fe0e5448afbb0f2363e5a9d5c3e88d01
Arjun SHA1: 319de26d70cb74e5091c9b05cf6c7f9b6bd20d3c
SBVA SHA1: 6dc05afe9424bd04cd3beba50b919fde2754a637
CMS SHA1: cb5e20c853c225064ab2474b0ae8ecbb9e1046ad
ApproxMC SHA1: 8c1561e5c50f8e5cfb1ee5f9b2ce487811eb5a7a
BreakID SHA1: a4e8a890140b6073a66a559e19e7fcb760bbd679
CaDiCaL SHA1: 41a2b00be9d28c49fce221f883c67bd6ed2dc7bf
CadiVack SHA1: bd1aa18a5f4d028e3075b50aa1051d883f386a0c

Now with more error checking of input files

Now using hash function that works on all platforms.

Minor performance fix