aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * Changed a minor typo: Pstwxu should be PstwuxBernhard Schommer2015-06-225-7/+7
* | Merge branch 'master' into json_exportBernhard Schommer2015-06-1719-38/+487
|\|
| * 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
* | | Merge branch 'master' into json_exportBernhard Schommer2015-05-294-29/+31
|\| |
| * | 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
* | | 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
|\| |
| * | 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
* | | 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
|\| |
| * | 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
* | | Merge branch 'master' into json_exportBernhard Schommer2015-05-073-6/+6
|\| |
| * | Use globl also for global variables.Bernhard Schommer2015-05-071-1/+1
| * | Typo: Val.sun_inject -> Val.sub_inject.Xavier Leroy2015-05-062-5/+5
* | | 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
* | | Merge branch 'master' into json_exportBernhard Schommer2015-05-0531-571/+737
|\| |
| * | Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va...Xavier Leroy2015-04-3018-371/+373
| * | Detect uses of anonymous structs/unions (a C2011 feature and GCC extension) a...Xavier Leroy2015-04-301-0/+14
| * | Detect and reject "&" operator applied to "register" local variable or to a b...Xavier Leroy2015-04-283-0/+34
| * | Bitfield improvements continued: perform bitfield expansion before unblocking...Xavier Leroy2015-04-283-181/+211
| * | Extended inline asm: handle missing cases.Xavier Leroy2015-04-288-19/+105
| |/
* | Merge branch 'master' into json_exportBernhard Schommer2015-04-271-3/+17
|\|
| * Warn if a nonzero FP literal converts to infinity (overflow) or to 0 (underfl...Xavier Leroy2015-04-251-3/+17
* | Added the first version of the sdump export to json.Bernhard Schommer2015-04-275-2/+498
|/
* Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ...Xavier Leroy2015-04-237-2/+12
* Take asm clobbers into account for determining callee-save registers used.Xavier Leroy2015-04-239-4/+37
generated by cgit (git 2.34.1) at 2024-07-07 20:36:37 +0000