diff --git a/CHANGELOG.md b/CHANGELOG.md index b5702036..b4249732 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,21 @@ All notable changes to this project will be documented in this file. +## [0.1.16] - 2023-03-28 + +### Bug Fixes + +- Ensure quantifier normalization does not use already present names + +### Features + +- Print out errors with context in checko evaluation + +### Miscellaneous Tasks + +- Fix clippy warnings +- Update lalrpop + ## [0.1.15] - 2023-03-27 ### Features @@ -11,6 +26,7 @@ All notable changes to this project will be documented in this file. ### Miscellaneous Tasks - Cleanup the Justfile and remove Dockerfile.dev +- Release ### Refactor diff --git a/Cargo.lock b/Cargo.lock index 3378fe40..d153eae4 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -458,7 +458,7 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd" [[package]] name = "checko" -version = "0.1.15" +version = "0.1.16" dependencies = [ "checkr", "chrono", @@ -480,7 +480,7 @@ dependencies = [ [[package]] name = "checkr" -version = "0.1.15" +version = "0.1.16" dependencies = [ "bitflags", "clap", @@ -1572,7 +1572,7 @@ dependencies = [ [[package]] name = "inspectify" -version = "0.1.15" +version = "0.1.16" dependencies = [ "axum", "axum-macros", @@ -3868,7 +3868,7 @@ checksum = "1dbabb1cbd15a1d6d12d9ed6b35cc6777d4af87ab3ba155ea37215f20beab80c" [[package]] name = "xtask" -version = "0.1.15" +version = "0.1.16" dependencies = [ "binswap-github", "clap", diff --git a/Cargo.toml b/Cargo.toml index 2b3b6564..2736e49f 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -2,7 +2,7 @@ members = ["xtask", "checkr", "inspectify", "checko"] [workspace.package] -version = "0.1.15" +version = "0.1.16" repository = "https://github.com/team-checkr/checkr/" authors = [ "Oliver Bøving ",