diff options
| author | Brian Campbell | 2019-08-14 16:01:17 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-08-14 16:01:32 +0100 |
| commit | ba6d82bdc8c86620d3055d964acab0266eabbf7a (patch) | |
| tree | b548ffc5ba2c5ceb1cad6fc42e1454abf0bc4da7 /src/optimize.ml | |
| parent | 778d3cc8cc7bf97408d8230a913f9d37ad3e09cc (diff) | |
Coq library work for proofs:
* rename state fields to avoid clash with regstate type
* use rewriting to automate some proofs
Diffstat (limited to 'src/optimize.ml')
0 files changed, 0 insertions, 0 deletions