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