aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Update version number for 3.5v3.5Xavier Leroy2019-02-281-1/+1
* Update HTML doc for release 3.5Xavier Leroy2019-02-271-1/+1
* Update Changelog in preparation for release 3.5Xavier Leroy2019-02-261-1/+1
* Maximum supported Menhir version (#275)Xavier Leroy2019-02-261-1/+1
* Update Changelog in preparation for release 3.5Xavier Leroy2019-02-251-0/+35
* Maximum supported Menhir version (#275)Jacques-Henri Jourdan2019-02-251-2/+3
* Revised attachment of name attributes to structs, unions, enumsXavier Leroy2019-02-253-6/+29
* Reject object-related and struct-related attributes on typedefsXavier Leroy2019-02-254-8/+19
* Add regression test for "aligned" attributeXavier Leroy2019-02-253-1/+120
* Distinguish object-related and name-related attributesXavier Leroy2019-02-254-13/+24
* Do not expand type names when floating attributes "up" a declarationXavier Leroy2019-02-253-2/+24
* Ignore and clean file .lia.cacheXavier Leroy2019-02-122-1/+4
* Make the checker happy (#272)Vincent Laporte2019-02-123-19/+17
* Add support for Coq 8.9.0Xavier Leroy2019-02-041-3/+3
* <stddef.h>: define NULL with type void *Xavier Leroy2019-02-041-1/+1
* Test for NULL in variable argument listsXavier Leroy2019-02-042-1/+53
* <stdbool.h>: add missing macro __bool_true_false_are_definedXavier Leroy2019-02-041-0/+1
* Fix some URLs in the first page of the Coq HTML documentation (#263)Andre2019-01-221-5/+5
* Use `Program Instance` instead of `Instance` + refine mode (#261)Maxime Dénès2018-12-272-64/+86
* x86: wrong modeling of ZF flag for FP comparisonsXavier Leroy2018-12-202-130/+66
* Add functions "ordered" and "compare" to Float and Float32Xavier Leroy2018-12-201-9/+20
* Fix fixme in PackedStructs.Bernhard Schommer2018-11-201-4/+4
* Fix typo in asmexpand. Bug 24953Bernhard Schommer2018-11-071-1/+1
* Use 'gpr_or_zero' for base register of indexed load/stores, bug 24776Michael Schmidt2018-10-202-5/+10
* Catch exception from elab_attr_arg.Bernhard Schommer2018-10-181-1/+4
* Switch conditions for eref plattforms.Bernhard Schommer2018-09-191-4/+4
* Support __builtin_isel64 for non-EREF PPC64 platforms (#141)Xavier Leroy2018-09-181-22/+28
* Add builtin isel (conditional move) for int64, uint64 and _Bool (#140)Bernhard Schommer2018-09-182-1/+16
* Bug 24518Bernhard Schommer2018-09-170-0/+0
* Updates for release 3.4v3.4Xavier Leroy2018-09-172-2/+2
* Bug 24510Bernhard Schommer2018-09-140-0/+0
* flocq: minor cleaning (#257)Vincent Laporte2018-09-141-3/+2
* Update change log for 3.4, continuedXavier Leroy2018-09-141-2/+5
* Improved diagnostics: spelling, wording, etc (#138)Michael Schmidt2018-09-145-15/+15
* Simplified code. Bug 24067Bernhard Schommer2018-09-121-8/+8
* Tentatively support Coq 8.8.2Xavier Leroy2018-09-121-2/+2
* Typo in OCaml version numberXavier Leroy2018-09-121-1/+1
* Update version and change log in preparation for public release 3.4Xavier Leroy2018-09-122-1/+63
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-1214-28/+64
* Fatal error instead of error for bit-fields.Bernhard Schommer2018-09-121-1/+1
* Attach _Alignas to names and refactor _Alignas checks (#133)Bernhard Schommer2018-09-106-20/+22
* Ignore generated conflict file. Bug 24455Bernhard Schommer2018-09-101-0/+1
* Bug 23389Bernhard Schommer2018-09-040-0/+0
* Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2018-09-041-1/+1
|\
| * Typo in commentXavier Leroy2018-09-031-1/+1
* | document new named warning class 'reduced-alignment', bug 23389Michael Schmidt2018-09-041-0/+4
|/
* Move parameter check.Bernhard Schommer2018-09-031-2/+6
* New diagnostic for reduced alignment (#117)Bernhard Schommer2018-08-293-3/+38
* Bug 24374Bernhard Schommer2018-08-290-0/+0
* Merge pull request #251 from AbsInt/configure-error-behaviorXavier Leroy2018-08-291-0/+14
|\
generated by cgit (git 2.34.1) at 2024-05-17 12:19:08 +0000