Viewing all changes in revision 475.
- Committer: Arseniy Alekseyev
- Date: 2010-09-20 07:55:38 UTC
- mfrom: (471.1.9 Workcraft)
- Revision ID: rotsor@gmail.com-20100920075538-bnposccg4gl17d38
merge
- BalsaPlugin/src/tools
- Workcraft/src/org/workcraft/plugins/shared/presets
- files renamed:
- BalsaPlugin/src/org/workcraft/plugins/balsa/io/BalsaToStgExporter.java => BalsaPlugin/src/org/workcraft/plugins/balsa/io/ExtractControlSTGTask.java
- BalsaPlugin/src/org/workcraft/plugins/balsa/io/BalsaToGatesExporter.java => BalsaPlugin/src/org/workcraft/plugins/balsa/io/STGSynthesisTask.java
- Workcraft/src/org/workcraft/PluginInfo.java => Workcraft/src/org/workcraft/LegacyPluginInfo.java
- Workcraft/src/org/workcraft/Plugin.java => Workcraft/src/org/workcraft/Module.java
- Workcraft/src/org/workcraft/LegacyPlugin.java => Workcraft/src/org/workcraft/Plugin.java
- Workcraft/src/org/workcraft/plugins/petrify/tools/ComplexGateSynthesis.java => Workcraft/src/org/workcraft/plugins/petrify/tools/PetrifyComplexGateSynthesis.java
- Workcraft/src/org/workcraft/plugins/shared/MpsatPreset.java => Workcraft/src/org/workcraft/plugins/shared/presets/Preset.java
- Workcraft/src/org/workcraft/plugins/shared/MpsatPresetManager.java => Workcraft/src/org/workcraft/plugins/shared/presets/PresetManager.java
- Workcraft/src/org/workcraft/plugins/verification/gui/MpsatPresetManagerDialog.java => Workcraft/src/org/workcraft/plugins/verification/gui/PresetManagerDialog.java
- files modified:
- .bzrignore
expand all
collapse all
added
removed
