Iteration 27

[ttuegel]

Iteration 27

22 July 2020 to 5 August 2020

Iteration 27 Milestone

Process

We will continue to have each pull request reviewer clean-up or refactor appropriately to the size of the pull request.

Threads

• Performance
  • Infer definedness of sub-terms #1911: Infer definedness of sub-terms
  • Simplify right-hand side of claims #1278: Simplify right-hand side of claims
  • Warn about poor performance when productivity is low #1988: Warn about poor performance when productivity is low
• Bugs
  • kore-repl: exiting successful proof generates bug report archive #1899: kore-repl: exiting successful proof generates a bug report
• User experience
  • kore-repl: Do not terminate process on (sub-process) error #1992: kore-repl: Do not terminate process on (sub-process) error
  • Evaluating functions with partial arguments #1978: Evaluating functions with partial arguments
  • kore-repl: Abbreviate help command #1957: kore-repl: Abbreviate help command
  • Warn when a claim is proven without taking any steps #1869: Warn when a claim is proven without taking any steps
• Features
  • Set difference -Set doesn't work for symbolic values  #1993: Symbolic SET.difference
  • Support <=Set builtin #1989: Missing hook: SET.inclusion