diff options
| author | Brian Campbell | 2018-07-02 17:19:34 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-02 18:49:29 +0100 |
| commit | e6b40776a3c963ad3d16b644ba283d2d955cf0b5 (patch) | |
| tree | b341c3dfb924d7b1670f3ce511f81737ea6e49f2 /mips/prelude.sail | |
| parent | 02923ba7a62b7b383a02fb04c40be31ffbdb75a4 (diff) | |
Coq: replace simpl in a tactic with a more precise "change"
Prevents partial unfolding of Z.pow.
Diffstat (limited to 'mips/prelude.sail')
0 files changed, 0 insertions, 0 deletions