Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Group Feature request Maximize Restore

Open
N/A
16 / 19

Feature request

Showing 19 results of 19

# Summary Milestone Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner Created Updated Priority
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  
120 cilly should use $FindBin::RealBin Feature request closed-fixed Gabriel Kerneis 2010-08-31 2013-05-30 4  
119 Attach boolean result in DOT file Feature request closed-accepted 2010-07-21 2011-03-01 5  
91 Missing simplify.mli Feature request closed-fixed 2008-02-26 2009-04-17 5  
79 Constant Names Feature request closed-wont-fix 2007-10-31 2007-11-01 5  
74 Support Sun C compiler Feature request closed-wont-fix 2007-09-27 2007-09-30 5  
65 Remove declarations of split structs after --dosimplify Feature request closed-wont-fix 2007-04-20 2007-05-15 5  
63 extern inline support is outdated. Feature request closed-fixed 2007-03-27 2009-04-24 5  
61 Support ICC compiler Feature request closed-wont-fix 2007-02-21 2011-09-22 5  
55 duplicated code in If statements Feature request closed-wont-fix 2007-01-22 2007-01-24 5  
51 Dollar signs in identifiers Feature request closed-accepted 2006-11-30 2006-11-30 5  
41 [patch] enable CIL to compile on FreeBSD/amd64 Feature request closed-accepted 2006-08-04 2006-08-06 5  
37 C99 Type _Bool Feature request closed-fixed 2006-05-30 2009-04-24 5  
27 CIL should ignore #pragmas it doesn't understand Feature request closed-wont-fix 2006-03-03 2006-04-06 5  
20 translating Array of zero length Feature request closed 2005-12-28 2006-01-03 5  
16 GCC nested functions support Feature request closed-later 2005-11-29 2005-11-30 5  
6 disappearing externs Feature request closed-wont-fix 2005-08-26 2005-11-21 5  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)