Skip to content

Release 1.0.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 04 Oct 03:35
1.0.2
fcae28c
This commit was signed with the committer’s verified signature.
marcluque Marc Luqué
GPG key ID: AB81ED6649461D53
Verified
Learn about vigilant mode.
  • Fix number of processes for parallel certificate verification (fcae28c)
  • Exclude pigeonhole N>=8 from debug tests (918f8ad)
  • Use correct path for certificate verification step (6198fdb)
  • Remove hardcoded version number for release workflow (c554c63)
  • Add certificate verification for all tests (6acb3fd)
  • Do pigeon until N=11 (950bf34)
  • Add certificate verification (5319b0e)
  • Use special certificate output path for tests (0a0f651)
  • Run subset of tests for debug mode (2061512)
  • Use 4 cores for parallel test execution (1b5ed33)
  • Fix certificate option (e9dd402)
  • Enable certificate creation for tests (d3d530b)
  • Attempt -O3 for sanitizers (4e3d748)
  • Disable MSAN for macos (c347230)
  • Use proper flags for sanitizers (3f33c99)
  • Rename santizer build types (99e59a3)
  • Fix debug ASAN build exclusion (fb90c74)
  • Remove BMC instance 11 from benchmarks to avoid timeout (73ad6d9)
  • Limit initial literal memory usage to 6 GB (92ef26b)
  • Revert "Reduce number of allowed learned clauses to avoid bad_alloc for Github Actions" (2891126)
  • Don't create certificates for benchmark runs (75cdbba)
  • Reduce number of allowed learned clauses to avoid bad_alloc for Github Actions (cd348f2)
  • Move debug message for certificate path (07e14a8)
  • Address clang tidy warning about narrowing conversion (7316caa)
  • Don't run tests on ubuntu24.04-arm with debug ASAN build (since it takes too long and causes timeouts) (319eec5)
  • Add text log of benchmarks on local maschine (85e5e66)
  • Make conflict resolution tests correctly use new clause representation (206d708)
  • Add new DPLL benchmarks (149c9bd)
  • Add planning/blocksworld instances, 7 SAT instances (ba5708f)
  • Add planning/logistics instances, 4 SAT instances (65e26aa)
  • Reorder includes (2c82113)
  • Remove superfluous comments (8149e54)
  • Add Unifrom Random 3-SAT 250 variables, 100 UNSAT instances (c77fc03)
  • Add certificate generation (5f1edd2)
  • Add CMake message about release mode (b41cd6d)
  • Print number of variables and clauses as debug log (1ea3c0f)
  • Add Pigeonhole 9 - 12 to benchmark (450d082)
  • Add Uniform Random 3-SAT 100 variables to DPLL test (3722cd2)
  • Add Uniform Random 3-SAT 100 variables, 1000 SAT instances (ca37bdf)
  • Add Unifrom Random 3-SAT 100 variables, 1000 UNSAT instances (b6b94af)
  • Add pigeonhole [1, 8] to benchmark (49a0bcc)
  • Introduce LiteralRange to work with Clause (21114b1)
  • Update documentation for the dimacs parser (6bba1a4)
  • Use iterator for the dimacs parser (101630b)
  • Remove unused atoui function (b31df35)
  • Remove log message for parsing measurement (472ebd2)
  • Improve number parsing of dimacs parser (097ac07)
  • Make Release build type use -O3 (9111b37)
  • Rework DPLL benchmark to be more uniform (f5d7154)
  • Remove ms unit from dimacs benchmark (45b1868)
  • Improve conflict resolution benchmark (0c55913)
  • Simplify DIMACS parser benchmark setup (b3e316e)
  • Add SATLIB BMC cases (f2e4c98)
  • Improve parser performance by removing std::optional usage (e01f230)
  • Add benchmark workflow (4998ab6)
  • Create temporary all benchmark (266f420)
  • Enable ctest for build workflow (d3b2563)
Assets 5
Loading