Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'elaboration-of-attributes' | Xavier Leroy | 2017-02-06 | 11 | -47/+148 |
|\ | |||||
| * | Preliminary support for the "noreturn" attribute | Xavier Leroy | 2017-02-06 | 2 | -12/+17 |
| * | Refactor the classification of attributes | Xavier Leroy | 2017-02-03 | 7 | -23/+101 |
| * | Use C99 syntax to print attributes over array types | Xavier Leroy | 2017-02-01 | 1 | -4/+5 |
| * | Regression: type attributes and array modifiers | Xavier Leroy | 2017-02-01 | 1 | -2/+4 |
| * | Revised elaboration of attributes | Xavier Leroy | 2017-01-31 | 8 | -22/+38 |
* | | Cleanup opens | Bernhard Schommer | 2017-02-06 | 1 | -69/+62 |
* | | Removed shadowing open. | Bernhard Schommer | 2017-02-06 | 1 | -11/+11 |
* | | Removed shadowing open | Bernhard Schommer | 2017-02-06 | 1 | -5/+5 |
* | | Remove shadowing open | Bernhard Schommer | 2017-02-06 | 1 | -1/+1 |
* | | Remove unused open. | Bernhard Schommer | 2017-02-06 | 1 | -1/+0 |
* | | Cleanup opens. | Bernhard Schommer | 2017-02-06 | 1 | -9/+8 |
* | | Generalized function to allow adding hex strings. | Bernhard Schommer | 2017-02-06 | 2 | -4/+8 |
* | | Removed shadowing problems. | Bernhard Schommer | 2017-02-06 | 1 | -9/+9 |
* | | Inlined open of AST | Bernhard Schommer | 2017-02-06 | 1 | -7/+6 |
* | | Inlined open of Errors | Bernhard Schommer | 2017-02-06 | 1 | -10/+9 |
* | | Datatypes no longer shadows fst and snd | Bernhard Schommer | 2017-02-06 | 1 | -1/+1 |
* | | Remove open Locations. | Bernhard Schommer | 2017-02-06 | 1 | -6/+5 |
* | | Remove open Locations. | Bernhard Schommer | 2017-02-06 | 1 | -6/+5 |
* | | Remove open AST. | Bernhard Schommer | 2017-02-06 | 1 | -4/+3 |
* | | Remove unused open | Bernhard Schommer | 2017-02-06 | 1 | -1/+0 |
* | | Remove unused open | Bernhard Schommer | 2017-02-06 | 1 | -1/+0 |
* | | Inline fst and snd from Datatypes. | Bernhard Schommer | 2017-02-06 | 1 | -0/+4 |
* | | Removed the open AST. | Bernhard Schommer | 2017-02-06 | 2 | -10/+8 |
* | | Remove unused open. | Bernhard Schommer | 2017-02-06 | 1 | -1/+0 |
* | | Inline open Datatypes. | Bernhard Schommer | 2017-02-06 | 1 | -3/+2 |
* | | Remove overriding open in Interp. | Bernhard Schommer | 2017-02-03 | 1 | -11/+11 |
* | | Remove all overriding opens in Elab.ml. Bug 19872 | Bernhard Schommer | 2017-02-03 | 1 | -2/+2 |
* | | Removed Cabshelper open and avoided shadowing. | Bernhard Schommer | 2017-02-03 | 2 | -8/+7 |
* | | Remove unused opens. | Bernhard Schommer | 2017-02-03 | 1 | -32/+28 |
* | | Removed no longer working check. | Bernhard Schommer | 2017-02-03 | 1 | -14/+4 |
* | | Updated handcrafted.messages for __builtin_offsetof | Bernhard Schommer | 2017-02-01 | 1 | -753/+858 |
* | | Change the syntax to gcc/clangs syntax. | Bernhard Schommer | 2017-02-01 | 3 | -4/+7 |
* | | Merge pull request #159 from AbsInt/builtin_offsetof | Xavier Leroy | 2017-02-01 | 8 | -3/+73 |
|\ \ | |||||
| * | | Avoid overflows and report an error. | Bernhard Schommer | 2017-01-31 | 2 | -7/+10 |
| * | | Normalize offset to size_t kind. | Bernhard Schommer | 2017-01-31 | 1 | -2/+4 |
| * | | Remove superfluous check. | Bernhard Schommer | 2017-01-31 | 1 | -7/+4 |
| * | | Improve indentation. | Bernhard Schommer | 2017-01-31 | 1 | -1/+1 |
| * | | Remove blank lines. | Bernhard Schommer | 2017-01-31 | 1 | -2/+0 |
| * | | New version to support designators. | Bernhard Schommer | 2017-01-24 | 8 | -22/+46 |
| * | | Simplified version. | Bernhard Schommer | 2017-01-20 | 2 | -43/+26 |
| * | | Also support union. Bug 20765 | Bernhard Schommer | 2017-01-20 | 1 | -3/+4 |
| * | | Implement offsetof via builtin. | Bernhard Schommer | 2017-01-20 | 8 | -3/+65 |
* | | | Add LINK_OPT and document it. | Bernhard Schommer | 2017-02-01 | 1 | -2/+15 |
| |/ |/| | |||||
* | | Typo in type of elab_char_constant | Xavier Leroy | 2017-01-31 | 1 | -1/+1 |
* | | Update Changes for release 3.0 | Xavier Leroy | 2017-01-31 | 1 | -2/+39 |
* | | Export elab_{int,float,char}_constant | Xavier Leroy | 2017-01-31 | 1 | -0/+9 |
* | | Added support for different diagnostic formats. | Bernhard Schommer | 2017-01-30 | 1 | -2/+25 |
* | | Switch case for error option. Bug 19872 | Bernhard Schommer | 2017-01-30 | 1 | -2/+2 |
* | | Fixed indention of help. | Bernhard Schommer | 2017-01-27 | 1 | -3/+3 |