- Committer: Jiri Srba
- Date: 2017-04-08 20:28:31 UTC
- Revision ID: srba@cs.aau.dk-20170408202831-kps9swdiahvubhco
changed version number to 2.1.0
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
PQL
|
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
|
Reachability
|
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
|
Structures
|
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
AbstractPetriNetBuilder.h |
143 | 7 years ago | Peter Gjøl Jensen | ensured that edges are always sorted s.t. search-o | 2 KB |
|
|
|
errorcodes.h |
104 | 7 years ago | Peter Gjøl Jensen | missing file | 345 bytes |
|
|
|
NetStructures.h |
138 | 7 years ago | Peter G. Jensen | Compiles on osx | 1.1 KB |
|
|
|
options.h |
152.1.12 | 7 years ago | Lasse S. J. | Made algorithm choice optional. Default algorithm | 906 bytes |
|
|
|
PetriNet.cpp |
152.1.23 | 7 years ago | Lasse S. J. | Fixed warning clang warning produced by function f | 4.9 KB |
|
|
|
PetriNet.h |
152.1.9 | 7 years ago | Lasse S. J. | Fixed inhibitor arcs bug in CTL engine | 3.5 KB |
|
|
|
PetriNetBuilder.cpp |
143 | 7 years ago | Peter Gjøl Jensen | ensured that edges are always sorted s.t. search-o | 14 KB |
|
|
|
PetriNetBuilder.h |
146 | 7 years ago | Peter Gjøl Jensen | added missing override | 3.9 KB |
|
|
|
Reducer.cpp |
145 | 7 years ago | Peter Gjøl Jensen | fixed ruleE in reductions | 29.6 KB |
|
|
|
Reducer.h |
128 | 7 years ago | Peter Gjøl Jensen | fixed bug in reducer | 4.2 KB |
|
|
|
SuccessorGenerator.cpp |
93 | 7 years ago | Peter Gjøl Jensen | Fixed problems with optimizations, orphans and inh | 3.4 KB |
|
|
|
SuccessorGenerator.h |
70 | 8 years ago | Peter Gjøl Jensen | Refactor | 851 bytes |
|
|