Custom Query (13 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Resolution: fixed (13 matches)

Ticket Summary Owner Type Priority Component Version
#221 Problems with generated guards Anya Helene Bagge defect critical magnolia-eclipse
#226 C++ code for structs sometimes appear in the wrong order Anya Helene Bagge defect critical magnolia-eclipse
#230 Guarded procedures handled incorrectly in axioms Anya Helene Bagge defect critical magnolia-eclipse
#243 derivationOperatorCxx Anya Helene Bagge defect critical magnolia-eclipse
#252 External C++ types dependent on functions Anya Helene Bagge defect critical magnolia-eclipse
#240 Blame for doubly defined functions is put in the wrong place. Anya Helene Bagge defect high magnolia-eclipse
#247 Large expression (fibonacci) does not compile Anya Helene Bagge defect high magnolia-eclipse
#103 approximates in addition to models Anya Helene Bagge enhancement medium magnolia-eclipse
#158 Operators _|_ and _&_ Anya Helene Bagge defect medium magnolia-eclipse
#231 Internal compiler error in CxxBackend Anya Helene Bagge defect medium magnolia-eclipse
#246 Code for implication Anya Helene Bagge defect medium magnolia-eclipse
#144 make builder options user-configurable Anya Helene Bagge enhancement low magnolia-eclipse
#68 matching operator symbols and ascii name counterparts magne enhancement wishlist magnolia-eclipse
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.