aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* Define C11 conditional feature macros (#77)Bernhard Schommer2018-04-061-1/+10
* Allow declaration of composites in bitfield size.Bernhard Schommer2018-04-051-11/+20
* Error for subtraction arithmetic type - pointer type (#73)Bernhard Schommer2018-04-051-3/+0
* Bug 23327Bernhard Schommer2018-04-030-0/+0
* Turn delicate case of designated re-initialization into error (#70)Xavier Leroy2018-03-303-38/+62
* Reject casts to struct/union types (#68)Bernhard Schommer2018-03-291-3/+0
* Don't overwrite initializer of anonymous union member. (#69)Bernhard Schommer2018-03-291-1/+1
* Fix 23332Bernhard Schommer2018-03-280-0/+0
* Change Implicit Arguments to Arguments (#225)Jasper Hugunin2018-03-285-17/+14
* Sizeof and _Alignof are not allowed on bit-fields (#67)Bernhard Schommer2018-03-273-1/+17
* Bug 23320Bernhard Schommer2018-03-270-0/+0
* Fix mistake in Bitfield transformation (#66)Michael Schmidt2018-03-271-2/+2
* Arrays should decay to pointers (#65)Bernhard Schommer2018-03-271-2/+3
* Improve error messages for anonymous bit-fields (#64)Bernhard Schommer2018-03-231-7/+10
* Do not allow inline on main and warn for Noreturn (#63)Bernhard Schommer2018-03-231-0/+4
* Add newline directly on list in annot.Bernhard Schommer2018-03-132-4/+7
* Anchor patterns to the top-level directory when appropriateXavier Leroy2018-03-131-47/+47
* Print size argument of Init_space as Z not as int32Xavier Leroy2018-03-133-3/+3
* Introduce more brackets for register annotation.Bernhard Schommer2018-03-121-4/+5
* Removed deprecated lemma.Bernhard Schommer2018-03-121-1/+1
* Do not use "Require" inside sections (#224)Xavier Leroy2018-03-122-5/+2
* Added seperator in warning msg. Bug 23179Bernhard Schommer2018-03-091-1/+1
* StructPassing and annotations, continuedXavier Leroy2018-03-091-9/+7
* Do not transfer arguments for annotations.Bernhard Schommer2018-03-091-2/+5
* Add explicit interface to cparser/pre_parser_aux.mlXavier Leroy2018-03-092-5/+28
* StructPassing: do not transform arguments to annotation built-insXavier Leroy2018-03-091-2/+6
* Do not use default printer for variable names.Bernhard Schommer2018-03-091-2/+8
* Perform quoting for json.Bernhard Schommer2018-03-081-1/+8
* Print x2 for riscV stack pointer.Bernhard Schommer2018-03-081-2/+2
* Update manpage for new warning name classMichael Schmidt2018-03-081-0/+4
* Print symbols as symbols.Bernhard Schommer2018-03-084-36/+61
* Fix register naming for stack pointer.Bernhard Schommer2018-03-083-5/+6
* Removed % prefix from ais annot register names.Bernhard Schommer2018-03-081-1/+18
* Improve error messages.Bernhard Schommer2018-03-073-16/+20
* Reword error message. Fix 22464Bernhard Schommer2018-03-071-2/+2
* Also use binary output for arm. Fix 23172Bernhard Schommer2018-03-071-1/+1
* Improve wording.Bernhard Schommer2018-03-071-1/+1
* Use binary output.Bernhard Schommer2018-03-071-1/+1
* Improve and simplify error messages.Bernhard Schommer2018-03-073-36/+55
* Fix arm compile broken by merge problems.Bernhard Schommer2018-03-061-4/+2
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-0615-73/+289
* Removed no longer needed struct passing.Bernhard Schommer2018-02-261-2/+0
* Support Coq 8.7.2Xavier Leroy2018-02-191-3/+3
* Merge pull request #60 from AbsIntPrivate/struct-abi-internalXavier Leroy2018-02-199-110/+80
|\
| * Struct return on OpenBSD now testedMichael Schmidt2018-02-191-1/+1
| * Renamed StructReturn to structPassingBernhard Schommer2018-02-163-1/+1
| * Removed struct passing/return from ConfigurationsBernhard Schommer2018-02-163-89/+0
| * Move struct passing/return style to Machine.Bernhard Schommer2018-02-164-18/+77
| * Rename abi for ppc-linux targets.Bernhard Schommer2018-02-161-2/+2
|/
* Fix typo in commentMichael Schmidt2018-02-161-1/+1
generated by cgit (git 2.34.1) at 2024-06-13 03:23:04 +0000