diff options
| author | Brian Campbell | 2018-08-13 11:52:30 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-13 11:52:30 +0100 |
| commit | a8fc6f2480790149a689e58d55a9dd3d6818dd3c (patch) | |
| tree | f62df2bfee80db5ecbb7be803d50fad59ba39866 /mips | |
| parent | 67b48947300cf4ac5f792dc31436cb241a4c7126 (diff) | |
Coq: drop irrelevant definitions before constraint solving
(which were slowing down RISCV unacceptably because dealing with the
xlen max/min values is surprisingly expensive)
Diffstat (limited to 'mips')
0 files changed, 0 insertions, 0 deletions