• 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