 John Wiegley
|
1b1c7cd4ac
A few more CMake-related fixes
|
12 سال پیش |
|
John Wiegley
|
3122182c48
Don't run the proof build against Clang for now
|
12 سال پیش |
|
John Wiegley
|
fcd05632e0
Fixes to the proofing process
|
12 سال پیش |
|
John Wiegley
|
1ad826c2bc
Proof using both GCC and Clang
|
12 سال پیش |
|
John Wiegley
|
715568bdd4
Minor changes to tools/proof
|
12 سال پیش |
|
John Wiegley
|
df11ecbbd7
Output date to proof log
|
13 سال پیش |
|
John Wiegley
|
75603edeb4
Send myself e-mail after a successful proof build
|
13 سال پیش |
|
John Wiegley
|
c8c2a17e28
Fixed invocation of lambda expressions
|
13 سال پیش |
|
John Wiegley
|
38c6953e10
Proof both the Python and non-Python variants
|
13 سال پیش |
|
John Wiegley
|
f4feabaea1
Build Python support during proof builds
|
13 سال پیش |
|
John Wiegley
|
1061cba97f
Use Clang to do proof builds
|
13 سال پیش |
|
John Wiegley
|
5a201971a9
Added e-mail notifications to tools/proof
|
13 سال پیش |
|
John Wiegley
|
4e8c9805bb
Replaced missing }
|
13 سال پیش |
|
John Wiegley
|
409041aec6
Updated tools/proof
|
13 سال پیش |
|
John Wiegley
|
7cc550fc22
Don't build doxygen docs in tools/proof
|
13 سال پیش |
|
John Wiegley
|
1820f12ef1
Run proof build nice'd
|
13 سال پیش |
|
John Wiegley
|
c65f98fadc
Use g++ 4.6 by default locally
|
13 سال پیش |
|
John Wiegley
|
b514b34120
Fixed an incorrect path in tools/proof
|
14 سال پیش |
|
John Wiegley
|
aa55e5ede2
Extended proof/push to upload tarballs/gcov
|
14 سال پیش |
|
John Wiegley
|
b1b4e2aadf
Add support for typed metadata
|
14 سال پیش |
|
John Wiegley
|
7e118f4ad0
Added --enable-cache, --enable-doxygen to acprep
|
14 سال پیش |
|
John Wiegley
|
dea2aed0b5
Untabified all source files
|
14 سال پیش |
|
John Wiegley
|
6ceda8320f
Added acprep option --universal, now off by default
|
14 سال پیش |
|
John Wiegley
|
9448bd6fa9
If tools/proof succeeds, move proof.log into /tmp
|
15 سال پیش |
|
John Wiegley
|
d6790072ef
Wrap the call to acprep proof in a call to "time"
|
15 سال پیش |
|
John Wiegley
|
4fcbef3b0c
In tools/proof, change into source directory
|
15 سال پیش |
|
John Wiegley
|
29c43c8d55
Further refinements to tools/proof
|
15 سال پیش |
|
John Wiegley
|
10755df8ae
Added an --alert option to tools/proof
|
15 سال پیش |
|
John Wiegley
|
3497076e04
Capture error code correctly in tools/proof
|
15 سال پیش |
|
John Wiegley
|
9cbc970558
Improvements to tools/proof
|
15 سال پیش |
