aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'named-structs'Xavier Leroy2015-01-231-2/+4
|\
| * Add a type system for CompCert C and type-checking constructor functions.Xavier Leroy2014-12-311-2/+4
* | Delay reads from !Machine.config before it is properly initialized.Xavier Leroy2015-01-227-66/+86
* | Wrong handling of block-local function declarations (again)Xavier Leroy2015-01-011-12/+7
* | Revised type compatibility check w.r.t. handling of attributes.Xavier Leroy2015-01-014-49/+93
* | PR#12: regression introduced in commit 2d32afcXavier Leroy2014-12-301-2/+0
* | PR#6: fix handling of wchar_t and assignments from wide string literals.Xavier Leroy2014-12-305-9/+31
* | PR#11: support sizeof(struct {...}) and _Alignof(struct {...})Xavier Leroy2014-12-301-25/+38
* | Improve printing of errors.Xavier Leroy2014-12-301-3/+11
* | PR#10 continued: disambiguate record to avoid OCaml warningXavier Leroy2014-12-301-1/+1
* | PR#10: composite definitions must be maintained in the environment.Xavier Leroy2014-12-301-6/+15
* | Recognize more of GCC's alternate keywords (e.g. "__signed").Xavier Leroy2014-12-291-21/+24
* | Support "asm volatile" (closes: PR#5).Xavier Leroy2014-12-292-1/+3
* | No longer include a pre-generated Parser.v in the distribution.Xavier Leroy2014-12-181-61669/+0
* | Wrong handling of block-local function declarations (in Elab.ml).Xavier Leroy2014-11-261-12/+7
|/
* Moved the timing facility to a seperate file.Bernhard Schommer2014-09-291-3/+3
* GCCism: accept __volatile and __volatile__Xavier Leroy2014-09-211-0/+2
* Error instead of warning on illegal escape sequences.Xavier Leroy2014-09-211-1/+1
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-2111-453/+625
* Improve error reporting for unsupported compound literals.xleroy2014-08-201-1/+4
* Improve error detection and error messages for enums.xleroy2014-08-171-3/+7
* Spurious error on a local static function declarationxleroy2014-08-131-0/+1
* Make Alphabet.v compatible with an environnment where Containers is installedjjourdan2014-07-041-1/+1
* Empty declarationsjjourdan2014-05-233-11180/+11249
* In enter_or_refine_ident: revised handling of "extern" decls.xleroy2014-05-181-29/+38
* Another corner case for string literal initializers: char * x[] = { "lit" }xleroy2014-05-181-1/+2
* Typo in struct_declaration_list causing conflicts.xleroy2014-05-181-1/+1
* - Re-added support for "__func__" identifier as per ISO C99.xleroy2014-05-155-5746/+5462
* Assorted fixes to fix parsing issues and be more GCC-like:xleroy2014-05-127-13538/+14066
* Incorrect conversion of K&R functions. Example of problem:xleroy2014-05-122-2/+10
* Fix string litteral parsingjjourdan2014-05-112-3/+7
* Fixed regression on initializers of the form T x[N] = "literal";xleroy2014-05-081-8/+10
* - Added alternate keywords __inline, __restrict, etc, for GCC compatibilityxleroy2014-05-081-2/+24
* Stern warning on non-prototype function definitions.xleroy2014-05-051-0/+1
* Do not allow typedef_name in identifier lists of K&R style definitionsjjourdan2014-05-051-4/+4
* Support for old-style K&R function definitions.xleroy2014-05-056-4545/+5621
* Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)...xleroy2014-05-052-15/+8
* Be less picky in the way we parse '#' linesxleroy2014-05-021-11/+23
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-2931-3153/+66118
* Clean-up pass on C types:xleroy2014-04-234-44/+55
* Merge of branch linear-typing:xleroy2014-04-063-12/+13
* "->" can also be applied to array types, not just pointer types.xleroy2014-03-301-1/+1
* C: Support array initializers that are too short + default init for remainder.xleroy2014-03-285-140/+361
* Do not transform __builtin_va_arg for a struct or union type, this causesxleroy2014-02-241-31/+37
* Wrong type used for transforming lval = f(...)xleroy2014-02-211-1/+1
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-191-9/+15
* - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.xleroy2014-01-121-1/+4
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...xleroy2014-01-011-4/+8
* Catch and report Env errors arising out of some Cutil functionsxleroy2013-12-302-8/+9
* Elab.ml: more warnings.xleroy2013-12-302-6/+16
generated by cgit (git 2.34.1) at 2024-06-11 22:20:01 +0000