Log - HEAD - third_party/github.com/arminbiere/cadical

c607304 updated year by Armin Biere · 4 months ago main upstream/master upstream/rel-3.0.1-branch rel-3.0.1

d13444c formatted by Armin Biere · 4 months ago

6d3a53b fixed NEWS.md by Armin Biere · 4 months ago

1488162 typo by Armin Biere · 4 months ago

ea0e691 quiet guard for solver timout by Florian Pollitt · 4 months ago

5661cc8 Merge pull request #178 from EmilLandb/rel-3.0.1-port by florianpollitt · 4 months ago

7c2c860 fixed wrong define guard by Florian Pollitt · 4 months ago

366babf fixed quiet compilation by Florian Pollitt · 4 months ago

1d54646 same order as in resources.cpp by Emil Landbeck · 4 months ago

279f9e9 fixed memory usage statistic for APPLE by Emil Landbeck · 4 months ago

5459721 mobical shrinking works with signal handler by Florian Pollitt · 4 months ago

028f1ae fixed infinite loop and mobical signal handler by Florian Pollitt · 4 months ago

3e1eb5e mobical do not overwrite line by Florian Pollitt · 4 months ago

23e7966 added missing mark_garbage with lrat by Florian Pollitt · 4 months ago

f036605 news by Florian Pollitt · 4 months ago

421a814 Merge pull request #174 from EmilLandb/rel-3.0.1-port by florianpollitt · 4 months ago

a1df497 Cleanup. by Emil Landbeck · 4 months ago

ca5bc06 news by Florian Pollitt · 4 months ago

c8cbb1d some more TA insertions by Emil Landbeck · 4 months ago

f8aa228 fixed lrat double learn unit by Florian Pollitt · 4 months ago

f666a6f added missing notifications by Florian Pollitt · 4 months ago

0508e0e fixed assertion in reuse_assumptions by Florian Pollitt · 4 months ago

1c938c0 forgot report in catch_signal by Emil Landbeck · 4 months ago

64a63e2 removed report ('!') from catch_alarm and catch_signal by Emil Landbeck · 4 months ago

e56b967 version by Florian Pollitt · 4 months ago

c1c18f7 disabling options by default by Florian Pollitt · 4 months ago

bd32a09 external terminator also connected in checkfailed, inserted terminated_asynchronousy in congruence and made some temporary changes to the time limit behavior for testing by Emil Landbeck · 4 months ago

0182667 also temporarily reports for connecting watches by Emil Landbeck · 4 months ago

0b57aac report ('!') in catch_alarm for debugging purposes by Emil Landbeck · 4 months ago

85a073a removed Signal dependency for internal -> back to full graceful exit by Emil Landbeck · 4 months ago

87df9f0 ported new signal handler to 3.0.1 by Emil Landbeck · 4 months ago

6294595 NCONTRACTS compatibility by Florian Pollitt · 4 months ago

6b5d91e elevation and better error messages for REQUIRE by Florian Pollitt · 4 months ago

a65ee0b Merge pull request #172 from nmeum/source-date by florianpollitt · 4 months ago

7b99c07 once more updated NEWS by Armin Biere · 11 months ago upstream/rel-3.0.0-release-branch rel-3.0.0

9b9793d some better wording by Armin Biere · 11 months ago

725cec0 improved contract checking messages by Armin Biere · 11 months ago

0c54262 also fixed API explicit factorcheck trace by Armin Biere · 11 months ago

182287f adapted DIMACS parser to new semantics by Armin Biere · 11 months ago

b1b417f Enabled `factor` option (aka BVA) by default. by Armin Biere · 11 months ago

9046047 Removed deprecated (inlined) functions in `cadical.hpp`. by Armin Biere · 11 months ago

990a332 Updated NEWS to new 3.0.0 release. by Armin Biere · 11 months ago

a45abba bumped version by Armin Biere · 11 months ago

4198d81 removed some white space by Armin Biere · 11 months ago upstream/rel-2.2.0-backports rel-2.2.1

be6256c one less warning level for clang on MacOS by Armin Biere · 11 months ago

e0bff9d using by Armin Biere · 11 months ago

0ad02bd added mobical processes by Armin Biere · 11 months ago

4f80800 added by Armin Biere · 11 months ago

627b349 Bumped year in version. by Armin Biere · 11 months ago

2673910 fixed by Armin Biere · 11 months ago

45240a0 formatted by Armin Biere · 11 months ago

8b5f84b added real default configuration as first by Armin Biere · 11 months ago

8563469 need cecho and also disabling -fsanitize=undefined by default by Armin Biere · 11 months ago

9392588 fix inverted if condition by Mathias Fleury · 11 months ago

2abdea8 Don't ignore conflicts in warmup below deciding assumption and constrain by Mathias Fleury · 11 months ago

0072bce Add missing set to did_external_prop by Mathias Fleury · 11 months ago

919c60d congruence closure: need to allow tautologies by Mathias Fleury · 11 months ago

5ea26f7 Incorrect assertion by Mathias Fleury · 11 months ago

b263d6d More aggressively set did_external_prop for out-of-order by Mathias Fleury · 11 months ago

5578bf8 more by Armin Biere · 11 months ago

a7fd8af Mobical: don't force backtrack on level 0 by Mathias Fleury · 11 months ago

3d4f5d0 mobical: ensure backtracking at least one level by Mathias Fleury · 11 months ago

5137978 Disconnection of UP must also reset notified by Mathias Fleury · 11 months ago

15afed5 mobical: add paranoia assertion by Mathias Fleury · 11 months ago

760e430 mobical: only disconnect existint external propagator by Mathias Fleury · 11 months ago

669bfe9 mobical: only decide unset literals by Mathias Fleury · 11 months ago

2b34963 remove too aggressive flag under clang by Mathias Fleury · 11 months ago

3269f71 fix clang warnings of unreachable code by Mathias Fleury · 11 months ago

618ca1b new CC showing by Armin Biere · 11 months ago

3e49a67 installed the configure link again by Armin Biere · 11 months ago

7a43b0f macos warning by Armin Biere · 11 months ago

7dae6ea cleaning up mock-propagator in ResetCall for mobical by Armin Biere · 11 months ago

ddf7acc skipping parcomwrite test on Darwin/Apple by Armin Biere · 11 months ago

6253fc1 Improved shared library and dynamic binary built by Armin Biere · 11 months ago

ac18b6c Improved by Armin Biere · 11 months ago

bba797d Updated news. by Armin Biere · 11 months ago

1d5b566 got skipping functionality by Armin Biere · 11 months ago

a7d55ef fixed by Armin Biere · 11 months ago

d10d1ba contract check warning by Armin Biere · 11 months ago

8104e8c fixed building loop by Armin Biere · 11 months ago

dc0bd7c bold by Armin Biere · 11 months ago

c9055de more by Armin Biere · 11 months ago

15810f4 fixed by Armin Biere · 11 months ago

b7b6db3 hidden by Armin Biere · 11 months ago

20ac829 fixed by Armin Biere · 11 months ago

6073644 more fixes by Armin Biere · 11 months ago

da39f91 removed warning by Armin Biere · 11 months ago

067cfff more fixes by Armin Biere · 11 months ago

57b9a40 worked on configuration script by Armin Biere · 11 months ago

3383d19 parcompwrite test by Armin Biere · 11 months ago

7d47fb5 Fixed missing initialization of stats. by Armin Biere · 11 months ago

28fe474 fixed Apple warnings and reformatted by Armin Biere · 11 months ago

b72f939 Revert "Cannot cherry pick `deduplicatedinit` (f6a0b1902)." by Armin Biere · 11 months ago

4f7d083 Cannot cherry pick `deduplicatedinit` (f6a0b1902). by Armin Biere · 11 months ago

e0dd388 more verbose error message by Florian Pollitt · 11 months ago

0f335b3 fix some warnings (#149) by Mathias Fleury · 11 months ago

6660b68 Manually merged 'alignof' for clause arena (added by Mathias in 0d4e7af3f) by Armin Biere · 11 months ago

42befcf fix memory leak in configure script by Mathias Fleury · 11 months ago

c4b8d11 Manual merges and fixes to NEWS (from api_contracts) by Armin Biere · 11 months ago

516ebc8 extend cb_propagate comment by Katalin Fazekas · 11 months ago