aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* macosx needs all strings in degub_str.Bernhard Schommer2016-10-251-1/+2
* Pass range info to the children.Bernhard Schommer2016-10-251-1/+2
* Merge pull request #147 from m-schmidt/masterXavier Leroy2016-10-243-0/+536
|\
| * Minor improvementsMichael Schmidt2016-10-171-4/+4
| * Update description for debugging optionsMichael Schmidt2016-10-141-4/+3
| * Add a man-pageMichael Schmidt2016-10-143-0/+537
* | implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)Michael Schmidt2016-10-191-4/+4
* | implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)Michael Schmidt2016-10-191-3/+6
* | Remove unnecessary usage of isatty.Bernhard Schommer2016-10-181-1/+1
* | Catch errors from Unix for isatty.Bernhard Schommer2016-10-181-1/+4
* | Document -target and -conf. Bug 20210Bernhard Schommer2016-10-181-0/+2
* | Query menhir for location of menhir lib in config.Bernhard Schommer2016-10-182-38/+3
* | Refactored debugging options.Bernhard Schommer2016-10-143-31/+42
* | Remove undocumented option. Bug 20193Bernhard Schommer2016-10-146-33/+10
|/
* Fix minor typoMichael Schmidt2016-10-121-1/+1
* Added configure switch for merlin.Bernhard Schommer2016-10-061-0/+35
* Fixed regression in printing of floats.Bernhard Schommer2016-10-041-1/+1
* Keep anonymous members of anonymous structs.Bernhard Schommer2016-09-272-3/+5
* undefine _Nullable to add some compatibility with macOS 10.12 SDKMichael Schmidt2016-09-231-1/+1
* Improved error messages for wrong vararg calls.Bernhard Schommer2016-09-232-4/+10
* Catch case of zero in builtin debug.Bernhard Schommer2016-09-221-2/+2
* Merge branch 'master' of /common/repositories/git/tools/compcertBernhard Schommer2016-09-221-0/+1
|\
| * mention -Wall in help textMichael Schmidt2016-09-221-0/+1
* | Added sizetyp for subarray bounds. Fix 19894Bernhard Schommer2016-09-223-21/+43
|/
* Added compcert-conformance to wall. Bug 19872Bernhard Schommer2016-09-221-0/+2
* Renamed pedantic to implicit-int.Bernhard Schommer2016-09-223-8/+9
* Allow %lf type specifier in printf.Bernhard Schommer2016-09-221-1/+1
* Reverted noisy change.Bernhard Schommer2016-09-221-1/+1
* Merge pull request #142 from maximedenes/minor-fixesXavier Leroy2016-09-213-9/+13
|\
| * Fix minor issues in some proofs and tactics.Maxime Dénès2016-09-213-9/+13
* | Fix typo in option name. Bug 18004Bernhard Schommer2016-09-211-1/+1
* | Also warn for empty default declarations. Bug 18004Bernhard Schommer2016-09-211-1/+1
* | Make unnamed default + correct empty struct warning. Bug 18004Bernhard Schommer2016-09-212-2/+3
* | Allow empty alignment attribute. Bug 18004Bernhard Schommer2016-09-211-0/+1
* | Remove the duplicated :. Bug 18004Bernhard Schommer2016-09-211-3/+3
* | Ignore also ignores the argunment. Bug 18004Bernhard Schommer2016-09-202-2/+7
* | Merge pull request #139 from AbsInt/advanced-diagnosticsBernhard Schommer2016-09-2021-395/+781
|\ \
| * | Fixed typos and reverted error message. Bug 18004Bernhard Schommer2016-09-051-9/+9
| * | Readded parameter number. Bug 18004Bernhard Schommer2016-09-011-6/+6
| * | Reworded warning. Bug 18004Bernhard Schommer2016-09-011-6/+6
| * | Simplified int to pointer tests.Bernhard Schommer2016-09-012-16/+17
| * | Fixed error message for & operator. Bug 18004Bernhard Schommer2016-08-311-1/+1
| * | Added conformance warning.Bernhard Schommer2016-08-313-0/+4
| * | Added back logical operator in error. Bug 18004Bernhard Schommer2016-08-311-1/+1
| * | Reworded errors/warnings in Elab.Bernhard Schommer2016-08-311-60/+76
| * | Restored original bit-field warning. Bug 18004Bernhard Schommer2016-08-311-1/+1
| * | Updated comment string. Bug 18004.Bernhard Schommer2016-08-312-3/+3
| * | Readded warning about ignored volatile. Bug 18004Bernhard Schommer2016-08-311-1/+1
| * | Added missing literal. Bug 18004Bernhard Schommer2016-08-311-1/+1
| * | Fixed typos.Bernhard Schommer2016-08-311-8/+8
generated by cgit (git 2.34.1) at 2024-06-29 04:05:45 +0000