- Committer: libowen96
- Date: 2016-02-06 00:43:17 UTC
- Revision ID: libowen96@hotmail.com-20160206004317-nny2happ5oa1w4cb
add backword entire DFS
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
CircuitPlugin
|
471.1.16 | 13 years ago | Ivan Poliakov | - Moved more plugins to separate projects |
|
||
|
CpogsPlugin
|
441.3.14 | 13 years ago | Arseniy Alekseyev | * Extracted CPOGs into a separate project. * Added |
|
||
|
DfsPlugin
|
470.1.75 | 10 years ago | danilovesky at gmail | Implementation of Dataflow Structures (DFS) plugin |
|
||
|
FsmPlugin
|
549.1.1 | 9 years ago | Danil Sokolov | Initial support for Finite State Machine model. |
|
||
|
FstPlugin
|
578.1.3 | 9 years ago | Danil Sokolov | Initial attempt on implementing Finite State Trans |
|
||
|
GraphPlugin
|
470.1.55 | 12 years ago | danilovesky at gmail | Added WorkcraftRunner project to avoid setting cla |
|
||
|
help
|
470.1.128 | 10 years ago | danilovesky at gmail | Initial help in HTML fomat (tips&tricks, REACH and |
|
||
|
MpsatSynthesisPlugin
|
658.1.1 | 8 years ago | Danil Sokolov | Refactoring of MPSat plugin into MpsatVerification |
|
||
|
MpsatVerificationPlugin
|
658.1.1 | 8 years ago | Danil Sokolov | Refactoring of MPSat plugin into MpsatVerification |
|
||
|
overview
|
589 | 9 years ago | Danil Sokolov | Offline help and tutorial files are updated. Workc |
|
||
|
PcompPlugin
|
658.1.1 | 8 years ago | Danil Sokolov | Refactoring of MPSat plugin into MpsatVerification |
|
||
|
PetrifyExtraPlugin
|
694.1.2 | 8 years ago | Danil Sokolov | The results of net synthesis for Petri Net and FSM |
|
||
|
PetrifyPlugin
|
471.1.14 | 13 years ago | Ivan Poliakov | - ModelDescriptor is now required to add a model t |
|
||
|
PetriNetPlugin
|
471.1.14 | 13 years ago | Ivan Poliakov | - ModelDescriptor is now required to add a model t |
|
||
|
PolicyNetPlugin
|
470.1.90 | 10 years ago | danilovesky at gmail | Initial implementation of PolicyNet plugin as aPet |
|
||
|
PunfPlugin
|
658.1.1 | 8 years ago | Danil Sokolov | Refactoring of MPSat plugin into MpsatVerification |
|
||
|
SONPlugin
|
470.1.73 | 10 years ago | danilovesky at gmail | SDFS and SONs plugins |
|
||
|
STGPlugin
|
471.1.14 | 13 years ago | Ivan Poliakov | - ModelDescriptor is now required to add a model t |
|
||
|
Tests
|
471.1.14 | 13 years ago | Ivan Poliakov | - ModelDescriptor is now required to add a model t |
|
||
|
ThirdParty
|
441.1.25 | 13 years ago | Arseniy Alekxeyev | * Extracted BalsaPlugin, BalsaPluginBase and Balsa |
|
||
|
tutorial
|
563.1.2 | 9 years ago | Danil Sokolov | Tutorials and About Workcraft items are added to t |
|
||
|
WorkcraftCore
|
470.1.132 | 10 years ago | danilovesky at gmail | General cleanup: * GatePlugin project is removed |
|
||
|
WorkcraftRunner
|
470.1.56 | 12 years ago | danilovesky at gmail | Added WorkcraftRunner project to avoid setting cla |
|
||
|
XmasPlugin
|
470.1.102 | 10 years ago | danilovesky at gmail | * Initial support for Xmas plugin |
|
||
.bzrignore |
563.2.10 | 9 years ago | Bowen Li | refactoring getAbstractGroups(Condition node). | 137 bytes |
|
|
build_distr.sh |
694.1.2 | 8 years ago | Danil Sokolov | The results of net synthesis for Petri Net and FSM | 2.3 KB |
|
|
|
build_distr_linux.sh |
710.2.4 | 8 years ago | Danil Sokolov | Use new punf for both PNML and MCI unfoldings. | 263 bytes |
|
|
|
build_distr_windows.sh |
710.2.4 | 8 years ago | Danil Sokolov | Use new punf for both PNML and MCI unfoldings. | 258 bytes |
|
|
|
LICENSE |
336 | 14 years ago | Ivan Poliakov | Added GPL license file and GPL headers to all sour | 34.3 KB |
|
|
|
README |
565 | 9 years ago | Danil Sokolov | Update of the readme file and helper scripts for b | 845 bytes |
|
|
|
workcraft |
694.1.2 | 8 years ago | Danil Sokolov | The results of net synthesis for Petri Net and FSM | 1.5 KB |
|
|
|
workcraft.bat |
708 | 8 years ago | Danil Sokolov | Small changes to the Verification meny of STGs. | 1.6 KB |
|
|