aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* bug 18004, fix file extensions for dparse optionMichael Schmidt2016-04-252-2/+2
* Enabled Werror via command line option.Bernhard Schommer2016-04-251-0/+1
* */TargetPrinter.ml: wrong comment attached to Init_float32 constantsXavier Leroy2016-04-093-3/+3
* Also enable warnings for doc generator.Bernhard Schommer2016-04-062-8/+8
* Added iso646 header for alternate spellings.Bernhard Schommer2016-04-061-0/+49
* Check for type compatibility when initializing TInt arrays with wide strings ...Michael Schmidt2016-04-061-1/+1
* Check for type compatibility when initializing TInt arrays with wide strings ...Michael Schmidt2016-04-061-1/+1
* Revert initialization check, bug 18000Michael Schmidt2016-04-051-8/+0
* Match type size with size of wchar_t when initializing TInt arrays with wide ...Michael Schmidt2016-04-051-1/+1
* Catch initialization of arrays with single expressions, bug 18000Michael Schmidt2016-04-051-2/+2
* Catch initialization of arrays with single expressions, bug 18000Michael Schmidt2016-04-051-0/+8
* Merge pull request #95 from AbsInt/noreturnBernhard Schommer2016-04-0411-26/+150
|\
| * Added the _Noreturn keyword.Bernhard Schommer2016-03-2311-26/+150
* | Compatibility with newer ocaml versions. Bug 18313.Bernhard Schommer2016-03-314-6/+10
|/
* Merge pull request #94 from jhjourdan/parentherized_funBernhard Schommer2016-03-232-0/+18
|\
| * Fix a bug in the pre-parser.Jacques-Henri Jourdan2016-03-232-0/+18
|/
* Also refactor clightgen to work with new warnings. Bug 18394Bernhard Schommer2016-03-231-6/+6
* Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2016-03-211-1/+1
|\
| * configure: fix test for CFI directivesXavier Leroy2016-03-211-1/+1
* | Reverted name for entry back to the old one.Bernhard Schommer2016-03-211-1/+1
|/
* Merge pull request #92 from AbsInt/cleanupXavier Leroy2016-03-2168-647/+624
|\
| * Merge branch 'master' into cleanupBernhard Schommer2016-03-2188-5401/+6282
| |\
| * | Revert "Add the -Xalign-value options for diab."Bernhard Schommer2016-03-181-1/+0
| * | Add the -Xalign-value options for diab.Bernhard Schommer2016-03-181-0/+1
| * | Added an interface file for DebugInformation.Bernhard Schommer2016-03-185-43/+183
| * | Added interface for the Asmexpansion.Bernhard Schommer2016-03-165-10/+55
| * | Change atom printer to use the common function.Bernhard Schommer2016-03-161-1/+1
| * | Cleanup of AsmToJSON.Bernhard Schommer2016-03-166-128/+140
| * | Removed not needed env.Bernhard Schommer2016-03-151-5/+5
| * | Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-1547-447/+449
| * | Added back invariant checks for IRC.Bernhard Schommer2016-03-151-0/+36
| * | Revert "Removed unused parameter from is_small/rel_data."Bernhard Schommer2016-03-156-26/+28
| * | Removed unused parameter from is_small/rel_data.Bernhard Schommer2016-03-116-28/+26
| * | Cleanup of Clightgen code.Bernhard Schommer2016-03-102-45/+41
| * | Clean up of ia32 target dependend code.Bernhard Schommer2016-03-104-58/+18
| * | Cleanup of ARM dependedn code.Bernhard Schommer2016-03-102-66/+8
| * | Upgrade ocaml version needed and enable more warnings.Bernhard Schommer2016-03-105-17/+21
| * | Code cleanup.Bernhard Schommer2016-03-1056-740/+590
* | | Also ignore windows line endings.Bernhard Schommer2016-03-211-1/+2
| |/ |/|
* | Merge pull request #93 from AbsInt/separate-compilationXavier Leroy2016-03-2073-5026/+5836
|\ \
| * | Misc updates following the introduction of the new linking frameworkXavier Leroy2016-03-065-39/+44
| * | Strengthen the main compiler correctness results to account for separate comp...Xavier Leroy2016-03-061-149/+250
| * | Update the proofs of the C front-end to the new linking framework.Xavier Leroy2016-03-0611-533/+559
| * | Define linking for Csyntax and Clight programs.Xavier Leroy2016-03-063-114/+523
| * | Update the back-end proofs to the new linking framework.Xavier Leroy2016-03-0636-2188/+2093
| * | Put forward_simulation and backward_simulation in Prop instead of TypeXavier Leroy2016-03-062-303/+323
| * | Add support for EF_runtime externalsXavier Leroy2016-03-069-57/+47
| * | Globalenvs: adapt to new linking framework, and revise.Xavier Leroy2016-03-061-1146/+729
| * | AST: extend and adapt to the new linking framework.Xavier Leroy2016-03-061-460/+116
| * | The basic framework for linking and separate compilation.Xavier Leroy2016-03-061-0/+905
generated by cgit (git 2.34.1) at 2024-06-12 23:26:29 +0000