apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Published 20 hours ago • verified publisher icon apalache-mc

New approach to rewriting rules

Open Kukovec opened this issue 3 years ago • 0 comments

  • [x] Tests added for any new code
  • [x] Ran make fmt-fix (or had formatting run automatically on all files edited)
  • [ ] ~Documentation added for any new functionality~
  • [ ] ~Entry added to UNRELEASED.md for any new functionality~

This PR outlines a proof-of-concept alternative implementation of rewriting rules, using scalaz.State. It should facilitate discussion regarding the new approach to rewriting, and is not intended to be integrated (in its current form) in the near future.

Kukovec avatar Jul 01 '21 17:07 Kukovec