Fixed some coq-8.18 deprecation warnings; speed up forward_call by apply change_compspecs parsimoniously #914
Job | Run time |
---|---|
10m 22s | |
10m 21s | |
10m 20s | |
10m 19s | |
10m 20s | |
1s | |
51m 43s |
Job | Run time |
---|---|
10m 22s | |
10m 21s | |
10m 20s | |
10m 19s | |
10m 20s | |
1s | |
51m 43s |