summaryrefslogtreecommitdiff
path: root/tools/proof
Commit message (Expand)AuthorAgeFilesLines
* If tools/proof succeeds, move proof.log into /tmpJohn Wiegley2009-11-151-0/+1
* Wrap the call to acprep proof in a call to "time"John Wiegley2009-11-021-1/+1
* In tools/proof, change into source directoryJohn Wiegley2009-11-011-0/+2
* Further refinements to tools/proofJohn Wiegley2009-11-011-2/+11
* Added an --alert option to tools/proofJohn Wiegley2009-11-011-1/+8
* Capture error code correctly in tools/proofJohn Wiegley2009-10-311-3/+5
* Improvements to tools/proofJohn Wiegley2009-10-311-5/+5
* Added tools/proof utility scriptJohn Wiegley2009-10-311-0/+11
* Rewrote acprep in Python and improved the buildJohn Wiegley2009-03-091-69/+0
* Several improvements to how directories are chosenJohn Wiegley2009-03-081-10/+12
* Modified the behavior of tools/proofJohn Wiegley2009-03-081-21/+21
* Don't run 'make fullcheck' for the gcov buildJohn Wiegley2009-03-071-4/+12
* In tools/proof, remove Products directories firstJohn Wiegley2009-03-071-0/+5
* Don't build a gprof version in tools/proofJohn Wiegley2009-03-041-4/+3
* Refactored tools/proofJohn Wiegley2009-03-021-54/+46
* Added a build step to tools/proofJohn Wiegley2009-02-281-0/+6
* Fixes to tools/proofJohn Wiegley2009-02-251-4/+52
* And more README updatesJohn Wiegley2009-02-211-1/+1
* Tools changes to build for multiple targetsJohn Wiegley2009-02-211-0/+9
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-06 09:46:32 +0000