8000 Release Varisat 0.2.1 by jix · Pull Request #57 · jix/varisat · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Release Varisat 0.2.1 #57

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
May 18, 2019
Merged

Release Varisat 0.2.1 #57

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
7945db2
ci: Retry cargo publish instead of cargo package
jix May 18, 2019
4781c7b
Add CHANGELOG.md
jix May 18, 2019
21a1b9b
Release Varisat 0.2.1
jix May 18, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .circleci/config.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -138,15 +138,15 @@ jobs:
-r $CIRCLE_PROJECT_REPONAME \
-c $CIRCLE_SHA1 \
-n "Varisat $VER" \
-b "$(sed -ne '2,${/^#/q;p}' CHANGELOG.md)" \
-delete v$VER \
/tmp/workspace/release

cargo login $CARGO_TOKEN

for PKG in $(sed '/^]/{d;q};s/"\(.*\)",\?/\1/;t;d' Cargo.toml); do
cd $PKG
cargo package || { echo retrying && sleep 5 && cargo package; }
cargo publish
cargo publish || { echo retrying && sleep 5 && cargo publish; }
cd ..
done
fi
Expand Down
5 changes: 5 additions & 0 deletions .circleci/tag_release.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -43,6 +43,11 @@ for FILE in "${FILES[@]}"; do
fi
done

if ! fgrep -q "# $VER (" <(head -1 CHANGELOG.md); then
echo "Changelog entry missing" >&2
exit 1
fi

if ! git tag -l v$VER | grep -q .; then
git tag -a v$VER -m "Release of version $VER"
fi
Expand Down
14 changes: 14 additions & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
# 0.2.1 (2019-05-18)

* Improved API for constructing formulas (#54 and #55)
* Fix proof generation when the formula contains duplicated unit clauses
(#26)
* Configurable search parameters (#39)
* Proofs for satisfiable instances (#47)
* Proofs for incremental solving (#48)
* Reduce size of proofs in native format (#42)
* Split independent parts into individual crates with re-exports (#51)

# 0.2.0 (2019-05-04)

Initial release
46 changes: 23 additions & 23 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,8 +27,8 @@ for Linux and Windows.

## Documentation

* [User Manual](https://jix.github.io/varisat/manual/0.2.0/)
* [Library API Documentation](https://docs.rs/varisat/0.2.0/varisat/)
* [User Manual](https://jix.github.io/varisat/manual/0.2.1/)
* [Library API Documentation](https://docs.rs/varisat/0.2.1/varisat/)

## Developer Documentation

Expand Down
2 changes: 1 addition & 1 deletion manual/src/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,4 +20,4 @@ documentation][api-docs].
[crate-varisat]: https://crates.io/crates/varisat
[crate-varisat-cli]: https://crates.io/crates/varisat-cli
[github]: https://github.com/jix/varisat
[api-docs]: https://docs.rs/varisat/0.2.0/varisat/
[api-docs]: https://docs.rs/varisat/0.2.1/varisat/
2 changes: 1 addition & 1 deletion manual/src/lib/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,4 +8,4 @@ The Varisat library is available on [crates.io as the `varisat`
crate][varisat-crate]. The API documentation can be viewed on [docs.rs].

[varisat-crate]:https://crates.io/crates/varisat
[docs.rs]:https://docs.rs/varisat/0.2.0/varisat/
[docs.rs]:https://docs.rs/varisat/0.2.1/varisat/
8 changes: 4 additions & 4 deletions varisat-checker/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "varisat-checker"
version = "0.2.0"
version = "0.2.1"
authors = ["Jannis Harder <me@jix.one>"]
edition = "2018"
description = "Proof checker for proofs generate by the Varisat SAT solver"
Expand All @@ -17,15 +17,15 @@ log = "0.4.6"

[dependencies.varisat-formula]
path = "../varisat-formula"
version = "=0.2.0"
version = "=0.2.1"

[dependencies.varisat-dimacs]
path = "../varisat-dimacs"
version = "=0.2.0"
version = "=0.2.1"

[dependencies.varisat-internal-proof]
path = "../varisat-internal-proof"
version = "=0.2.0"
version = "=0.2.1"

[dev-dependencies]
proptest = "0.9.3"
6 changes: 3 additions & 3 deletions varisat-cli/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ name = "varisat-cli"
description = "A CDCL based SAT solver (command line solver)"
homepage = "https://jix.one/project/varisat/"
repository = "https://github.com/jix/varisat"
version = "0.2.0"
version = "0.2.1"
authors = ["Jannis Harder <me@jix.one>"]
license = "MIT/Apache-2.0"
readme = "README.md"
Expand All @@ -20,11 +20,11 @@ toml = "0.5.1"

[dependencies.varisat]
path = "../varisat"
version = "=0.2.0"
version = "=0.2.1"

[dependencies.varisat-lrat]
path = "../varisat-lrat"
version = "=0.2.0"
version = "=0.2.1"

[[bin]]
name = "varisat"
Expand Down
6 changes: 3 additions & 3 deletions varisat-dimacs/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "varisat-dimacs"
version = "0.2.0"
version = "0.2.1"
authors = ["Jannis Harder <me@jix.one>"]
edition = "2018"
description = "DIMCAS CNF parser and writer for the Varisat SAT solver"
Expand All @@ -14,7 +14,7 @@ failure = "0.1.5"
itoa = "0.4.4"
[dependencies.varisat-formula]
path = "../varisat-formula"
version = "=0.2.0"
version = "=0.2.1"

[dev-dependencies]
proptest = "0.9.3"
Expand All @@ -24,5 +24,5 @@ env_logger = "0.6.1"

[dev-dependencies.varisat-formula]
path = "../varisat-formula"
version = "=0.2.0"
version = "=0.2.1"
features = ["proptest-strategies", "internal-testing"]
2 changes: 1 addition & 1 deletion varisat-formula/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "varisat-formula"
version = "0.2.0"
version = "0.2.1"
authors = ["Jannis Harder <me@jix.one>"]
edition = "2018"
description = "Basic formula data types used by the Varisat SAT solver"
Expand Down
2 changes: 1 addition & 1 deletion varisat-internal-macros/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "varisat-internal-macros"
version = "0.2.0"
version = "0.2.1"
authors = ["Jannis Harder <me@jix.one>"]
edition = "2018"
description = "Internal macros for the Varisat SAT solver"
Expand Down
4 changes: 2 additions & 2 deletions varisat-internal-proof/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "varisat-internal-proof"
version = "0.2.0"
version = "0.2.1"
authors = ["Jannis Harder <me@jix.one>"]
edition = "2018"
description = "Internal proof format for the Varisat SAT solver"
Expand All @@ -14,7 +14,7 @@ failure = "0.1.5"

[dependencies.varisat-formula]
path = "../varisat-formula"
version = "=0.2.0"
version = "=0.2.1"

[dev-dependencies]
proptest = "0.9.3"
10 changes: 5 additions & 5 deletions varisat-lrat/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "varisat-lrat"
version = "0.2.0"
version = "0.2.1"
authors = ["Jannis Harder <me@jix.one>"]
edition = "2018"
description = "LRAT proof generation for the Varisat SAT solver"
Expand All @@ -16,11 +16,11 @@ itoa = "0.4.4"

[dependencies.varisat-formula]
path = "../varisat-formula"
version = "=0.2.0"
version = "=0.2.1"

[dependencies.varisat-checker]
path = "../varisat-checker"
version = "=0.2.0"
version = "=0.2.1"


[dev-dependencies]
Expand All @@ -29,9 +29,9 @@ tempfile = "3.0.7"

[dev-dependencies.varisat]
path = "../varisat"
version = "=0.2.0"
version = "=0.2.1"

[dev-dependencies.varisat-formula]
path = "../varisat-formula"
version = "=0.2.0"
version = "=0.2.1"
features = ["proptest-strategies", "internal-testing"]
14 changes: 7 additions & 7 deletions varisat/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ name = "varisat"
description = "A CDCL based SAT solver (library)"
homepage = "https://jix.one/project/varisat/"
repository = "https://github.com/jix/varisat"
version = "0.2.0"
version = "0.2.1"
authors = ["Jannis Harder <me@jix.one>"]
license = "MIT/Apache-2.0"
readme = "README.md"
Expand All @@ -23,23 +23,23 @@ vec_mut_scan = "0.1.0"

[dependencies.varisat-internal-macros]
path = "../varisat-internal-macros"
version = "=0.2.0"
version = "=0.2.1"

[dependencies.varisat-formula]
path = "../varisat-formula"
version = "=0.2.0"
version = "=0.2.1"

[dependencies.varisat-dimacs]
path = "../varisat-dimacs"
version = "=0.2.0"
version = "=0.2.1"

[dependencies.varisat-internal-proof]
path = "../varisat-internal-proof"
version = "=0.2.0"
version = "=0.2.1"

[dependencies.varisat-checker]
path = "../varisat-checker"
version = "=0.2.0"
version = "=0.2.1"

[dev-dependencies]
proptest = "0.9.3"
Expand All @@ -49,7 +49,7 @@ env_logger = "0.6.1"

[dev-dependencies.varisat-formula]
path = "../varisat-formula"
version = "=0.2.0"
version = "=0.2.1"
features = ["proptest-strategies", "internal-testing"]

[build-dependencies]
B93C Expand Down
4 changes: 2 additions & 2 deletions varisat/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,8 +13,8 @@ This is the library version. Varisat is also available as a command line solver

## Documentation

* [User Manual](https://jix.github.io/varisat/manual/0.2.0/)
* [Library API Documentation](https://docs.rs/varisat/0.2.0/varisat/)
* [User Manual](https://jix.github.io/varisat/manual/0.2.1/)
* [Library API Documentation](https://docs.rs/varisat/0.2.1/varisat/)

## Developer Documentation

Expand Down
2 changes: 1 addition & 1 deletion varisat/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
//!
//! [cdcl]: https://en.wikipedia.org/wiki/Conflict-Driven_Clause_Learning
//! [cnf]: https://en.wikipedia.org/wiki/Conjunctive_normal_form
//! [user manual]: https://jix.github.io/varisat/manual/0.2.0/
//! [user manual]: https://jix.github.io/varisat/manual/0.2.1/

pub mod config;
pub mod solver;
Expand Down
0