From 58809726f6c38f0f0aab04c8d1be133c7036d4d4 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Fri, 8 Mar 2024 08:06:46 +0000 Subject: [PATCH] Document changes in CHANGELOG. Refs #504. --- copilot-c99/CHANGELOG | 3 +++ copilot-core/CHANGELOG | 1 + copilot-interpreter/CHANGELOG | 3 +++ copilot-language/CHANGELOG | 3 +++ copilot-libraries/CHANGELOG | 3 +++ copilot-prettyprinter/CHANGELOG | 3 +++ copilot-theorem/CHANGELOG | 3 +++ copilot/CHANGELOG | 3 +++ 8 files changed, 22 insertions(+) diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG index c79e188a..9e3cd8b4 100644 --- a/copilot-c99/CHANGELOG +++ b/copilot-c99/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG index e56d03e4..761fcebe 100644 --- a/copilot-core/CHANGELOG +++ b/copilot-core/CHANGELOG @@ -1,4 +1,5 @@ 2024-03-07 + * Version bump (3.19). (#504) * Remove deprecated functions in Copilot.Core.Type and Copilot.Core.Type.Array. (#500) * Increase test coverage. (#502) diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG index 6cf78476..0a7a6461 100644 --- a/copilot-interpreter/CHANGELOG +++ b/copilot-interpreter/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG index aac248ca..8834a297 100644 --- a/copilot-language/CHANGELOG +++ b/copilot-language/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG index 00d22c6a..6a7bb751 100644 --- a/copilot-libraries/CHANGELOG +++ b/copilot-libraries/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG index 0beea5fb..3d8091be 100644 --- a/copilot-prettyprinter/CHANGELOG +++ b/copilot-prettyprinter/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG index 7629ac0b..bcaa4842 100644 --- a/copilot-theorem/CHANGELOG +++ b/copilot-theorem/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) * Adjust to work with GHC 9.6. (#491) diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG index b2a49498..994e999d 100644 --- a/copilot/CHANGELOG +++ b/copilot/CHANGELOG @@ -1,3 +1,6 @@ +2024-03-07 + * Version bump (3.19). (#504) + 2024-01-07 * Version bump (3.18.1). (#493) * Update README to reflect support for GHC 9.6. (#491)