- Committer: Ivan Poliakov
- Date: 2012-04-13 00:12:01 UTC
- Revision ID: ivan.poliakov@ncl.ac.uk-20120413001201-i6tnx7xbnyi545w3
- Added support for opening ll_net and .g files
- Improved and debugged Llnet parser: now supports reading layout information from ll_net files
- Fixed incorrect marking parser in DotGParser
- Removed dynamically reconfigurable plugin support, configuration is now done via main class (DefaultConfiguration in Workcraft project)
- Fixed incorrect shut down behaviour that caused Workcraft to never quit when launched as a sub-process
- Improved and debugged Llnet parser: now supports reading layout information from ll_net files
- Fixed incorrect marking parser in DotGParser
- Removed dynamically reconfigurable plugin support, configuration is now done via main class (DefaultConfiguration in Workcraft project)
- Fixed incorrect shut down behaviour that caused Workcraft to never quit when launched as a sub-process
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
BalsaPlugin
|
441.1.25 | 13 years ago | Arseniy Alekxeyev | * Extracted BalsaPlugin, BalsaPluginBase and Balsa |
|
||
|
BalsaPluginBase
|
441.1.25 | 13 years ago | Arseniy Alekxeyev | * Extracted BalsaPlugin, BalsaPluginBase and Balsa |
|
||
|
BalsaWrapperGenerator
|
441.1.25 | 13 years ago | Arseniy Alekxeyev | * Extracted BalsaPlugin, BalsaPluginBase and Balsa |
|
||
|
BooleanFormulae
|
580 | 12 years ago | Arseniy Alekseyev | Moved BooleanFormulae to a separate module, added |
|
||
|
CircuitPlugin
|
470.2.16 | 13 years ago | Ivan Poliakov | - Moved more plugins to separate projects |
|
||
|
Core
|
616.1.1 | 12 years ago | mech | * Started migrating Workcraft code base to Scala t |
|
||
|
CpogsPlugin
|
441.3.14 | 13 years ago | Arseniy Alekseyev | * Extracted CPOGs into a separate project. * Added |
|
||
|
DependencyManager
|
470.3.25 | 13 years ago | Ivan Poliakov | Added DependencyManager project to manage dependen |
|
||
|
DesiJPlugin
|
470.2.14 | 13 years ago | Ivan Poliakov | - ModelDescriptor is now required to add a model t |
|
||
|
DotPlugin
|
674 | 12 years ago | Ivan Poliakov | Added support for dot: layout tool, dot exporter a |
|
||
|
FSMPlugin
|
673 | 12 years ago | Ivan Poliakov | - Verification traces can now be imported from LoL |
|
||
|
GatesPlugin
|
470.2.16 | 13 years ago | Ivan Poliakov | - Moved more plugins to separate projects |
|
||
|
Graphics
|
616.1.23 | 12 years ago | Ivan Poliakov | - Renamed Graphics21 to Graphics - Renamed PetriNe |
|
||
|
GraphPlugin
|
470.3.20 | 13 years ago | mech | - Fixed an issue where PluginManager would cause W |
|
||
|
Gui
|
616.1.6 | 12 years ago | Ivan Poliakov | Moved gui code to a separate project |
|
||
|
Logger
|
616.1.4 | 12 years ago | mech | - Reverted Scala build settings to use standard sc |
|
||
|
LolaPlugin
|
663 | 12 years ago | Ivan Poliakov | - Removed dependencies on WorkcraftCore - Ported G |
|
||
|
MailService
|
677 | 12 years ago | Ivan Poliakov | - Added experimental e-mail verification service - |
|
||
|
MpsatPlugin
|
470.2.14 | 13 years ago | Ivan Poliakov | - ModelDescriptor is now required to add a model t |
|
||
|
OldNodesCore
|
579 | 12 years ago | Arseniy Alekseyev | - Removed all the code with compile errors from Wo |
|
||
|
PetrifyPlugin
|
470.2.14 | 13 years ago | Ivan Poliakov | - ModelDescriptor is now required to add a model t |
|
||
|
PetrifyPlugin2
|
673 | 12 years ago | Ivan Poliakov | - Verification traces can now be imported from LoL |
|
||
|
PetriNetPlugin
|
470.2.14 | 13 years ago | Ivan Poliakov | - ModelDescriptor is now required to add a model t |
|
||
|
PetriNetPlugin2
|
616.1.23 | 12 years ago | Ivan Poliakov | - Renamed Graphics21 to Graphics - Renamed PetriNe |
|
||
|
PluginManager
|
616.1.1 | 12 years ago | mech | * Started migrating Workcraft code base to Scala t |
|
||
|
project
|
676 | 12 years ago | Ivan Poliakov | Added SBT build script |
|
||
|
Relational
|
470.5.1 | 13 years ago | Arseniy Alekseyev | Started working on a persistent relational data mo |
|
||
|
ScalaGraphEditorUtil
|
607.1.1 | 12 years ago | mech | Started implementing Petri Net plugin |
|
||
|
ScalaProject
|
600 | 12 years ago | mech | Extracted Scala graphics and utility functions fro |
|
||
|
ScalaUtil
|
598 | 12 years ago | mech | Started separating Scala code into projects Added |
|
||
|
SDFSPlugin
|
470.2.14 | 13 years ago | Ivan Poliakov | - ModelDescriptor is now required to add a model t |
|
||
|
STGPlugin
|
470.2.14 | 13 years ago | Ivan Poliakov | - ModelDescriptor is now required to add a model t |
|
||
|
STGPlugin21
|
598 | 12 years ago | mech | Started separating Scala code into projects Added |
|
||
|
Tasks
|
616.1.14 | 12 years ago | Ivan Poliakov | - Implemented a logger table (primitive for now) - |
|
||
|
Tests
|
470.2.14 | 13 years ago | Ivan Poliakov | - ModelDescriptor is now required to add a model t |
|
||
|
Util
|
540 | 13 years ago | Arseniy Alekseyev | Refactoring to customize STG rendering and reduce |
|
||
|
Workcraft
|
622 | 12 years ago | Arseniy Alekseyev | Added an umbrella project named Workcraft to ease |
|
||
|
WorkcraftCore
|
470.3.19 | 13 years ago | mech | - Removed more obsolete tests - Fixed an issue wit |
|
||
|
WorkcraftDistrLinuxBasic
|
470.3.20 | 13 years ago | mech | - Fixed an issue where PluginManager would cause W |
|
||
|
WorkcraftDistrLinuxFull
|
470.3.23 | 13 years ago | mech | - Reorganized distribution build logic to remove r |
|
||
|
WorkcraftDistrWindowsBasic
|
470.3.20 | 13 years ago | mech | - Fixed an issue where PluginManager would cause W |
|
||
|
WorkcraftDistrWindowsFull
|
470.3.20 | 13 years ago | mech | - Fixed an issue where PluginManager would cause W |
|
||
|
Workflow
|
470.2.16 | 13 years ago | Ivan Poliakov | - Moved more plugins to separate projects |
|
||
.bzrignore |
678 | 12 years ago | Ivan Poliakov | Finished PetriNetBuilder in PetrifyPlugin2 | 160 bytes |
|
|
|
assembly-linux.xml |
578 | 12 years ago | Arseniy Alekseyev | Unified all the newlines to be "\n" instead of "\r | 1.6 KB |
|
|
|
assembly-windows.xml |
674 | 12 years ago | Ivan Poliakov | Added support for dot: layout tool, dot exporter a | 875 bytes |
|
|
|
broken.txt |
545 | 13 years ago | Arseniy Alekseyev | Continued refactoring: - Fixed some compile errors | 7.5 KB |
|
|
|
bugs.txt |
627 | 12 years ago | Arseniy Alekseyev | Added previously forgotten files. | 1.1 KB |
|
|
|
ECLIPSE.markdown |
649.1.2 | 12 years ago | Arseniy Alekseyev | Ported PropertyEditor to scala and made it compile | 585 bytes |
|
|
|
LICENSE |
336 | 14 years ago | Ivan Poliakov | Added GPL license file and GPL headers to all sour | 34.3 KB |
|
|
|
pom-basic-distr.xml |
674 | 12 years ago | Ivan Poliakov | Added support for dot: layout tool, dot exporter a | 1.4 KB |
|
|
|
pom-full-distr.xml |
578 | 12 years ago | Arseniy Alekseyev | Unified all the newlines to be "\n" instead of "\r | 1.1 KB |
|
|
|
pom.xml |
675 | 12 years ago | Ivan Poliakov | Added support for FSM Model Added support for petr | 2.3 KB |
|
|
sbt |
678 | 12 years ago | Ivan Poliakov | Finished PetriNetBuilder in PetrifyPlugin2 | 63 bytes |
|
|
|
sbt-launch.jar |
676 | 12 years ago | Ivan Poliakov | Added SBT build script | 0.9 MB |
|
|
|
sbt.bat |
682 | 12 years ago | Ivan Poliakov | - Added support for opening ll_net and .g files - | 219 bytes |
|
|
|
sbt1.bat |
682 | 12 years ago | Ivan Poliakov | - Added support for opening ll_net and .g files - | 132 bytes |
|
|
|
workcraft.js |
578 | 12 years ago | Arseniy Alekseyev | Unified all the newlines to be "\n" instead of "\r | 771 bytes |
|
|
|
workcraft.sh |
470.3.24 | 13 years ago | Arseniy Alekseyev | removed windows newline from a linux shell script | 110 bytes |
|
|