Viewing all changes in revision 673.
- Committer: Ivan Poliakov
- Date: 2012-03-26 00:14:56 UTC
- Revision ID: ivan.poliakov@ncl.ac.uk-20120326001456-ue4iovzdxzzou8i9
- Verification traces can now be imported from LoLA and shown in Simulation tool
- Added .g exporter for Petri Nets
- Added .g parser
- Added .g exporter for Petri Nets
- Added .g parser
- files added:
- FSMPlugin
- FSMPlugin/src
- FSMPlugin/src/main
- FSMPlugin/src/main/scala
- FSMPlugin/src/main/scala/org
- FSMPlugin/src/main/scala/org/workcraft
- FSMPlugin/src/main/scala/org/workcraft/plugins
- FSMPlugin/src/main/scala/org/workcraft/plugins/fsm
- PetrifyPlugin2
- PetrifyPlugin2/src
- PetrifyPlugin2/src/main
- PetrifyPlugin2/src/main/scala
- PetrifyPlugin2/src/main/scala/org
- PetrifyPlugin2/src/main/scala/org/workcraft
- PetrifyPlugin2/src/main/scala/org/workcraft/plugins
- PetrifyPlugin2/src/main/scala/org/workcraft/plugins/petrify
- files modified:
- Gui/src/main/scala/org/workcraft/gui/MainWindow.scala
expand all
collapse all
added
removed
