From c74172f368af218fa9852cb7b9ac7ae9f6b00368 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 5 Feb 2024 15:03:07 -0500 Subject: [PATCH] Finalize Crux 0.8 dates (cherry picked from commit 9a5d6cc32c8351722ab8b489a634b78f62337805) --- crucible-cli/CHANGELOG.md | 2 +- crucible-go/CHANGELOG.md | 2 +- crucible-jvm/CHANGELOG.md | 2 +- crucible-llvm-cli/CHANGELOG.md | 2 +- crucible-llvm-syntax/CHANGELOG.md | 2 +- crucible-llvm/CHANGELOG.md | 2 +- crucible-mir/CHANGELOG.md | 2 +- crucible-symio/CHANGELOG.md | 2 +- crucible-syntax/CHANGELOG.md | 2 +- crucible/CHANGELOG.md | 2 +- crux-llvm/CHANGELOG.md | 2 +- crux-mir/CHANGELOG.md | 2 +- crux/CHANGELOG.md | 2 +- 13 files changed, 13 insertions(+), 13 deletions(-) diff --git a/crucible-cli/CHANGELOG.md b/crucible-cli/CHANGELOG.md index 8b657180c..362245e3b 100644 --- a/crucible-cli/CHANGELOG.md +++ b/crucible-cli/CHANGELOG.md @@ -1,3 +1,3 @@ -# 0.1 -- 2024-??-?? +# 0.1 -- 2024-02-05 * Initial version. Split off from `crucible-syntax`. diff --git a/crucible-go/CHANGELOG.md b/crucible-go/CHANGELOG.md index 5d76eb7be..95d60e2fd 100644 --- a/crucible-go/CHANGELOG.md +++ b/crucible-go/CHANGELOG.md @@ -1,4 +1,4 @@ -# 0.1 -- 2024-??-?? +# 0.1 -- 2024-02-05 * Change `SomeOverride`, as well as related functions in `Lang.Crucible.Go.Overrides`, to use a `TypedOverride`. diff --git a/crucible-jvm/CHANGELOG.md b/crucible-jvm/CHANGELOG.md index d05d71620..b102740ad 100644 --- a/crucible-jvm/CHANGELOG.md +++ b/crucible-jvm/CHANGELOG.md @@ -1,4 +1,4 @@ -# 0.2 -- 2024-??-?? +# 0.2 -- 2024-02-05 * Change `jvmOverride_def` in `Lang.Crucible.JVM.Overrides` to use a `TypedOverride`. diff --git a/crucible-llvm-cli/CHANGELOG.md b/crucible-llvm-cli/CHANGELOG.md index 903a4832c..688e82de1 100644 --- a/crucible-llvm-cli/CHANGELOG.md +++ b/crucible-llvm-cli/CHANGELOG.md @@ -1,3 +1,3 @@ -# 0.1 -- 2024-??-?? +# 0.1 -- 2024-02-05 * Initial version. diff --git a/crucible-llvm-syntax/CHANGELOG.md b/crucible-llvm-syntax/CHANGELOG.md index 903a4832c..688e82de1 100644 --- a/crucible-llvm-syntax/CHANGELOG.md +++ b/crucible-llvm-syntax/CHANGELOG.md @@ -1,3 +1,3 @@ -# 0.1 -- 2024-??-?? +# 0.1 -- 2024-02-05 * Initial version. diff --git a/crucible-llvm/CHANGELOG.md b/crucible-llvm/CHANGELOG.md index f39fd51d6..76d070fe7 100644 --- a/crucible-llvm/CHANGELOG.md +++ b/crucible-llvm/CHANGELOG.md @@ -1,4 +1,4 @@ -# 0.6 -- 2024-??-?? +# 0.6 -- 2024-02-05 * `bindLLVMFunPtr` now accepts an `Text.LLVM.AST.Symbol` rather than a whole `Declare`. Use `decName` to get a `Symbol` from a `Declare`. diff --git a/crucible-mir/CHANGELOG.md b/crucible-mir/CHANGELOG.md index a2f1499b6..0e5085815 100644 --- a/crucible-mir/CHANGELOG.md +++ b/crucible-mir/CHANGELOG.md @@ -1,4 +1,4 @@ -# 0.2 -- 2024-??-?? +# 0.2 -- 2024-02-05 * `crucible-mir` now supports the `nightly-2023-01-23` Rust toolchain. Some of the highlights of this include: diff --git a/crucible-symio/CHANGELOG.md b/crucible-symio/CHANGELOG.md index e5737b689..5c1073d8e 100644 --- a/crucible-symio/CHANGELOG.md +++ b/crucible-symio/CHANGELOG.md @@ -1,5 +1,5 @@ # Revision history for crucible-symio -## 0.1 -- 2024-??-?? +## 0.1 -- 2024-02-05 * First version. Released on an unsuspecting world. diff --git a/crucible-syntax/CHANGELOG.md b/crucible-syntax/CHANGELOG.md index 7f9d1aa5a..4ce9021cc 100644 --- a/crucible-syntax/CHANGELOG.md +++ b/crucible-syntax/CHANGELOG.md @@ -1,4 +1,4 @@ -# 0.4 -- 2024-??-?? +# 0.4 -- 2024-02-05 * The type `ACFG` has been removed in favor of `Lang.Crucible.CFG.Reg.AnyCFG`, which serves a similar purpose (hiding the argument and return types). The diff --git a/crucible/CHANGELOG.md b/crucible/CHANGELOG.md index 9da2ee317..8a502f7ef 100644 --- a/crucible/CHANGELOG.md +++ b/crucible/CHANGELOG.md @@ -3,7 +3,7 @@ * Rename `Lang.Crucible.Backend.popFrame` to `popFrameOrPanic`, provide helpers such as `popFrame` to manage assumptions without `panic`ing. -# 0.7 -- 2024-??-?? +# 0.7 -- 2024-02-05 * Add `TypedOverride`, `SomeTypedOverride`, and `runTypedOverride` to `Lang.Crucible.Simulator.OverrideSim`. These allow one to define an diff --git a/crux-llvm/CHANGELOG.md b/crux-llvm/CHANGELOG.md index e27fb3403..85da156ba 100644 --- a/crux-llvm/CHANGELOG.md +++ b/crux-llvm/CHANGELOG.md @@ -1,4 +1,4 @@ -# 0.8 -- 2024-??-?? +# 0.8 -- 2024-02-05 * Add support for LLVM bitcode files generated by Apple Clang on macOS. diff --git a/crux-mir/CHANGELOG.md b/crux-mir/CHANGELOG.md index 3d0e6ec5c..0e83e1715 100644 --- a/crux-mir/CHANGELOG.md +++ b/crux-mir/CHANGELOG.md @@ -1,4 +1,4 @@ -# 0.8 -- 2024-??-?? +# 0.8 -- 2024-02-05 * `crux-mir` now supports the `nightly-2023-01-23` Rust toolchain. Some of the highlights of this include: diff --git a/crux/CHANGELOG.md b/crux/CHANGELOG.md index 9875b2988..cd505f4c2 100644 --- a/crux/CHANGELOG.md +++ b/crux/CHANGELOG.md @@ -1,4 +1,4 @@ -# 0.7 -- 2024-??-?? +# 0.7 -- 2024-02-05 * Add a `Crux.Overrides` module, which defines common functionality for defining overrides, which are shared among several Crux backends.