Iteration 21 #1770
Description
Iteration 21
29 April 2020 to 13 May 2020
Threads
- Features
- kore-repl: stepf should advance to the branching point #1628: kore-repl: stepf should advance to the branching point
- Hot-spot: targetRuleVariables #1749: Hot-spot: targetRuleVariables
- Respect the identity of variables #1545: Respect the identity of variables
- Function rules with partial heads are unsound #1146 Matching with \or patterns is not right #1245 Apply function definitions with unification instead of matching #1630: Function rules with \or patterns
- Bugs
- No branching in K-EQUAL hooks #1648: No branching in K-EQUAL hooks
- Proof stuck on infeasible state #1665: Beacon chain: process-slots-base1-spec
- Audit: Remove Kore.Internal.SideCondition.andCondition #1733: Remove Kore.Internal.SideCondition.andCondition
- Usability
- Add a help entry on the command-line for each type of log entry #1722: Add a help entry on the command-line for each type of log entry
- Rename the "substitution coverage" error, because nobody understands what it means #1726: Rename the "substitution coverage" error
- Forbid injections into hooked sorts #1731: Forbid injections into hooked sorts
- Clean-up
- Remove UnificationError #1767: Remove UnificationError
- kore-repl: Move alias scripts and add them to the package #1739: Package kore-repl alias scripts
- Investigate
- Unevaluated function of List and Map #1721: Unevaluated function of List and Map