Add CHANGELOGs for crucible-cli, crucible-llvm-cli, crucible-llvm-syntax

(cherry picked from commit 3b3b5a5)
GaloisInc · Feb 6, 2024 · 1746bb3 · 1746bb3
1 parent 58395e8
commit 1746bb3
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 3 deletions.
diff --git a/crucible-cli/CHANGELOG.md b/crucible-cli/CHANGELOG.md
@@ -0,0 +1,3 @@
+# next
+
+* TODO: Describe API changes here
diff --git a/crucible-cli/crucible-cli.cabal b/crucible-cli/crucible-cli.cabal
@@ -10,7 +10,7 @@ Category:      Language
 Synopsis:      A library for sharing code between Crucible CLI frontends
 -- Description:
 
-extra-doc-files: README.md
+extra-doc-files: CHANGELOG.md, README.md
 extra-source-files:
   test-data/**/*.cbl
   test-data/**/*.out.good

diff --git a/crucible-llvm-cli/CHANGELOG.md b/crucible-llvm-cli/CHANGELOG.md
@@ -0,0 +1,3 @@
+# next
+
+* TODO: Describe API changes here
diff --git a/crucible-llvm-cli/crucible-llvm-cli.cabal b/crucible-llvm-cli/crucible-llvm-cli.cabal
@@ -10,7 +10,7 @@ Category:      Language
 Synopsis:      A Crucible CLI frontend for the LLVM language extension
 -- Description:
 
-extra-doc-files: README.md
+extra-doc-files: CHANGELOG.md, README.md
 extra-source-files:
   test-data/*.cbl
   test-data/*.out.good

diff --git a/crucible-llvm-syntax/CHANGELOG.md b/crucible-llvm-syntax/CHANGELOG.md
@@ -0,0 +1,3 @@
+# next
+
+* TODO: Describe API changes here
diff --git a/crucible-llvm-syntax/crucible-llvm-syntax.cabal b/crucible-llvm-syntax/crucible-llvm-syntax.cabal
@@ -10,7 +10,7 @@ Category:      Language
 Synopsis:      A syntax for reading and writing Crucible-LLVM control-flow graphs
 -- Description:
 
-extra-doc-files: README.md
+extra-doc-files: CHANGELOG.md, README.md
 extra-source-files:
   test-data/*.cbl
   test-data/*.out.good