Skip to content

Latest commit

 

History

History
51 lines (38 loc) · 1.3 KB

CHANGELOG.md

File metadata and controls

51 lines (38 loc) · 1.3 KB
Raw

0.6

  • migrate from minisat-c 1.14 to minisat 2.2 (in C ); refactor it to build with C 11

  • add Lit.{apply_sign,hash,equal,compare}

  • add ensure_lit_exists

  • do not call simplify implicitly before solve

  • add value_at_level_0

  • add unsat_core

  • add okay

0.5

  • format C and OCaml code
  • add pp_value and string_of_value

0.4

  • move to github actions for CI
  • perf: release runtime lock in solve
  • perf: fast path for add_clause
  • perf: annotate some C functions as noalloc

0.3

  • fixes:
    • return code of caml_minisat_value
    • fallthrough comment
    • pointer cast
  • update travis file to add 4.09
  • only ask for dune 1.0

0.2

  • migrate to dune for build
  • upgrades to the CI

0.1

  • Edits for continous integration:
  • removed symlinks of src/solver.h, src/solver.c, src/vec.c and replaced them by the actual files; I did that because in cygwin, ocamlc wouldn't find solver.h in #include "solver.h". I might be mistaken but it's the only thing I found to avoid the problem...
  • modified the uint64 typedef that was causing issues in cygwin ocamlc. In fact, the #ifdef _WIN32 wasn't proper for cygwin builds; plus, the uint64 isn't standard, changed to uint64_t. See the SO topic here: http://stackoverflow.com/questions/126279
  • initial release