| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend... | Cyril SIX | 2021-06-01 | 1 | -5/+10 |
| * | Typo in comment | Xavier Leroy | 2018-09-03 | 1 | -1/+1 |
| * | Control-flow analysis: bug in switch without default | Xavier Leroy | 2017-02-17 | 1 | -1/+30 |
| * | Added _exit. | Bernhard Schommer | 2017-02-17 | 1 | -1/+1 |
| * | Add longjmp. Bug 21009 | Bernhard Schommer | 2017-02-17 | 1 | -1/+1 |
| * | Added handling for noreturn std functions. | Bernhard Schommer | 2017-02-16 | 1 | -3/+8 |
| * | Reverted changes in Cutil and catch in Cflow. | Bernhard Schommer | 2017-02-16 | 1 | -0/+1 |
| * | Cflow: analysis of "switch" was too imprecise | Xavier Leroy | 2017-02-07 | 1 | -2/+3 |
| * | Revised, more precise implementation of control-flow analysis | Xavier Leroy | 2017-02-07 | 1 | -48/+98 |
| * | Control-flow analysis: wrong flow for "case"/"default" statements | Xavier Leroy | 2017-02-07 | 1 | -4/+6 |
| * | More precise warnings about function returns | Xavier Leroy | 2017-02-07 | 1 | -0/+195 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |