aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Tighten and prove correct the underflow/overflow bounds for parsing of FP lit...Xavier Leroy2015-07-063-137/+249
* Allow forward declarations of structure and union types in the debug informat...Bernhard Schommer2015-07-033-14/+52
* Added a fast test for too large exponents too avoid never ending computations.Bernhard Schommer2015-07-031-29/+42
* Simple path for problems whith diab assembler in the case of functions in dif...Bernhard Schommer2015-07-031-9/+48
* Do not search for high and low pc of inlined functions.Bernhard Schommer2015-07-023-5/+13
* Allow Anonymous structs, unions and enums in debug info.Bernhard Schommer2015-07-023-18/+18
* Add bulitin typedes during C to dwarf translation.Bernhard Schommer2015-07-021-6/+9
* Added Build, Tag, etc in version string and driver/Version.ml should be ignoredBernhard Schommer2015-07-012-2/+2
* Removed the version from the compcert.ini file and add it again in a separate...Bernhard Schommer2015-07-019-21/+27
* Merge branch 'master' of https://github.com/AbsInt/CompCertXavier Leroy2015-06-308-17/+84
|\
| * Merge github.com:AbsInt/CompCertBernhard Schommer2015-06-262-16/+33
| |\
| | * Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"Bernhard Schommer2015-06-268-997/+615
| | * Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-268-615/+997
| | |\
| | | * Merge branch 'master' into asmexpandBernhard Schommer2015-06-226-21/+61
| | | |\
| | | * | Moved the rest of the ia32 builtins to asmexpand.Bernhard Schommer2015-06-224-310/+293
| | | * | Started moving functions from TargetPrinter.ml to Asmexpand.ml for ia32.Bernhard Schommer2015-06-183-2/+253
| | | * | Moved the printing of the builtin functions etc. into Asmexpand for ARM in th...Bernhard Schommer2015-06-105-327/+475
| | * | | Added --version option to print version string.Bernhard Schommer2015-06-261-9/+19
| | * | | Adapt LICENSE file to include AbsInt and how to obtain a commercial license.Bernhard Schommer2015-06-261-7/+14
| * | | | Make also the wchar definition diab compatible.Bernhard Schommer2015-06-261-0/+15
| * | | | Added diab specific macros for stddef to avoid redefinition of size_t.Bernhard Schommer2015-06-261-0/+9
| |/ / /
| * | | Merge branch 'master' of file:///common/repositories/git/tools/compcertBernhard Schommer2015-06-263-0/+0
| |\ \ \
| | * | | Remove stray +x.Christoph Mallon2015-06-253-0/+0
| * | | | Check also the discarded part of the switch statements for cases outside of a...Bernhard Schommer2015-06-261-1/+26
| |/ / /
| * | | Simple fix for problem with local extern.Bernhard Schommer2015-06-241-0/+1
* | | | Signedness issue in specification of subtraction between two pointers.Xavier Leroy2015-06-306-7/+32
|/ / /
* | / Changed a minor typo: Pstwxu should be PstwuxBernhard Schommer2015-06-225-7/+7
| |/ |/|
* | Update the years.v2.5Xavier Leroy2015-06-121-2/+2
* | More updates for release 2.5.Xavier Leroy2015-06-111-4/+5
* | Turn the error on anonymous structs/unions into a warning.Xavier Leroy2015-06-111-1/+1
* | Preserve ordinary comments within proof scripts.Xavier Leroy2015-06-112-6/+31
* | Update for release 2.5.Xavier Leroy2015-06-111-6/+15
* | Update for release 2.5.Xavier Leroy2015-06-111-6/+11
|/
* Merge pull request #43 from AbsInt/standard-headersXavier Leroy2015-06-0811-13/+339
|\
| * Typo in #ifndef guard.Xavier Leroy2015-05-091-1/+1
| * Improve compatibility with MacOS X.Xavier Leroy2015-04-261-0/+3
| * Provide and use compiler-dependent standard headers.Xavier Leroy2015-04-2511-13/+336
* | Represent external worlds by a coinductive type rather than an inductive type.Xavier Leroy2015-06-072-2/+2
* | Error if, in the same scope, a typedef is redefined as a variable, or a varia...Xavier Leroy2015-06-061-2/+8
* | Update Changelog for release 2.5.Xavier Leroy2015-06-051-4/+79
* | Allow the option -o to be also the prefix of the file name for compability wi...Bernhard Schommer2015-05-311-0/+2
* | In AST.calling_conventions, record whether the original C function was "old-s...Xavier Leroy2015-05-224-23/+28
* | Missing case in type_conditional (long long vs. int or float).Xavier Leroy2015-05-221-6/+3
* | Ctyping: better typing of conditional expressions.Xavier Leroy2015-05-214-52/+202
* | Changed the producer tag to include more information.Bernhard Schommer2015-05-181-1/+2
* | Make a register as storage specify to a fatal error.Bernhard Schommer2015-05-141-1/+1
* | Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-147-200/+178
* | Changed the enter_or_refine_ident function to produce an error if a non-stat...Bernhard Schommer2015-05-131-6/+14
* | Updated PrintOp for the single-precision FP operations.Xavier Leroy2015-05-093-0/+41
* | Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-0917-110/+147
generated by cgit (git 2.34.1) at 2024-07-03 08:48:41 +0000