aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Release 3.0 here we comev3.0Xavier Leroy2017-02-102-2/+3
* OS X: emit jumptables in .text segment, not .const segmentXavier Leroy2017-02-101-1/+1
* Use Printf.sprintf instead of Format.sprintf when possibleXavier Leroy2017-02-091-4/+4
* More tweaking of module 'open'Xavier Leroy2017-02-091-8/+10
* Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2017-02-081-0/+7
|\
| * Changelog update concerning attribute handlingXavier Leroy2017-02-071-0/+7
* | Revert broken change to Cutil.Bernhard Schommer2017-02-083-10/+10
|/
* Merge branch 'master' of ssh://github.com/AbsInt/CompCertXavier Leroy2017-02-063-83/+36
|\
| * Simplified DebugInformation interface.Bernhard Schommer2017-02-063-83/+36
* | Merge branch 'elaboration-of-attributes'Xavier Leroy2017-02-0611-47/+148
|\ \ | |/ |/|
| * Preliminary support for the "noreturn" attributeXavier Leroy2017-02-062-12/+17
| * Refactor the classification of attributesXavier Leroy2017-02-037-23/+101
| * Use C99 syntax to print attributes over array typesXavier Leroy2017-02-011-4/+5
| * Regression: type attributes and array modifiersXavier Leroy2017-02-011-2/+4
| * Revised elaboration of attributesXavier Leroy2017-01-318-22/+38
* | Cleanup opensBernhard Schommer2017-02-061-69/+62
* | Removed shadowing open.Bernhard Schommer2017-02-061-11/+11
* | Removed shadowing openBernhard Schommer2017-02-061-5/+5
* | Remove shadowing openBernhard Schommer2017-02-061-1/+1
* | Remove unused open.Bernhard Schommer2017-02-061-1/+0
* | Cleanup opens.Bernhard Schommer2017-02-061-9/+8
* | Generalized function to allow adding hex strings.Bernhard Schommer2017-02-062-4/+8
* | Removed shadowing problems.Bernhard Schommer2017-02-061-9/+9
* | Inlined open of ASTBernhard Schommer2017-02-061-7/+6
* | Inlined open of ErrorsBernhard Schommer2017-02-061-10/+9
* | Datatypes no longer shadows fst and sndBernhard Schommer2017-02-061-1/+1
* | Remove open Locations.Bernhard Schommer2017-02-061-6/+5
* | Remove open Locations.Bernhard Schommer2017-02-061-6/+5
* | Remove open AST.Bernhard Schommer2017-02-061-4/+3
* | Remove unused openBernhard Schommer2017-02-061-1/+0
* | Remove unused openBernhard Schommer2017-02-061-1/+0
* | Inline fst and snd from Datatypes.Bernhard Schommer2017-02-061-0/+4
* | Removed the open AST.Bernhard Schommer2017-02-062-10/+8
* | Remove unused open.Bernhard Schommer2017-02-061-1/+0
* | Inline open Datatypes.Bernhard Schommer2017-02-061-3/+2
* | Remove overriding open in Interp.Bernhard Schommer2017-02-031-11/+11
* | Remove all overriding opens in Elab.ml. Bug 19872Bernhard Schommer2017-02-031-2/+2
* | Removed Cabshelper open and avoided shadowing.Bernhard Schommer2017-02-032-8/+7
* | Remove unused opens.Bernhard Schommer2017-02-031-32/+28
* | Removed no longer working check.Bernhard Schommer2017-02-031-14/+4
* | Updated handcrafted.messages for __builtin_offsetofBernhard Schommer2017-02-011-753/+858
* | Change the syntax to gcc/clangs syntax.Bernhard Schommer2017-02-013-4/+7
* | Merge pull request #159 from AbsInt/builtin_offsetofXavier Leroy2017-02-018-3/+73
|\ \
| * | Avoid overflows and report an error.Bernhard Schommer2017-01-312-7/+10
| * | Normalize offset to size_t kind.Bernhard Schommer2017-01-311-2/+4
| * | Remove superfluous check.Bernhard Schommer2017-01-311-7/+4
| * | Improve indentation.Bernhard Schommer2017-01-311-1/+1
| * | Remove blank lines.Bernhard Schommer2017-01-311-2/+0
| * | New version to support designators.Bernhard Schommer2017-01-248-22/+46
| * | Simplified version.Bernhard Schommer2017-01-202-43/+26
generated by cgit (git 2.34.1) at 2024-05-19 22:24:34 +0000