aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Update for release 3.3v3.3Xavier Leroy2018-05-301-1/+1
* coq2html: use OCaml's alternate string literals for multi-line stringsXavier Leroy2018-05-301-15/+15
* Changelog: minor updates for 3.3Xavier Leroy2018-05-301-7/+4
* Mention optional installation of .vo filesXavier Leroy2018-05-301-0/+3
* Install Coq development (.vo files) if requested (#232)Xavier Leroy2018-05-302-4/+36
* Updates for public release 3.3Xavier Leroy2018-05-302-1/+73
* Simplify module Complements and add separate compilation (#121)Xavier Leroy2018-05-291-74/+172
* Allow align attribute of zero. (#120)Bernhard Schommer2018-05-291-2/+2
* Removed duplicated whitespace. Bug 23660Bernhard Schommer2018-05-291-1/+1
* String literals are l-values and have array types (#116)Bernhard Schommer2018-05-274-23/+21
* Preserve storage class for functions declared within a blockXavier Leroy2018-05-261-7/+10
* Warning for extern declaration after definition.Bernhard Schommer2018-05-263-1/+11
* Reject "e1, e2" as a compile-time constant expressionXavier Leroy2018-05-241-5/+5
* Define the C11 type max_align_t (#115)Bernhard Schommer2018-05-241-0/+9
* Bug 23348Bernhard Schommer2018-05-080-0/+0
* Harden attributes_of_types against out-of-scope structs/unions/enumsXavier Leroy2018-05-071-3/+12
* Revised elaboration of function definitions, part 2Xavier Leroy2018-05-071-65/+143
* Revised elaboration of function definitions, part 1Xavier Leroy2018-05-071-36/+40
* Added a diagnostic for attributes dec after defBernhard Schommer2018-05-073-3/+19
* Warning for comparison of incomplete pointers.Bernhard Schommer2018-05-071-0/+4
* Check that variables declared in 'for' loops are local variables (#104)Bernhard Schommer2018-05-041-11/+11
* Reject empty declarations in K&R functions. (#107)Bernhard Schommer2018-05-041-0/+2
* Reject arrays of incomplete type (#90)Bernhard Schommer2018-05-021-0/+2
* Add missing tab character, bug 23541Michael Schmidt2018-05-021-1/+1
* Add new powerpc builtins.Michael Schmidt2018-04-275-4/+44
* Bug 23322Bernhard Schommer2018-04-270-0/+0
* Also check statement of label statement.Bernhard Schommer2018-04-271-1/+2
* Detect duplicate 'case' or 'default' statements within a 'switch'Xavier Leroy2018-04-271-0/+41
* Record value of constant expression in C.Scase constructorXavier Leroy2018-04-276-10/+10
* Detect 'case' and 'default' outside a 'switch' statementXavier Leroy2018-04-271-1/+7
* Additional checks on typedefs (#101)Bernhard Schommer2018-04-261-0/+4
* Earlier, more comprehensive check for constant initializers (#88)Xavier Leroy2018-04-263-4/+99
* Check for enums that have the same tag as composites (#100)Bernhard Schommer2018-04-251-1/+8
* Add diagnostic for illegal use of void (Bug 23342)Michael Schmidt2018-04-251-0/+2
* Initialization of anonymous bit-fields in structsXavier Leroy2018-04-252-1/+21
* Bitfields transformation: record the fields after transformationXavier Leroy2018-04-251-4/+20
* Initialization of union bit fieldsXavier Leroy2018-04-253-3/+45
* Bug 23346, Bug 23406Bernhard Schommer2018-04-250-0/+0
* Improved handling and diagnostics for the `auto` storage class (#99)Xavier Leroy2018-04-254-26/+52
* Use "fix <name> <number>" instead of "fix <number>"Xavier Leroy2018-04-251-8/+8
* Support Coq version 8.8.0Xavier Leroy2018-04-251-3/+3
* Upgrade Flocq to version 2.6.1 from upstream (#71)Xavier Leroy2018-04-258-171/+423
* Accept empty enum declaration after nonempty enum definition (#87)Bernhard Schommer2018-04-221-1/+1
* Better check for incomplete types in pointer subtraction (#92)Bernhard Schommer2018-04-201-0/+1
* Warn when volatile struct is assigned to a normal structBernhard Schommer2018-04-191-0/+3
* Function defintions: keep the attributes from previous declarations (#89)Bernhard Schommer2018-04-191-1/+3
* Bug 23410Bernhard Schommer2018-04-110-0/+0
* Revert "preserve static initialized variables (#81)"Xavier Leroy2018-04-101-9/+2
* Check for redefinition of globals and preserve static initialized variables (...Bernhard Schommer2018-04-092-6/+33
* Reject illegal initializations of aggregates at top-level (#79)Xavier Leroy2018-04-061-1/+10
generated by cgit (git 2.34.1) at 2024-05-17 11:52:06 +0000