- Committer: Jiri Srba
- Date: 2019-03-28 14:11:10 UTC
- mfrom: (205.4.6 verifypn)
- Revision ID: srba.jiri@gmail.com-20190328141110-9ja1heah7lvjtpas
merged in branch lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an issue with trace generation
when reduction rule H is applied
when reduction rule H is applied
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
BenchKit_head.sh |
205.4.2 | 5 years ago | Jiri Srba | added MCC competition scripts | 578 bytes |
|
|
tapaal.sh |
205.4.2 | 5 years ago | Jiri Srba | added MCC competition scripts | 15.2 KB |
|
|