| #219 |
Clauses free, generate, retain, etc not recognised
|
new
|
Anya Helene Bagge
|
defect
|
critical
|
m13.11
|
| #264 |
Show C++ Skeleton code for external library does not work
|
new
|
Anya Helene Bagge
|
defect
|
critical
|
v0.6
|
| #268 |
out of order: C++ skeleton code for external library
|
new
|
Anya Helene Bagge
|
defect
|
critical
|
v0.6
|
| #12 |
concept-based testing + catsfoot intergration
|
assigned
|
Anya Helene Bagge
|
enhancement
|
high
|
m13.11
|
| #27 |
decide details about transformation operations for metamagnolia
|
assigned
|
Anya Helene Bagge
|
task
|
high
|
m13.11
|
| #46 |
inlining doesn't work
|
new
|
tero
|
defect
|
high
|
m13.11
|
| #94 |
Spurious "ambiguous" names
|
assigned
|
Anya Helene Bagge
|
defect
|
high
|
v0.5
|
| #127 |
[Discuss] Handling of overloaded functions in command mode.
|
assigned
|
Anya Helene Bagge
|
defect
|
high
|
m13.11
|
| #132 |
dataInvariant and quotient constructions
|
new
|
magne
|
enhancement
|
high
|
m13.11
|
| #196 |
Error in code generation when extending int32
|
new
|
Anya Helene Bagge
|
defect
|
high
|
m13.11
|
| #200 |
Eclipse project references
|
new
|
Anya Helene Bagge
|
enhancement
|
high
|
v0.6
|
| #224 |
Compiler does not accept protect clause on procedures.
|
new
|
Anya Helene Bagge
|
defect
|
high
|
m13.11
|
| #225 |
Guards are not checked in axioms
|
new
|
Anya Helene Bagge
|
defect
|
high
|
m13.11
|
| #228 |
Irrelevant error message in body of return block.
|
new
|
Anya Helene Bagge
|
defect
|
high
|
m13.11
|
| #233 |
Code generation: Bottom up evaluation of expressions is wrong
|
new
|
Anya Helene Bagge
|
defect
|
high
|
m13.11
|
| #239 |
Functionalisation and renaming interaction problems
|
new
|
Anya Helene Bagge
|
enhancement
|
high
|
m13.12
|
| #241 |
Nested function blocks cause compiler problems.
|
new
|
Anya Helene Bagge
|
defect
|
high
|
m13.11
|
| #244 |
name clashes in union
|
new
|
Anya Helene Bagge
|
enhancement
|
high
|
m13.11
|
| #248 |
Sorting of function names for the UI is not consistent
|
new
|
Anya Helene Bagge
|
defect
|
high
|
m13.11
|
| #249 |
MergeApi/mergeBody doesn't work for axioms
|
new
|
Anya Helene Bagge
|
defect
|
high
|
m13.11
|
| #256 |
clarify semantics of dot-op in update position
|
new
|
magne
|
design note
|
high
|
v0.6
|
| #263 |
Add documentation for packages
|
new
|
Anya Helene Bagge
|
enhancement
|
high
|
v0.6
|
| #7 |
design MetaMagnolia
|
assigned
|
Anya Helene Bagge
|
task
|
medium
|
m13.11
|
| #8 |
implement rewrite engine
|
assigned
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #34 |
MagnoliaPlugin is tightly coupled
|
assigned
|
Anya Helene Bagge
|
defect
|
medium
|
m99.99
|
| #38 |
use PGF for C++ pretty-printing
|
assigned
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #49 |
mutifier: generated temporary names aren't guaranteed unique
|
assigned
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #55 |
implement propagation of guards
|
assigned
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #56 |
implement optimisation of guards
|
assigned
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #57 |
implement data invariant checking
|
assigned
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #60 |
discuss exporting issue
|
assigned
|
Anya Helene Bagge
|
task
|
medium
|
m13.11
|
| #70 |
Renaming should refactor the relevant code.
|
assigned
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #72 |
check variable/parameter modse
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #74 |
morphism does not seem to work
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #81 |
"free" specification construction is not recognised
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #82 |
by clause in assert statement
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #84 |
exists specification predicate is missing
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
|
| #87 |
generate T by .. missing
|
assigned
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #96 |
error messages are not placed correctly
|
assigned
|
Anya Helene Bagge
|
defect
|
medium
|
v0.5
|
| #106 |
Parse errors give strange behaviour
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #109 |
handle redefinition of local variables
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #128 |
[Discuss] Need to treat predicate more as a normal data type in implementations
|
new
|
magne
|
enhancement
|
medium
|
m13.11
|
| #151 |
data invariant and quotient axioms
|
new
|
magne
|
design note
|
medium
|
m13.11
|
| #166 |
Rename abstraction
|
new
|
magne
|
design note
|
medium
|
m13.11
|
| #169 |
Implement floating-point literals
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #170 |
Implement string literals
|
assigned
|
Anya Helene Bagge
|
enhancement
|
medium
|
v0.5
|
| #179 |
Overload conflicts are not reported.
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
|
| #180 |
build seems to hang on cyclic package dependencies
|
assigned
|
Anya Helene Bagge
|
defect
|
medium
|
v0.5
|
| #181 |
Struct defs in C++ code depends on order
|
assigned
|
Anya Helene Bagge
|
defect
|
medium
|
v0.5
|
| #187 |
Unclear definition of signature function.
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.10
|
| #191 |
data generator / test support library
|
new
|
magne
|
enhancement
|
medium
|
m13.10
|
| #192 |
preserve statement not recognised in satisfaction module
|
assigned
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.10
|
| #206 |
Error markers don't disappear when modules are commented out / removed
|
assigned
|
Anya Helene Bagge
|
defect
|
medium
|
m13.12
|
| #212 |
Placement of errors for retain clause
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
m13.10
|
| #213 |
Protect: check if guards are relaxed
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.10
|
| #214 |
Renaming: add safety checks
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.10
|
| #215 |
Protect: clean up unused declarations
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #216 |
No compiler warning in implementation for use/require error
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #217 |
Compiler does not warn against undefined entities declared in an implementation.
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #222 |
Misleading warning messages
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #223 |
Folding of comments is missing
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #227 |
Spurios errors on using code
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #229 |
Checking the set of axioms in satisfaction statements
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #234 |
Top level guards are not checked
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #235 |
Merging of overloaded axioms
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #236 |
Recursion detection is needed
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #237 |
Hover help on a module name
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.12
|
| #238 |
Detecting recursion in package imports?
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #242 |
Hover help on procedures
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
m13.11
|
| #245 |
Checking axioms from code
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #251 |
Skeleton code format is annoying
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
m13.11
|
| #255 |
Parser is too slow for large files
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
v0.6
|
| #257 |
show progess bar while waiting for hover help
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
v0.6
|
| #261 |
[meta] Using file paths on Trac
|
new
|
Anya Helene Bagge
|
defect
|
medium
|
v0.6
|
| #262 |
Suggestion: using INF220 notes as language reference
|
new
|
magne
|
enhancement
|
medium
|
v0.6
|
| #265 |
Document what “PDB” means
|
new
|
Anya Helene Bagge
|
enhancement
|
medium
|
v0.6
|
| #9 |
implement user-defined rules
|
assigned
|
Anya Helene Bagge
|
enhancement
|
low
|
m99.99
|
| #10 |
parse structured comments / javadoc-like comments
|
assigned
|
Anya Helene Bagge
|
enhancement
|
low
|
v0.5
|
| #13 |
adapt alerts to magnolia
|
assigned
|
Anya Helene Bagge
|
enhancement
|
low
|
m99.99
|
| #15 |
implement alert compilation
|
assigned
|
Anya Helene Bagge
|
enhancement
|
low
|
m99.99
|
| #45 |
make a separate fact database for editor contents
|
assigned
|
Anya Helene Bagge
|
enhancement
|
low
|
v0.5
|
| #48 |
add a few simple data-flow optimisations
|
assigned
|
Anya Helene Bagge
|
enhancement
|
low
|
m13.11
|
| #50 |
mutification isn't applied to struct initialisers
|
assigned
|
Anya Helene Bagge
|
defect
|
low
|
m13.11
|
| #85 |
TODO (blue) highlighting is missing
|
new
|
Anya Helene Bagge
|
enhancement
|
low
|
m99.99
|
| #99 |
Better error messages for parse errors
|
assigned
|
Anya Helene Bagge
|
enhancement
|
low
|
m13.11
|
| #117 |
import hover support
|
new
|
Anya Helene Bagge
|
enhancement
|
low
|
m13.11
|
| #152 |
Unary division symbol
|
new
|
Anya Helene Bagge
|
enhancement
|
low
|
m13.11
|
| #155 |
resources don't get tracked properly when folders are renamed in Eclipse
|
assigned
|
Anya Helene Bagge
|
enhancement
|
low
|
v0.5
|
| #171 |
reduce amount of code generated for literals
|
new
|
Anya Helene Bagge
|
enhancement
|
low
|
m13.11
|
| #177 |
Warning message from unused renamings
|
assigned
|
Anya Helene Bagge
|
enhancement
|
low
|
|
| #189 |
source menu: add/remove comments
|
new
|
Anya Helene Bagge
|
enhancement
|
low
|
m13.10
|
| #190 |
same module name in different packages
|
new
|
Anya Helene Bagge
|
enhancement
|
low
|
m13.09
|
| #199 |
Refactoring rule: rename
|
new
|
Anya Helene Bagge
|
enhancement
|
low
|
m13.10
|
| #205 |
Several problems with command line options
|
new
|
Anya Helene Bagge
|
defect
|
low
|
m13.10
|
| #220 |
Name space for operations and axioms
|
new
|
Anya Helene Bagge
|
design note
|
low
|
m13.11
|
| #250 |
"Build Package" button does not rebuild code that is commented/uncommented
|
new
|
Anya Helene Bagge
|
defect
|
low
|
m13.11
|
| #254 |
Eclipse buttons/menus also show up on non-Magnolia files
|
new
|
Anya Helene Bagge
|
defect
|
low
|
m13.11
|
| #260 |
Translate Norwegian comments to English
|
new
|
Anya Helene Bagge
|
defect
|
low
|
v0.6
|
| #266 |
Determine fate of Clojure code
|
new
|
Anya Helene Bagge
|
task
|
low
|
v0.6
|
| #267 |
Find home for orphan source files
|
new
|
Anya Helene Bagge
|
enhancement
|
low
|
v0.6
|
