- Committer: Peter G. Jensen
- Date: 2018-05-12 15:14:12 UTC
- mto: (204.2.1 verifypn)
- Revision ID: peter.gjoel@gmail.com-20180512151412-o0nrg0201xq5n31r
fixed usage of error-codes, changes from cout to cerr.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
Colored
|
197.3.1 | 6 years ago | Andreas Klostergaard | Moved to trunk |
|
||
|
PQL
|
1 | 13 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
|
Reachability
|
1 | 13 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
|
Simplification
|
152.4.14 | 7 years ago | Mads Johannsen | Added timeout for query reduction and lpsolve. Rem |
|
||
|
Structures
|
1 | 13 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
|
TAR
|
190.5.3 | 6 years ago | Peter G. Jensen | added missing files |
|
||
AbstractPetriNetBuilder.h |
204.1.9 | 6 years ago | Peter G. Jensen | fixed usage of error-codes, changes from cout to c | 4 KB |
|
|
|
errorcodes.h |
104 | 8 years ago | Peter Gjøl Jensen | missing file | 345 bytes |
|
|
|
NetStructures.h |
196.2.6 | 6 years ago | Peter G. Jensen | added extra reductions, changed printing of reduct | 1.1 KB |
|
|
|
options.h |
197.3.77 | 6 years ago | Peter G. Jensen | fixed argparse warning | 3.7 KB |
|
|
|
PetriNet.cpp |
204.1.5 | 6 years ago | Peter G. Jensen | handled special case when we have no places and a | 8.3 KB |
|
|
|
PetriNet.h |
190.5.54 | 6 years ago | Peter G. Jensen | encoding was wrong of direcitons | 3.9 KB |
|
|
|
PetriNetBuilder.cpp |
204.1.2 | 6 years ago | Peter G. Jensen | fixed substraction issue with TAR | 18 KB |
|
|
|
PetriNetBuilder.h |
196.2.6 | 6 years ago | Peter G. Jensen | added extra reductions, changed printing of reduct | 4.9 KB |
|
|
|
Reducer.cpp |
204.1.4 | 6 years ago | Peter G. Jensen | fixed removal of tokens in isolated initial markin | 45.9 KB |
|
|
|
Reducer.h |
190.5.59 | 6 years ago | Peter G. Jensen | fixed for ctl | 5.6 KB |
|
|
|
ReducingSuccessorGenerator.cpp |
190.5.69 | 6 years ago | Peter G. Jensen | merged with trunk | 11.5 KB |
|
|
|
ReducingSuccessorGenerator.h |
190.5.65 | 6 years ago | Peter G. Jensen | smaller closure | 2 KB |
|
|
|
STSolver.cpp |
152.32.16 | 7 years ago | Jakob Dyhr | Check for inhibitor arcs during siphon-trap analys | 16.6 KB |
|
|
|
STSolver.h |
152.32.15 | 7 years ago | Jakob Dyhr | Add no-trap check to siphontrap and add options fl | 1.9 KB |
|
|
|
SuccessorGenerator.cpp |
204.1.9 | 6 years ago | Peter G. Jensen | fixed usage of error-codes, changes from cout to c | 3.8 KB |
|
|
|
SuccessorGenerator.h |
190.4.9 | 6 years ago | Peter G. Jensen | added partial order for EF leafs in CTL | 1.8 KB |
|
|