{6} All Tickets By Milestone (Including closed) (269 matches)
A more complex example to show how to make advanced reports.
Results (1 - 100 of 269)
v0.6 (15 matches)
Ticket | Summary | Component | Status | Resolution | Version | Type | Priority | Owner | Modified | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
#264 | Show C++ Skeleton code for external library does not work | magnolia-eclipse | new | defect | critical | Anya Helene Bagge | 8 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#268 | out of order: C++ skeleton code for external library | magnolia-eclipse | new | defect | critical | Anya Helene Bagge | 7 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#200 | Eclipse project references | magnolia-eclipse | new | enhancement | high | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#256 | clarify semantics of dot-op in update position | magnolia-eclipse | new | design note | high | magne | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#263 | Add documentation for packages | docs | new | enhancement | high | Anya Helene Bagge | 7 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#255 | Parser is too slow for large files | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#257 | show progess bar while waiting for hover help | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#261 | [meta] Using file paths on Trac | magnolia-eclipse | new | defect | medium | Anya Helene Bagge | 8 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#262 | Suggestion: using INF220 notes as language reference | docs | new | enhancement | medium | magne | 8 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#265 | Document what “PDB” means | docs | new | enhancement | medium | Anya Helene Bagge | 8 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#260 | Translate Norwegian comments to English | magnolia-eclipse | new | defect | low | Anya Helene Bagge | 8 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#266 | Determine fate of Clojure code | magnolia-eclipse | new | task | low | Anya Helene Bagge | 8 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#267 | Find home for orphan source files | magnolia-eclipse | new | enhancement | low | Anya Helene Bagge | 8 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#258 | obs variable used in ups position is not reported | magnolia-eclipse | closed | fixed | defect | high | Anya Helene Bagge | 8 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#259 | direct definition of a procedure body | magnolia-eclipse | closed | fixed | enhancement | high | Anya Helene Bagge | 9 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
v0.5 (11 matches) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#94 | Spurious "ambiguous" names | magnolia-eclipse | assigned | defect | high | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#96 | error messages are not placed correctly | magnolia-eclipse | assigned | defect | medium | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#170 | Implement string literals | magnolia-eclipse | assigned | enhancement | medium | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#180 | build seems to hang on cyclic package dependencies | magnolia-eclipse | assigned | defect | medium | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#181 | Struct defs in C++ code depends on order | magnolia-eclipse | assigned | defect | medium | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#10 | parse structured comments / javadoc-like comments | frontend | assigned | enhancement | low | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#45 | make a separate fact database for editor contents | magnolia-eclipse | assigned | enhancement | low | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#155 | resources don't get tracked properly when folders are renamed in Eclipse | magnolia-eclipse | assigned | enhancement | low | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#183 | "Checking dependencies" sometimes hangs on startup | magnolia-eclipse | closed | fixed | defect | critical | Anya Helene Bagge | 8 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#253 | "Build Module" functionality | magnolia-eclipse | closed | fixed | enhancement | medium | Anya Helene Bagge | 8 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#175 | How to install Magnolia | magnolia-eclipse | closed | fixed | enhancement | medium | Anya Helene Bagge | 11 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
v0.3 (11 matches) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#43 | facts aren't flushed when files move | magnolia-eclipse | closed | fixed | defect | high | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#44 | facts aren't flushed when files are changed and saved | magnolia-eclipse | closed | fixed | defect | high | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#113 | editing a comment invalidates hover help | magnolia-eclipse | closed | fixed | enhancement | medium | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#145 | rework resource manager | magnolia-eclipse | closed | fixed | enhancement | high | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#131 | Avoid removing all directories on clean | magnolia-eclipse | closed | fixed | enhancement | medium | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#120 | Error in generated code for Fundamentals::TuplesImplementation::singletonTuple | magnolia-eclipse | closed | wontfix | defect | high | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#125 | [Trivial] Signature keyword must remove axiom declarations | magnolia-eclipse | closed | fixed | defect | critical | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#129 | TRUE and FALSE don't get compiled to true and false | magnolia-eclipse | closed | fixed | defect | medium | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#124 | Does not compile: integrating two libraries with the same type name | magnolia-eclipse | closed | fixed | defect | critical | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#122 | Boolean library does not compile | magnolia-eclipse | closed | fixed | defect | critical | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#116 | manifolds.Manifold: error in hover help | magnolia-eclipse | closed | fixed | defect | high | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
m99.99 (12 matches) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#34 | MagnoliaPlugin is tightly coupled | magnolia-eclipse | assigned | defect | medium | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#9 | implement user-defined rules | transformer | assigned | enhancement | low | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#13 | adapt alerts to magnolia | magnolia-eclipse | assigned | enhancement | low | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#15 | implement alert compilation | compiler | assigned | enhancement | low | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#85 | TODO (blue) highlighting is missing | magnolia-eclipse | new | enhancement | low | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#269 | Reserve syntactic space for pragma directives | language | new | design note | low | Anya Helene Bagge | 7 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#16 | alert optimisations | compiler | assigned | enhancement | wishlist | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#23 | make diff tool for C++ library skeletons | backend | assigned | enhancement | wishlist | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#24 | synchronize C++ library code with Magnolia interface code | magnolia-eclipse | assigned | enhancement | wishlist | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#83 | attribute language needs exploration | magnolia-eclipse | new | enhancement | wishlist | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#90 | Parenthesis completion | magnolia-eclipse | new | enhancement | wishlist | Anya Helene Bagge | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#91 | Use colour encoding when showing code in collapsed view | magnolia-eclipse | new | enhancement | wishlist | magne | 9 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
m13.12 (4 matches) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#239 | Functionalisation and renaming interaction problems | magnolia-eclipse | new | enhancement | high | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#206 | Error markers don't disappear when modules are commented out / removed | magnolia-eclipse | assigned | defect | medium | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#237 | Hover help on a module name | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#232 | Wrong code generated for axioms (assert expression, guards) | magnolia-eclipse | closed | fixed | defect | high | Anya Helene Bagge | 10 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
m13.11 (47 matches) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#219 | Clauses free, generate, retain, etc not recognised | magnolia-eclipse | new | defect | critical | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#12 | concept-based testing + catsfoot intergration | testsystem | assigned | enhancement | high | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#27 | decide details about transformation operations for metamagnolia | magnolia-eclipse | assigned | task | high | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#46 | inlining doesn't work | magnolia-eclipse | new | defect | high | tero | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#127 | [Discuss] Handling of overloaded functions in command mode. | magnolia-eclipse | assigned | defect | high | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#132 | dataInvariant and quotient constructions | magnolia-eclipse | new | enhancement | high | magne | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#196 | Error in code generation when extending int32 | magnolia-eclipse | new | defect | high | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#224 | Compiler does not accept protect clause on procedures. | magnolia-eclipse | new | defect | high | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#225 | Guards are not checked in axioms | magnolia-eclipse | new | defect | high | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#228 | Irrelevant error message in body of return block. | magnolia-eclipse | new | defect | high | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#233 | Code generation: Bottom up evaluation of expressions is wrong | magnolia-eclipse | new | defect | high | Anya Helene Bagge | 8 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#241 | Nested function blocks cause compiler problems. | magnolia-eclipse | new | defect | high | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#244 | name clashes in union | magnolia-eclipse | new | enhancement | high | Anya Helene Bagge | 8 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#248 | Sorting of function names for the UI is not consistent | magnolia-eclipse | new | defect | high | Anya Helene Bagge | 7 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#249 | MergeApi/mergeBody doesn't work for axioms | magnolia-eclipse | new | defect | high | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#7 | design MetaMagnolia | magnolia-eclipse | assigned | task | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#8 | implement rewrite engine | transformer | assigned | 0.2 | enhancement | medium | Anya Helene Bagge | 12 years ago | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#38 | use PGF for C++ pretty-printing | magnolia-eclipse | assigned | enhancement | medium | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#49 | mutifier: generated temporary names aren't guaranteed unique | magnolia-eclipse | assigned | defect | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#55 | implement propagation of guards | magnolia-eclipse | assigned | enhancement | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#56 | implement optimisation of guards | magnolia-eclipse | assigned | enhancement | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#57 | implement data invariant checking | magnolia-eclipse | assigned | enhancement | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#60 | discuss exporting issue | magnolia-eclipse | assigned | task | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#70 | Renaming should refactor the relevant code. | magnolia-eclipse | assigned | enhancement | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#72 | check variable/parameter modse | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#74 | morphism does not seem to work | magnolia-eclipse | new | defect | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#81 | "free" specification construction is not recognised | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#82 | by clause in assert statement | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#87 | generate T by .. missing | magnolia-eclipse | assigned | defect | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#106 | Parse errors give strange behaviour | magnolia-eclipse | new | defect | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#109 | handle redefinition of local variables | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#128 | [Discuss] Need to treat predicate more as a normal data type in implementations | magnolia-eclipse | new | enhancement | medium | magne | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#151 | data invariant and quotient axioms | magnolia-eclipse | new | design note | medium | magne | 12 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#166 | Rename abstraction | magnolia-eclipse | new | design note | medium | magne | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#169 | Implement floating-point literals | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#215 | Protect: clean up unused declarations | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#216 | No compiler warning in implementation for use/require error | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#217 | Compiler does not warn against undefined entities declared in an implementation. | magnolia-eclipse | new | defect | medium | Anya Helene Bagge | 11 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#222 | Misleading warning messages | magnolia-eclipse | new | defect | medium | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#223 | Folding of comments is missing | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#227 | Spurios errors on using code | magnolia-eclipse | new | defect | medium | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#229 | Checking the set of axioms in satisfaction statements | magnolia-eclipse | new | enhancement | medium | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#234 | Top level guards are not checked | magnolia-eclipse | new | defect | medium | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#235 | Merging of overloaded axioms | magnolia-eclipse | new | defect | medium | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#236 | Recursion detection is needed | magnolia-eclipse | new | defect | medium | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#238 | Detecting recursion in package imports? | magnolia-eclipse | new | defect | medium | Anya Helene Bagge | 10 years ago | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#242 | Hover help on procedures | magnolia-eclipse | new | defect | medium | Anya Helene Bagge | 10 years ago |
Note:
See TracReports
for help on using and creating reports.