- Committer: Jiri Srba
- Date: 2018-09-11 17:19:06 UTC
- mfrom: (212.1.4 query_rewrite_fix)
- Revision ID: srba@cs.aau.dk-20180911171906-ovswtfhfcr2vcs52
merged in branch lp:~verifypn-cpn/verifypn/query_rewrite_fix fixing a bug in query rewriting
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
Colored
|
197.3.1 | 6 years ago | Andreas Klostergaard | Moved to trunk |
|
||
|
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 |
|
||
|
Simplification
|
152.4.14 | 7 years ago | Mads Johannsen | Added timeout for query reduction and lpsolve. Rem |
|
||
|
Structures
|
1 | 12 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 |
209.1.11 | 5 years ago | Peter G. Jensen | reduced copying | 4.1 KB |
|
|
|
errorcodes.h |
104 | 7 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 |
205.1.1 | 5 years ago | Peter G. Jensen | added output of inhibitor arcs | 8.4 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.10 | 5 years ago | Peter G. Jensen | fixed segfault due to typo | 45.9 KB |
|
|
|
Reducer.h |
190.5.59 | 6 years ago | Peter G. Jensen | fixed for ctl | 5.6 KB |
|
|
|
ReducingSuccessorGenerator.cpp |
205.1.2 | 5 years ago | Peter G. Jensen | fixed typo in inhibitor set construction | 11.5 KB |
|
|
|
ReducingSuccessorGenerator.h |
190.5.65 | 6 years ago | Peter G. Jensen | smaller closure | 2 KB |
|
|
|
STSolver.cpp |
152.32.16 | 6 years ago | Jakob Dyhr | Check for inhibitor arcs during siphon-trap analys | 16.6 KB |
|
|
|
STSolver.h |
152.32.15 | 6 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 |
|
|