Port VST 2.x to CompCert master #1079
Job | Run time |
---|---|
23m 25s | |
22m 29s | |
23m 7s | |
19m 40s | |
55s | |
5m 46s | |
3m 17s | |
3m 33s | |
55s | |
57s | |
56s | |
5m 44s | |
1m 52s | |
3m 18s | |
58s | |
3m 28s | |
1m 0s | |
56s | |
5m 14s | |
3m 1s | |
2m 58s | |
2h 13m 29s |
Job | Run time |
---|---|
23m 25s | |
22m 29s | |
23m 7s | |
19m 40s | |
55s | |
5m 46s | |
3m 17s | |
3m 33s | |
55s | |
57s | |
56s | |
5m 44s | |
1m 52s | |
3m 18s | |
58s | |
3m 28s | |
1m 0s | |
56s | |
5m 14s | |
3m 1s | |
2m 58s | |
2h 13m 29s |