support for backup models (closed #130)
Better Heritage processing , fixed #140
Merge remote-tracking branch 'origin/master'
Missing quantification fixed
local state debbuging
#140 really fixed
Resolving Conflicts
Resolving Conflicts
runnables become callables (fixes #126)
better error handling
support for id attributes
close #131
better error propagation
close #129
metamodel translation: better error handling
xmi2alloy: better error handling
Integer attributes warning.
Warning for ocl numerics (size)
(solves #116)
transformation2alloy: better error handling
relation2alloy: better error handling
fixed bug in painter
fixed refactoring bug on relation translator