Measure execution time
Better timing
Better printing
One-point optimization
One-point optimization
Option to toggle off optimizations
Instance generation mode
Write generated instances to xmi
Generate new target instances
Generate Alloy theme
Generate Alloy theme
Plugin refractor
code cleaning
code cleaning
code cleaning
code cleaning
code cleaning
fixed bug with max delta
code cleaning
enforce delta 0 is now check