- Committer: Peter Bulychev
- Date: 2012-01-24 16:36:02 UTC
- Revision ID: peter.bulychev@gmail.com-20120124163602-9sa4qns7k2vqvjr6
we don't copy discrete state when copy nta state
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
__init__.py |
28 | 12 years ago | Peter Bulychev | fixed parser & actions | 298 bytes |
|
|
|
discrete_state.py |
41 | 12 years ago | Peter Bulychev | added caching | 3.6 KB |
|
|
|
nta_state.py |
42 | 12 years ago | Peter Bulychev | we don't copy discrete state when copy nta state | 8.1 KB |
|
|
|
parse_nta.py |
41 | 12 years ago | Peter Bulychev | added caching | 10.8 KB |
|
|
|
setup.py |
25 | 12 years ago | Peter Bulychev | dbmpyuppaal -> dbmpyuppaal_discrete_state | 234 bytes |
|
|
|
simple_reachability.py |
23 | 12 years ago | Peter Bulychev | added tests | 995 bytes |
|
|
|
state_predicate.py |
28 | 12 years ago | Peter Bulychev | fixed parser & actions | 4.8 KB |
|
|
|
test.py |
36 | 12 years ago | Peter Bulychev | clocks should be reset before we check an invarian | 2.8 KB |
|
|
test.sh |
1 | 13 years ago | Peter Bulychev | initial commit | 99 bytes |
|
|
|
test.xml |
41 | 12 years ago | Peter Bulychev | added caching | 2.9 KB |
|
|