|
#219
|
Clauses free, generate, retain, etc not recognised
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
11 years ago
|
|
#46
|
inlining doesn't work
|
magnolia-eclipse
|
|
defect
|
tero
|
new
|
12 years ago
|
|
#127
|
[Discuss] Handling of overloaded functions in command mode.
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#196
|
Error in code generation when extending int32
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
11 years ago
|
|
#224
|
Compiler does not accept protect clause on procedures.
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#225
|
Guards are not checked in axioms
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#228
|
Irrelevant error message in body of return block.
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#233
|
Code generation: Bottom up evaluation of expressions is wrong
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#241
|
Nested function blocks cause compiler problems.
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#248
|
Sorting of function names for the UI is not consistent
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#249
|
MergeApi/mergeBody doesn't work for axioms
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#12
|
concept-based testing + catsfoot intergration
|
testsystem
|
|
enhancement
|
Anya Helene Bagge
|
assigned
|
16 years ago
|
|
#132
|
dataInvariant and quotient constructions
|
magnolia-eclipse
|
|
enhancement
|
magne
|
new
|
12 years ago
|
|
#244
|
name clashes in union
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#27
|
decide details about transformation operations for metamagnolia
|
magnolia-eclipse
|
|
task
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#49
|
mutifier: generated temporary names aren't guaranteed unique
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#74
|
morphism does not seem to work
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
12 years ago
|
|
#87
|
generate T by .. missing
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#106
|
Parse errors give strange behaviour
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
12 years ago
|
|
#217
|
Compiler does not warn against undefined entities declared in an implementation.
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
11 years ago
|
|
#222
|
Misleading warning messages
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#227
|
Spurios errors on using code
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#234
|
Top level guards are not checked
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#235
|
Merging of overloaded axioms
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#236
|
Recursion detection is needed
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#238
|
Detecting recursion in package imports?
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#242
|
Hover help on procedures
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#151
|
data invariant and quotient axioms
|
magnolia-eclipse
|
|
design note
|
magne
|
new
|
12 years ago
|
|
#166
|
Rename abstraction
|
magnolia-eclipse
|
|
design note
|
magne
|
new
|
11 years ago
|
|
#8
|
implement rewrite engine
|
transformer
|
0.2
|
enhancement
|
Anya Helene Bagge
|
assigned
|
16 years ago
|
|
#38
|
use PGF for C++ pretty-printing
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#55
|
implement propagation of guards
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#56
|
implement optimisation of guards
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#57
|
implement data invariant checking
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#70
|
Renaming should refactor the relevant code.
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#72
|
check variable/parameter modse
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
12 years ago
|
|
#81
|
"free" specification construction is not recognised
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
12 years ago
|
|
#82
|
by clause in assert statement
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
12 years ago
|
|
#109
|
handle redefinition of local variables
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
12 years ago
|
|
#128
|
[Discuss] Need to treat predicate more as a normal data type in implementations
|
magnolia-eclipse
|
|
enhancement
|
magne
|
new
|
12 years ago
|
|
#169
|
Implement floating-point literals
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
11 years ago
|
|
#215
|
Protect: clean up unused declarations
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
11 years ago
|
|
#216
|
No compiler warning in implementation for use/require error
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
11 years ago
|
|
#223
|
Folding of comments is missing
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#229
|
Checking the set of axioms in satisfaction statements
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#245
|
Checking axioms from code
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
10 years ago
|
|
#251
|
Skeleton code format is annoying
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
9 years ago
|
|
#7
|
design MetaMagnolia
|
magnolia-eclipse
|
|
task
|
Anya Helene Bagge
|
assigned
|
16 years ago
|
|
#60
|
discuss exporting issue
|
magnolia-eclipse
|
|
task
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#50
|
mutification isn't applied to struct initialisers
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#250
|
"Build Package" button does not rebuild code that is commented/uncommented
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
9 years ago
|
|
#254
|
Eclipse buttons/menus also show up on non-Magnolia files
|
magnolia-eclipse
|
|
defect
|
Anya Helene Bagge
|
new
|
9 years ago
|
|
#220
|
Name space for operations and axioms
|
magnolia-eclipse
|
|
design note
|
Anya Helene Bagge
|
new
|
11 years ago
|
|
#48
|
add a few simple data-flow optimisations
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#99
|
Better error messages for parse errors
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
assigned
|
12 years ago
|
|
#117
|
import hover support
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
12 years ago
|
|
#152
|
Unary division symbol
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
12 years ago
|
|
#171
|
reduce amount of code generated for literals
|
magnolia-eclipse
|
|
enhancement
|
Anya Helene Bagge
|
new
|
11 years ago
|
