Gitiles
Code Review Sign In
review.sourcearcade.org / libhwbase / 5bd7c1101c0b8610949e0172b0e1a0072fd03638 / Makefile.proof
  1. 5bd7c11 Makefile.proof: Increase proof timeout by Nico Huber · 9 weeks ago main
  2. 35ca5cc Makefile.proof: Allow to override $(jobs) for `proof-allconfigs` by Nico Huber · 9 weeks ago
  3. 5034549 Makefile.proof: Also run the regular build as part of proofs by Nico Huber · 9 weeks ago
  4. 0498e10 Makefile.proof: Add full paths and config to diagnostic output by Nico Huber · 9 weeks ago
  5. bd0ed91 Makefile: Revise support for generated sources by Nico Huber · 8 years ago
  6. 6582141 Makefile.proof: Add --no-inlining to SPARKFLAGS by Nico Huber · 8 years ago
  7. a60324f Makefile.proof: Remove cvc4 from prover list by Nico Huber · 8 years ago
  8. 1404fbb Makefile.proof: Reorder theorem provers by Nico Huber · 9 years ago
  9. ded07e8 Makefile.proof: Add all source files to the dependencies by Nico Huber · 10 years ago
  10. 5e9b1b5 Initial upstream commit by Nico Huber · 10 years ago