lp:~libowen96/workcraft/trunk-son-time-intermediate

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:~libowen96/workcraft/trunk-son-alter at revision 667

Bowen Li: Pending requested 2015-12-25

Diff: 450 lines (+114/-42)

11 files modified

SONPlugin/src/org/workcraft/plugins/son/SON.java (+20/-1)
SONPlugin/src/org/workcraft/plugins/son/algorithm/EstimationAlg.java (+66/-21)
SONPlugin/src/org/workcraft/plugins/son/gui/ParallelSimDialog.java (+3/-3)
SONPlugin/src/org/workcraft/plugins/son/gui/TimeConsistencyDialog.java (+1/-1)
SONPlugin/src/org/workcraft/plugins/son/gui/TimeEstimatorDialog.java (+9/-4)
SONPlugin/src/org/workcraft/plugins/son/tools/ColorResetTool.java (+1/-1)
SONPlugin/src/org/workcraft/plugins/son/tools/SONSimulationTool.java (+1/-1)
SONPlugin/src/org/workcraft/plugins/son/tools/ScenarioGeneratorTool.java (+3/-3)
SONPlugin/src/org/workcraft/plugins/son/tools/StructurePropertyChecker.java (+2/-2)
SONPlugin/src/org/workcraft/plugins/son/tools/TimeConsistencyChecker.java (+2/-2)
SONPlugin/src/org/workcraft/plugins/son/tools/TimeValueSetterTool.java (+6/-3)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

666. By Bowen Li on 2015-12-21

implemented for intermediate nodes estimation

665. By Bowen Li on 2015-10-14

Error tracing supports ASON

664. By Bowen Li on 2015-10-14

implemented structural property checking for ASON

663. By Bowen Li on 2015-10-12

added safeness checking in structural verification.

662. By Bowen Li on 2015-10-12

added AlterONAlg

661. By Bowen Li on 2015-10-09

remove upper level condition critirion in causalPreset and causalPostset

660. By Bowen Li on 2015-10-09

bug fixed in backwardDFS

659. By Bowen Li on 2015-10-06

initial support for time estimator

658. By Bowen Li on 2015-10-06

tested time estimation for linear ON

657. By Bowen Li on 2015-10-06

estimation in progress