| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| local_libs.patch | shorten PROVER/Makefile diff --git a/PROVER/Makefile b/PROVER/Makefile index c900bb8..a8d0fb9 100644 |
Julien Puydt | invalid | |||
| unvendor_picosat.patch | use the system's picosat instead of the vendored one | Julien Puydt | invalid | |||
| typos.patch | fix typos | Julien Puydt | invalid | |||
| simplify_PROVER_Makefile.patch | try to make PROVER/Makefile minimal | Julien Puydt | invalid |