kore-0.19.0.0 (#1752)

kore/CHANGELOG.md

@@ -6,6 +6,18 @@ All notable changes to this project will be documented in this file.
 
 ### Added
 
+### Changed
+
+### Deprecated
+
+### Removed
+
+### Fixed
+
+## [0.19.0.0] - 2020-04-15
+
+### Added
+
 - Added options for debugging equation application:
   - `--debug-attempt-equation`
   - `--debug-apply-equation`
@@ -18,6 +30,10 @@ All notable changes to this project will be documented in this file.
 
 - Applying equation-based rules (primarily function rules and simplification rules) is more efficient.
 - Equations may not have free variables occurring only on the right-hand side.
+- Command-line options that expect a module name check that their argument is a _valid_ module name.
+- The log displays the context of each entry.
+- The log displays the _type_ of each context to be used with option `--log-entries` for more information.
+- The format of parsing and validation errors is more similar to other parsers and compilers.
 
 ### Removed
 
@@ -30,7 +46,7 @@ All notable changes to this project will be documented in this file.
   - `DebugAxiomEvaluation`
   - `DebugSkipSimplification`
 
-## [0.1.0] - 2018-01-17
+## [0.0.1.0] - 2018-01-17
 
 ### Added
 

kore/package.yaml

@@ -1,11 +1,11 @@
 name:                kore
-version:             0.0.1.0
+version:             0.19.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE
 author:              "Virgil Serbanuta"
 maintainer:          "virgil.serbanuta@runtimeverification.com"
-copyright:           "2018-2019 Runtime Verification Inc"
+copyright:           "2018-2020 Runtime Verification Inc"
 category:            Language
 
 extra-source-files: