diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-13 14:51:36 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-13 14:51:36 +0100 |
| commit | 522285d1163523b02a1972b99d71c08552cd9c7b (patch) | |
| tree | a1d9b43928276e90c8223a9736253d19f52f2bca /riscV/Asmexpand.ml | |
| parent | 7f152e2f27d82f0d502ee919e1576edefcd44cf5 (diff) | |
| download | compcert-kvx-522285d1163523b02a1972b99d71c08552cd9c7b.tar.gz compcert-kvx-522285d1163523b02a1972b99d71c08552cd9c7b.zip | |
Replace `omega` tactic with `lia`, continued
Follow-up to aba0e740f
Diffstat (limited to 'riscV/Asmexpand.ml')
0 files changed, 0 insertions, 0 deletions