index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
macosx needs all strings in degub_str.
Bernhard Schommer
2016-10-25
1
-1
/
+2
*
Pass range info to the children.
Bernhard Schommer
2016-10-25
1
-1
/
+2
*
Merge pull request #147 from m-schmidt/master
Xavier Leroy
2016-10-24
3
-0
/
+536
|
\
|
*
Minor improvements
Michael Schmidt
2016-10-17
1
-4
/
+4
|
*
Update description for debugging options
Michael Schmidt
2016-10-14
1
-4
/
+3
|
*
Add a man-page
Michael Schmidt
2016-10-14
3
-0
/
+537
*
|
implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)
Michael Schmidt
2016-10-19
1
-4
/
+4
*
|
implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)
Michael Schmidt
2016-10-19
1
-3
/
+6
*
|
Remove unnecessary usage of isatty.
Bernhard Schommer
2016-10-18
1
-1
/
+1
*
|
Catch errors from Unix for isatty.
Bernhard Schommer
2016-10-18
1
-1
/
+4
*
|
Document -target and -conf. Bug 20210
Bernhard Schommer
2016-10-18
1
-0
/
+2
*
|
Query menhir for location of menhir lib in config.
Bernhard Schommer
2016-10-18
2
-38
/
+3
*
|
Refactored debugging options.
Bernhard Schommer
2016-10-14
3
-31
/
+42
*
|
Remove undocumented option. Bug 20193
Bernhard Schommer
2016-10-14
6
-33
/
+10
|
/
*
Fix minor typo
Michael Schmidt
2016-10-12
1
-1
/
+1
*
Added configure switch for merlin.
Bernhard Schommer
2016-10-06
1
-0
/
+35
*
Fixed regression in printing of floats.
Bernhard Schommer
2016-10-04
1
-1
/
+1
*
Keep anonymous members of anonymous structs.
Bernhard Schommer
2016-09-27
2
-3
/
+5
*
undefine _Nullable to add some compatibility with macOS 10.12 SDK
Michael Schmidt
2016-09-23
1
-1
/
+1
*
Improved error messages for wrong vararg calls.
Bernhard Schommer
2016-09-23
2
-4
/
+10
*
Catch case of zero in builtin debug.
Bernhard Schommer
2016-09-22
1
-2
/
+2
*
Merge branch 'master' of /common/repositories/git/tools/compcert
Bernhard Schommer
2016-09-22
1
-0
/
+1
|
\
|
*
mention -Wall in help text
Michael Schmidt
2016-09-22
1
-0
/
+1
*
|
Added sizetyp for subarray bounds. Fix 19894
Bernhard Schommer
2016-09-22
3
-21
/
+43
|
/
*
Added compcert-conformance to wall. Bug 19872
Bernhard Schommer
2016-09-22
1
-0
/
+2
*
Renamed pedantic to implicit-int.
Bernhard Schommer
2016-09-22
3
-8
/
+9
*
Allow %lf type specifier in printf.
Bernhard Schommer
2016-09-22
1
-1
/
+1
*
Reverted noisy change.
Bernhard Schommer
2016-09-22
1
-1
/
+1
*
Merge pull request #142 from maximedenes/minor-fixes
Xavier Leroy
2016-09-21
3
-9
/
+13
|
\
|
*
Fix minor issues in some proofs and tactics.
Maxime Dénès
2016-09-21
3
-9
/
+13
*
|
Fix typo in option name. Bug 18004
Bernhard Schommer
2016-09-21
1
-1
/
+1
*
|
Also warn for empty default declarations. Bug 18004
Bernhard Schommer
2016-09-21
1
-1
/
+1
*
|
Make unnamed default + correct empty struct warning. Bug 18004
Bernhard Schommer
2016-09-21
2
-2
/
+3
*
|
Allow empty alignment attribute. Bug 18004
Bernhard Schommer
2016-09-21
1
-0
/
+1
*
|
Remove the duplicated :. Bug 18004
Bernhard Schommer
2016-09-21
1
-3
/
+3
*
|
Ignore also ignores the argunment. Bug 18004
Bernhard Schommer
2016-09-20
2
-2
/
+7
*
|
Merge pull request #139 from AbsInt/advanced-diagnostics
Bernhard Schommer
2016-09-20
21
-395
/
+781
|
\
\
|
*
|
Fixed typos and reverted error message. Bug 18004
Bernhard Schommer
2016-09-05
1
-9
/
+9
|
*
|
Readded parameter number. Bug 18004
Bernhard Schommer
2016-09-01
1
-6
/
+6
|
*
|
Reworded warning. Bug 18004
Bernhard Schommer
2016-09-01
1
-6
/
+6
|
*
|
Simplified int to pointer tests.
Bernhard Schommer
2016-09-01
2
-16
/
+17
|
*
|
Fixed error message for & operator. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
|
*
|
Added conformance warning.
Bernhard Schommer
2016-08-31
3
-0
/
+4
|
*
|
Added back logical operator in error. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
|
*
|
Reworded errors/warnings in Elab.
Bernhard Schommer
2016-08-31
1
-60
/
+76
|
*
|
Restored original bit-field warning. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
|
*
|
Updated comment string. Bug 18004.
Bernhard Schommer
2016-08-31
2
-3
/
+3
|
*
|
Readded warning about ignored volatile. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
|
*
|
Added missing literal. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
|
*
|
Fixed typos.
Bernhard Schommer
2016-08-31
1
-8
/
+8
[next]