| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | | | | * | | | | | | Removed printing of information for internals and externals that should be fo... | Bernhard Schommer | 2015-05-05 | 1 | -49/+28 | |
| | | | | * | | | | | | Merge branch 'master' into json_export | Bernhard Schommer | 2015-05-05 | 31 | -571/+737 | |
| | | | | |\ \ \ \ \ \ | ||||||
| | | | | * \ \ \ \ \ \ | Merge branch 'master' into json_export | Bernhard Schommer | 2015-04-27 | 1 | -3/+17 | |
| | | | | |\ \ \ \ \ \ \ | ||||||
| | | | | * | | | | | | | | Added the first version of the sdump export to json. | Bernhard Schommer | 2015-04-27 | 5 | -2/+498 | |
| * | | | | | | | | | | | | Merge branch 'asmexpand' of github.com:AbsInt/CompCert | Bernhard Schommer | 2015-06-26 | 8 | -615/+997 | |
| | |_|/ / / / / / / / / |/| | | | | | | | | | | ||||||
| * | | | | | | | | | | | Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert" | Bernhard Schommer | 2015-06-26 | 8 | -997/+615 | |
| * | | | | | | | | | | | Merge branch 'asmexpand' of github.com:AbsInt/CompCert | Bernhard Schommer | 2015-06-26 | 8 | -615/+997 | |
| |\ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into asmexpand | Bernhard Schommer | 2015-06-22 | 6 | -21/+61 | |
| | |\ \ \ \ \ \ \ \ \ \ \ | | | |_|_|_|_|_|_|_|_|/ | | |/| | | | | | | | | | ||||||
| | * | | | | | | | | | | | Moved the rest of the ia32 builtins to asmexpand. | Bernhard Schommer | 2015-06-22 | 4 | -310/+293 | |
| | * | | | | | | | | | | | Started moving functions from TargetPrinter.ml to Asmexpand.ml for ia32. | Bernhard Schommer | 2015-06-18 | 3 | -2/+253 | |
| | * | | | | | | | | | | | Moved the printing of the builtin functions etc. into Asmexpand for ARM in th... | Bernhard Schommer | 2015-06-10 | 5 | -327/+475 | |
| * | | | | | | | | | | | | Added --version option to print version string. | Bernhard Schommer | 2015-06-26 | 1 | -9/+19 | |
| * | | | | | | | | | | | | Adapt LICENSE file to include AbsInt and how to obtain a commercial license. | Bernhard Schommer | 2015-06-26 | 1 | -7/+14 | |
| | |_|_|/ / / / / / / / |/| | | | | | | | | | | ||||||
| * | | | | | | | | | | | Merge branch 'master' of file:///common/repositories/git/tools/compcert | Bernhard Schommer | 2015-06-26 | 3 | -0/+0 | |
| |\ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | Remove stray +x. | Christoph Mallon | 2015-06-25 | 3 | -0/+0 | |
| * | | | | | | | | | | | | Check also the discarded part of the switch statements for cases outside of a... | Bernhard Schommer | 2015-06-26 | 1 | -1/+26 | |
| |/ / / / / / / / / / / | ||||||
| * | | / / / / / / / / | Simple fix for problem with local extern. | Bernhard Schommer | 2015-06-24 | 1 | -0/+1 | |
| | |_|/ / / / / / / / |/| | | | | | | | | | ||||||
| * | | | | | | | | | | Changed a minor typo: Pstwxu should be Pstwux | Bernhard Schommer | 2015-06-22 | 5 | -7/+7 | |
| | |/ / / / / / / / |/| | | | | | | | | ||||||
| * | | | | | | | | | Update the years.v2.5 | Xavier Leroy | 2015-06-12 | 1 | -2/+2 | |
| * | | | | | | | | | More updates for release 2.5. | Xavier Leroy | 2015-06-11 | 1 | -4/+5 | |
| * | | | | | | | | | Turn the error on anonymous structs/unions into a warning. | Xavier Leroy | 2015-06-11 | 1 | -1/+1 | |
| * | | | | | | | | | Preserve ordinary comments within proof scripts. | Xavier Leroy | 2015-06-11 | 2 | -6/+31 | |
| * | | | | | | | | | Update for release 2.5. | Xavier Leroy | 2015-06-11 | 1 | -6/+15 | |
| * | | | | | | | | | Update for release 2.5. | Xavier Leroy | 2015-06-11 | 1 | -6/+11 | |
| |/ / / / / / / / | ||||||
| * | | | | | | | | Merge pull request #43 from AbsInt/standard-headers | Xavier Leroy | 2015-06-08 | 11 | -13/+339 | |
| |\ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | Typo in #ifndef guard. | Xavier Leroy | 2015-05-09 | 1 | -1/+1 | |
| | * | | | | | | | | Improve compatibility with MacOS X. | Xavier Leroy | 2015-04-26 | 1 | -0/+3 | |
| | * | | | | | | | | Provide and use compiler-dependent standard headers. | Xavier Leroy | 2015-04-25 | 11 | -13/+336 | |
| | | |/ / / / / / | |/| | | | | | | ||||||
| * | | | | | | | | Represent external worlds by a coinductive type rather than an inductive type. | Xavier Leroy | 2015-06-07 | 2 | -2/+2 | |
| * | | | | | | | | Error if, in the same scope, a typedef is redefined as a variable, or a varia... | Xavier Leroy | 2015-06-06 | 1 | -2/+8 | |
| * | | | | | | | | Update Changelog for release 2.5. | Xavier Leroy | 2015-06-05 | 1 | -4/+79 | |
| * | | | | | | | | Allow the option -o to be also the prefix of the file name for compability wi... | Bernhard Schommer | 2015-05-31 | 1 | -0/+2 | |
| | |_|_|_|_|_|/ |/| | | | | | | ||||||
| * | | | | | | | In AST.calling_conventions, record whether the original C function was "old-s... | Xavier Leroy | 2015-05-22 | 4 | -23/+28 | |
| * | | | | | | | Missing case in type_conditional (long long vs. int or float). | Xavier Leroy | 2015-05-22 | 1 | -6/+3 | |
| | |_|_|_|_|/ |/| | | | | | ||||||
| * | | | | | | Ctyping: better typing of conditional expressions. | Xavier Leroy | 2015-05-21 | 4 | -52/+202 | |
| * | | | | | | Changed the producer tag to include more information. | Bernhard Schommer | 2015-05-18 | 1 | -1/+2 | |
| | |_|_|_|/ |/| | | | | ||||||
| * | | | | | Make a register as storage specify to a fatal error. | Bernhard Schommer | 2015-05-14 | 1 | -1/+1 | |
| * | | | | | Merged PrintAnnot into PrintAsmaux. | Bernhard Schommer | 2015-05-14 | 7 | -200/+178 | |
| * | | | | | Changed the enter_or_refine_ident function to produce an error if a non-stat... | Bernhard Schommer | 2015-05-13 | 1 | -6/+14 | |
| * | | | | | Updated PrintOp for the single-precision FP operations. | Xavier Leroy | 2015-05-09 | 3 | -0/+41 | |
| * | | | | | Extended inline asm: revised treatment of clobbered registers. | Xavier Leroy | 2015-05-09 | 17 | -110/+147 | |
| | |_|_|/ |/| | | | ||||||
| * | | | | Use globl also for global variables. | Bernhard Schommer | 2015-05-07 | 1 | -1/+1 | |
| * | | | | Typo: Val.sun_inject -> Val.sub_inject. | Xavier Leroy | 2015-05-06 | 2 | -5/+5 | |
| | |_|/ |/| | | ||||||
| * | | | Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va... | Xavier Leroy | 2015-04-30 | 18 | -371/+373 | |
| * | | | Detect uses of anonymous structs/unions (a C2011 feature and GCC extension) a... | Xavier Leroy | 2015-04-30 | 1 | -0/+14 | |
| * | | | Detect and reject "&" operator applied to "register" local variable or to a b... | Xavier Leroy | 2015-04-28 | 3 | -0/+34 | |
| * | | | Bitfield improvements continued: perform bitfield expansion before unblocking... | Xavier Leroy | 2015-04-28 | 3 | -181/+211 | |
| * | | | Extended inline asm: handle missing cases. | Xavier Leroy | 2015-04-28 | 8 | -19/+105 | |
| |/ / | ||||||
| * / | Warn if a nonzero FP literal converts to infinity (overflow) or to 0 (underfl... | Xavier Leroy | 2015-04-25 | 1 | -3/+17 | |
| |/ | ||||||
| * | Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ... | Xavier Leroy | 2015-04-23 | 7 | -2/+12 | |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |