Menu
▾
▴
Bugs Maximize Restore
| # | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | Priority▾ | |
|---|---|---|---|---|---|---|---|---|
| 155 | sy | Bug | open | 2016-03-17 | 2016-03-17 | 5 | ||
| 154 | save-temps next to the source file | Feature request | open | 2015-11-01 | 2015-11-01 | 5 | ||
| 153 | Handle #define ABC_H "abc.h" / #include ABC_H | Feature request | open | 2015-07-21 | 2015-07-22 | 9 | ||
| 152 | No EXTRAFEATURES in git? | Bug | open | 2015-06-14 | 2015-06-14 | 5 | ||
| 151 | EXTRAFEATURES compile error | Bug | open | 2015-01-13 | 2015-01-13 | 5 | ||
| 150 | Using of unsafe function (Obj.magic) in module ocamlutil/pretty.ml | Bug | open | 2014-12-03 | 2014-12-03 | 5 | ||
| 149 | missing prototypes for GCC __atomic_* builtins | Bug | open | 2014-11-10 | 2014-11-10 | 5 | ||
| 148 | Wrong parameter name substitution | Bug | open | 2014-08-18 | 2014-08-18 | 5 | ||
| 147 | Ptranal treatment of malloc, etc. | Feature request | open | 2014-07-17 | 2015-02-01 | 5 | ||
| 146 | Olf vs. Golf in Ptranal | Feature request | pending | Gabriel Kerneis | 2014-06-25 | 2014-07-04 | 5 | |
| 145 | Initialization of Pointer Analysis Module | Feature request | pending | Gabriel Kerneis | 2014-06-25 | 2014-06-26 | 5 | |
| 143 | CopyFunction changes SIDs. | Bug | pending | Gabriel Kerneis | 2014-01-14 | 2014-06-26 | 5 | |
| 142 | Problem with AddrOfLabel and CopyFunction | Bug | pending | Gabriel Kerneis | 2014-01-14 | 2014-08-20 | 9 | |
| 141 | Bug in pointer analysis or documentation | Bug | open | 2013-09-19 | 2015-01-12 | 5 | ||
| 102 | Bug in partial evaluation/constant folding | Bug | open-accepted | 2008-11-13 | 2011-09-22 | 4 | ||
| 59 | Fix the use of /* */ comments when printing attributes | Bug | open | 2007-02-02 | 2007-02-02 | 4 |
