andrei/modelverse @ c6591c9428a198507515bdb3b20909eabdba6d38

forknuté z yentl/modelverse

Yentl Van Tendeloo cc3de3881c Add some information for reachability graph		7 rokov pred
..
code	b5451fa9c4 PM execution takes a dictionary for binding	7 rokov pred
conftest.py	42ea08d75a Added a flag to skip very slow tests (e.g., pn_simulate_larger)	8 rokov pred
log_output.py	ff99517f64 Fix test for powerwindow	8 rokov pred
log_output.xml	ff99517f64 Fix test for powerwindow	8 rokov pred
test_powerwindow.py	cc3de3881c Add some information for reachability graph	7 rokov pred
utils.py	a9ca406a62 Built in a more decent timeout	8 rokov pred