Skip to content

Builtin symbols

Jump to bottom
Thomas Tuegel edited this page May 13, 2019 · 1 revision

Pull Request #632 is a self-contained example of adding a builtin symbol. When adding a builtin symbol, we should add:

  1. An entry to the hooks document.
  2. A symbol verifier.
  3. An evaluator for concrete arguments (at least).
  4. A declaration to Test.Kore.Builtin.Definition.
  5. A few tests with different concrete arguments.
Clone this wiki locally