Code review comment for lp:~tapaal-contributor/tapaal/cpn-solvedBy
Revision history for this message
| Kenneth Yrke Jørgensen (yrke) wrote | # |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
7020100
(Get the code!)
Made the following changes:
Renamed untimed state equation to preproces using skeleton analysis, and result is displayed independently from general state equation.
Not will report the solution method (if output by engine)
- query reduction
- TAR