Skip to content

kore-0.19.0.0 #1752

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ttuegel merged 1 commit into from
Apr 15, 2020
Merged

kore-0.19.0.0 #1752

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 17 additions & 1 deletion kore/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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`
Expand All @@ -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

Expand All @@ -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

Expand Down
4 changes: 2 additions & 2 deletions kore/package.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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: "[email protected]"
copyright: "2018-2019 Runtime Verification Inc"
copyright: "2018-2020 Runtime Verification Inc"
category: Language

extra-source-files:
Expand Down