aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into asmexpandBernhard Schommer2015-07-1451-241/+1046
|\
| * Use env1 instead of env to also have the type specifiers used in the return p...Bernhard Schommer2015-07-091-1/+1
| * Also test if the __VA_LIST macro is defined to avoid problems with the typede...Bernhard Schommer2015-07-091-2/+8
| * Propagated the composed type constructed build during identifier lookup.Bernhard Schommer2015-07-091-6/+6
| * Merge branch 'master' of https://github.com/AbsInt/CompCertXavier Leroy2015-07-0817-32/+125
| |\
| | * Turn off copy optimization when returning a composite by reference.Xavier Leroy2015-07-084-5/+50
| | * Add implicit "return 0;" at end of function "main".Xavier Leroy2015-07-081-1/+13
| | * Turn "redefinition with an incompatible type" warning into an error.Xavier Leroy2015-07-081-1/+6
| | * Fix issue with bit fields of type _BoolXavier Leroy2015-07-084-18/+34
| | * Merge github.com:AbsInt/CompCertBernhard Schommer2015-07-071-2/+5
| | |\
| | | * Merge pull request #49 from jhjourdan/ch2o_universes_compatXavier Leroy2015-07-071-2/+5
| | | |\
| | | | * Change the definition of Typles.tupleJacques-Henri Jourdan2015-07-071-2/+5
| | | |/
| | * | Removed brackets around ty in macro of offestof.Bernhard Schommer2015-07-071-1/+1
| | * | Diab defines w_char to be unsigned short.Bernhard Schommer2015-07-075-3/+11
| | * | Better define the __GNUC__ macro which avoids the inclusion of va_list header...Bernhard Schommer2015-07-072-1/+5
| | * | Added an define to avoid the inclusion of the diab va_list header which defin...Bernhard Schommer2015-07-071-1/+1
| | |/
| * / More portable test for fres and fsqrte.Xavier Leroy2015-07-083-7/+16
| |/
| * Set/clear CR6 before calling an unprototyped function.Xavier Leroy2015-07-071-3/+4
| * Merge pull request #48 from AbsInt/json_exportBernhard Schommer2015-07-068-10/+438
| |\
| | * Use the functions from C2C to extract the information for the atoms. Simplifi...Bernhard Schommer2015-07-061-17/+18
| | * Merge branch 'master' into json_exportBernhard Schommer2015-07-0633-201/+503
| | |\ | | |/ | |/|
| * | Corrected little typo in __builtin_clz function.Bernhard Schommer2015-07-065-7/+7
| * | 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
| | |\ \
| | * | | 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
| * | | | Signedness issue in specification of subtraction between two pointers.Xavier Leroy2015-06-306-7/+32
| | | | * Added diab specific size_t define in stddef.Bernhard Schommer2015-06-261-0/+9
| | | | * Print bit representation of floats.Bernhard Schommer2015-06-241-5/+6
| | | | * Fixed typo also in json export.Bernhard Schommer2015-06-221-1/+1
| | | | * Merge branch 'master' into json_exportBernhard Schommer2015-06-225-7/+7
| | | | |\ | | |_|_|/ | |/| | |
| | | | * Merge branch 'master' into json_exportBernhard Schommer2015-06-1719-38/+487
| | | | |\
| | | | * \ Merge branch 'master' into json_exportBernhard Schommer2015-05-294-29/+31
| | | | |\ \
| | | | * | | Merged instructions that are printed as same instruction already in printer.Bernhard Schommer2015-05-291-26/+26
| | | | * | | Merge branch 'master' into json_exportBernhard Schommer2015-05-215-53/+204
| | | | |\ \ \
| | | | * | | | Added flag for the renaming of static functions.Bernhard Schommer2015-05-195-8/+27
| | | | * | | | Updated the printing of iniline asm and simplified some structures.Bernhard Schommer2015-05-181-136/+118
| | | | * | | | Merge branch 'master' into json_exportBernhard Schommer2015-05-1828-317/+381
| | | | |\ \ \ \
| | | | * \ \ \ \ Merge branch 'master' into json_exportBernhard Schommer2015-05-073-6/+6
| | | | |\ \ \ \ \
| | | | * | | | | | Moved the information needed from the atoms to the ASM printer and removed un...Bernhard Schommer2015-05-063-100/+50
| | | | * | | | | | Removed printing of information for internals and externals that should be fo...Bernhard Schommer2015-05-051-49/+28
generated by cgit (git 2.34.1) at 2024-07-09 15:38:16 +0000