Skip to content
This repository has been archived by the owner on Aug 20, 2021. It is now read-only.

Commit

Permalink
README: document rules.k
Browse files Browse the repository at this point in the history
  • Loading branch information
@asymmetric
asymmetric committed Feb 2, 2020
1 parent 25b266d commit b534129
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -100,6 +100,12 @@ Once the proof is complete, we can explore the generated symbolic execution trac
klab debug <hash>
```

### Embedded rules

klab comes with a set of pre-defined K rewrite rules, additional to the ones
defined in [evm-semantics](https://github.com/kframework/evm-semantics). They
are located in `resources/rules.k`.

### Key Bindings

Toggle different views by pressing any of the following keys:
Expand Down

0 comments on commit b534129

Please sign in to comment.