Group Bug  Maximize  Restore

Open
N/A
90 / 101

Bug

Showing results of 101

# Summary Milestone Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner Created Updated Priority
155 sy Bug open 2016-03-17 2016-03-17 5  
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  
144 C11 static union implicit initialization Bug closed-wont-fix Gabriel Kerneis 2014-03-10 2014-03-10 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  
140 C99 VLA in structures and initialisers Bug closed-fixed Gabriel Kerneis 2013-09-07 2013-09-09 5  
139 Makefile issues Bug closed-fixed 2013-08-21 2013-08-22 5  
138 Linking against the CIL package fails. Bug closed-fixed 2013-06-27 2013-06-28 3  
137 dropping type declaration attributes Bug closed-fixed 2013-06-06 2015-03-02 5  
135 Legal, but large, static arrays can fail. Bug closed 2013-02-15 2013-03-21 5  
133 Disparity between CIL and GCC in struct/union merging Bug closed-wont-fix 2012-07-16 2014-05-27 5  
132 Pointer difference operations have the wrong type. Bug closed-fixed 2012-06-27 2012-07-04 5  
130 Handling of array initialization is incorrect Bug closed-fixed 2012-06-07 2012-06-12 5  
129 Global scope problem Bug closed-fixed Gabriel Kerneis 2012-06-05 2012-06-06 5  
128 Error with int and __attribute__((mode(TI))) Bug closed-wont-fix 2012-04-13 2015-07-20 5  
127 cilly does not parse link output file name correctly Bug closed-fixed 2012-03-08 2012-05-29 5  
126 Switch-case simplification issue adds wrong cast Bug closed-fixed 2012-01-29 2012-05-29 5  
125 again Cilly Kernel 2.6.31.6 - cab2cil hangs on vdso32-setup Bug closed-fixed Gabriel Kerneis 2012-01-27 2012-06-05 5  
124 omitted casts in assignment Bug closed-fixed Gabriel Kerneis 2011-12-21 2012-06-06 5  
122 CIL produces wrong hexadcimal constants Bug closed-fixed 2010-12-09 2011-02-15 5  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)
1 2 3 .. 5 > >> (Page 1 of 5)

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks