Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | 0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch | 883 | logplain |
-rw-r--r-- | 0002-Remove-test-4429.patch | 1294 | logplain |
-rw-r--r-- | 0003-Remove-3441.v-and-4811.v-due-to-timeout-on-small-pla.patch | 144518 | logplain |
-rw-r--r-- | 0004-5127-fails-on-mips.patch | 817 | logplain |
-rw-r--r-- | 0005-remove-ssrmatching.patch | 157764 | logplain |
-rw-r--r-- | 0006-remove-tests-that-need-coqlib.patch | 17118 | logplain |
-rw-r--r-- | series | 248 | logplain |