Fixed some coq-8.18 deprecation warnings; speed up forward_call by apply change_compspecs parsimoniously #913
Job | Run time |
---|---|
13m 39s | |
13m 37s | |
13m 39s | |
13m 33s | |
13m 39s | |
1s | |
1h 8m 8s |
Job | Run time |
---|---|
13m 39s | |
13m 37s | |
13m 39s | |
13m 33s | |
13m 39s | |
1s | |
1h 8m 8s |