Custom Query (58 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Status: assigned (16 matches)

Ticket Summary Owner Type Priority Component Version
#12 concept-based testing + catsfoot intergration Anya Helene Bagge enhancement high testsystem
#27 decide details about transformation operations for metamagnolia Anya Helene Bagge task high magnolia-eclipse
#127 [Discuss] Handling of overloaded functions in command mode. Anya Helene Bagge defect high magnolia-eclipse
#7 design MetaMagnolia Anya Helene Bagge task medium magnolia-eclipse
#8 implement rewrite engine Anya Helene Bagge enhancement medium transformer 0.2
#38 use PGF for C++ pretty-printing Anya Helene Bagge enhancement medium magnolia-eclipse
#49 mutifier: generated temporary names aren't guaranteed unique Anya Helene Bagge defect medium magnolia-eclipse
#55 implement propagation of guards Anya Helene Bagge enhancement medium magnolia-eclipse
#56 implement optimisation of guards Anya Helene Bagge enhancement medium magnolia-eclipse
#57 implement data invariant checking Anya Helene Bagge enhancement medium magnolia-eclipse
#60 discuss exporting issue Anya Helene Bagge task medium magnolia-eclipse
#70 Renaming should refactor the relevant code. Anya Helene Bagge enhancement medium magnolia-eclipse
#87 generate T by .. missing Anya Helene Bagge defect medium magnolia-eclipse
#48 add a few simple data-flow optimisations Anya Helene Bagge enhancement low magnolia-eclipse
#50 mutification isn't applied to struct initialisers Anya Helene Bagge defect low magnolia-eclipse
#99 Better error messages for parse errors Anya Helene Bagge enhancement low magnolia-eclipse

Status: new (42 matches)

Ticket Summary Owner Type Priority Component Version
#219 Clauses free, generate, retain, etc not recognised Anya Helene Bagge defect critical magnolia-eclipse
#46 inlining doesn't work tero defect high magnolia-eclipse
#132 dataInvariant and quotient constructions magne enhancement high magnolia-eclipse
#196 Error in code generation when extending int32 Anya Helene Bagge defect high magnolia-eclipse
#224 Compiler does not accept protect clause on procedures. Anya Helene Bagge defect high magnolia-eclipse
#225 Guards are not checked in axioms Anya Helene Bagge defect high magnolia-eclipse
#228 Irrelevant error message in body of return block. Anya Helene Bagge defect high magnolia-eclipse
#233 Code generation: Bottom up evaluation of expressions is wrong Anya Helene Bagge defect high magnolia-eclipse
#241 Nested function blocks cause compiler problems. Anya Helene Bagge defect high magnolia-eclipse
#244 name clashes in union Anya Helene Bagge enhancement high magnolia-eclipse
#248 Sorting of function names for the UI is not consistent Anya Helene Bagge defect high magnolia-eclipse
#249 MergeApi/mergeBody doesn't work for axioms Anya Helene Bagge defect high magnolia-eclipse
#72 check variable/parameter modse Anya Helene Bagge enhancement medium magnolia-eclipse
#74 morphism does not seem to work Anya Helene Bagge defect medium magnolia-eclipse
#81 "free" specification construction is not recognised Anya Helene Bagge enhancement medium magnolia-eclipse
#82 by clause in assert statement Anya Helene Bagge enhancement medium magnolia-eclipse
#106 Parse errors give strange behaviour Anya Helene Bagge defect medium magnolia-eclipse
#109 handle redefinition of local variables Anya Helene Bagge enhancement medium magnolia-eclipse
#128 [Discuss] Need to treat predicate more as a normal data type in implementations magne enhancement medium magnolia-eclipse
#151 data invariant and quotient axioms magne design note medium magnolia-eclipse
#166 Rename abstraction magne design note medium magnolia-eclipse
#169 Implement floating-point literals Anya Helene Bagge enhancement medium magnolia-eclipse
#215 Protect: clean up unused declarations Anya Helene Bagge enhancement medium magnolia-eclipse
#216 No compiler warning in implementation for use/require error Anya Helene Bagge enhancement medium magnolia-eclipse
#217 Compiler does not warn against undefined entities declared in an implementation. Anya Helene Bagge defect medium magnolia-eclipse
#222 Misleading warning messages Anya Helene Bagge defect medium magnolia-eclipse
#223 Folding of comments is missing Anya Helene Bagge enhancement medium magnolia-eclipse
#227 Spurios errors on using code Anya Helene Bagge defect medium magnolia-eclipse
#229 Checking the set of axioms in satisfaction statements Anya Helene Bagge enhancement medium magnolia-eclipse
#234 Top level guards are not checked Anya Helene Bagge defect medium magnolia-eclipse
#235 Merging of overloaded axioms Anya Helene Bagge defect medium magnolia-eclipse
#236 Recursion detection is needed Anya Helene Bagge defect medium magnolia-eclipse
#238 Detecting recursion in package imports? Anya Helene Bagge defect medium magnolia-eclipse
#242 Hover help on procedures Anya Helene Bagge defect medium magnolia-eclipse
#245 Checking axioms from code Anya Helene Bagge enhancement medium magnolia-eclipse
#251 Skeleton code format is annoying Anya Helene Bagge enhancement medium magnolia-eclipse
#117 import hover support Anya Helene Bagge enhancement low magnolia-eclipse
#152 Unary division symbol Anya Helene Bagge enhancement low magnolia-eclipse
#171 reduce amount of code generated for literals Anya Helene Bagge enhancement low magnolia-eclipse
#220 Name space for operations and axioms Anya Helene Bagge design note low magnolia-eclipse
#250 "Build Package" button does not rebuild code that is commented/uncommented Anya Helene Bagge defect low magnolia-eclipse
#254 Eclipse buttons/menus also show up on non-Magnolia files Anya Helene Bagge defect low magnolia-eclipse
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.