Skip to content

Commit bb25985

Browse files
c-cubec-cube
committed
prepare for 0.4
1 parent 2be6fc1 commit bb25985

File tree

2 files changed

+7
-1
lines changed

2 files changed

+7
-1
lines changed

‎CHANGELOG.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
## 0.4
2+
3+
- move to github actions for CI
4+
- perf: release runtime lock in `solve`
5+
- perf: fast path for `add_clause`
6+
- perf: annotate some C functions as `noalloc`
17

28
## 0.3
39

‎minisat.opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
opam-version: "2.0"
2-
version: "0.3"
2+
version: "0.4"
33
author: "simon.cruanes.2007@m4x.org"
44
maintainer: "simon.cruanes.2007@m4x.org"
55
synopsis: "Bindings to Minisat-C-1.14.1, with the solver included"

0 commit comments

Comments
 (0)