Finalize Crux 0.8 dates

(cherry picked from commit 9a5d6cc)
GaloisInc · Feb 6, 2024 · c74172f · c74172f
1 parent ed10449
commit c74172f
Show file tree

Hide file tree

Showing 13 changed files with 13 additions and 13 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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.