This OpenModelica MDT Trac was moved to Github and is now read-only for non-admin users.
We are in the process of porting the Trac ticket information to the issues in Github.
Open new OpenModelica tickets here.
Open new MDT tickets here.
Contact OpenModelica@ida.liu.se if you have questions.

Context Navigation

← Previous Changeset
Next Changeset →

Changeset 1581

Timestamp:

07/13/12 18:33:17 (12 years ago)

Author:

wschamai

Message:

NEW: first working version of the "Automatic Scenario-Based Design Verification" feature

Location:

trunk/modelicaml/org.openmodelica.modelicaml.helper

Files:

: 6 added
: 8 edited

META-INF/MANIFEST.MF (modified) (view diffs)
icons/question_ov.gif (added)
icons/report.gif (added)
icons/success_ovr.gif (added)
plugin.xml (modified) (view diffs)
src/org/openmodelica/modelicaml/helper/dialogs/AutomaticScenarioBasedVerificationReportDialog.java (added)
src/org/openmodelica/modelicaml/helper/dialogs/SelectScenarioToReqRelationsToCreateDialog.java (modified) (view diffs)
src/org/openmodelica/modelicaml/helper/dialogs/SelectScenariosAndRequirementsDialog.java (modified) (view diffs)
src/org/openmodelica/modelicaml/helper/dialogs/VeMGenerationOptionsDialog.java (modified) (view diffs)
src/org/openmodelica/modelicaml/helper/dialogs/XMLReportGenerator.java (added)
src/org/openmodelica/modelicaml/helper/handlers/AutomaticScenarioBasedVerificationToolbarHandler.java (added)
src/org/openmodelica/modelicaml/helper/handlers/ScenariosToRequirementsRelationsDiscoveryToolbarHandler.java (modified) (view diffs)
src/org/openmodelica/modelicaml/helper/impl/VeMGeneratorScenariosBased.java (modified) (view diffs)
src/org/openmodelica/modelicaml/helper/impl/VeMScenarioReqCombinationsCreator.java (modified) (view diffs)

Note: See TracChangeset for help on using the changeset viewer.

Download in other formats: