From 1c338f47b760f585a522f85a34f2a5230fd92f8e Mon Sep 17 00:00:00 2001 From: Mikhail Solovev Date: Tue, 26 Jul 2022 13:39:38 +0300 Subject: [PATCH] Prepare release 0.2 --- LICENSE | 1 + README.md | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/LICENSE b/LICENSE index 78c1f23..99cf9c6 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,7 @@ MIT License Copyright (c) 2021 Mikhail Solovev +Copyright (c) 2022 Mrmaxmeier Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal diff --git a/README.md b/README.md index ca5b2a3..0a00ae2 100644 --- a/README.md +++ b/README.md @@ -16,7 +16,7 @@ to your `Cargo.toml`: ```toml [dependencies] -bitwuzla-sys = "0.1.1" +bitwuzla-sys = "0.2" ``` ### Using vendored static `bitwuzla` library @@ -26,7 +26,7 @@ with the `vendor-cadical` feature enabled: ```toml [dependencies] -bitwuzla-sys = { version = "0.1.1", features = ["vendor-cadical"] } +bitwuzla-sys = { version = "0.2", features = ["vendor-cadical"] } ``` Enabling `vendor-cadical` will automatically build a static `bitwuzla` library