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

Close

Bugs Maximize Restore

Showing 12 results of 12

# Summary Milestone Status Owner Created Updated Priority
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  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)