-
- Downloads
Merge branch 'enhancement/examples-as-submodule' into 'master'
Examples as a submodule #minor update See merge request !30
Showing
- .gitmodules 3 additions, 0 deletions.gitmodules
- README.rst 19 additions, 7 deletionsREADME.rst
- docs/source/userman.rst 22 additions, 22 deletionsdocs/source/userman.rst
- examples 1 addition, 0 deletionsexamples
- examples/.gitignore 0 additions, 4 deletionsexamples/.gitignore
- examples/10rooms.scs.zip 0 additions, 0 deletionsexamples/10rooms.scs.zip
- examples/10rooms_config.json 0 additions, 14 deletionsexamples/10rooms_config.json
- examples/aircraft.scs.zip 0 additions, 0 deletionsexamples/aircraft.scs.zip
- examples/cartpole.scs.zip 0 additions, 0 deletionsexamples/cartpole.scs.zip
- examples/cruise-latest.dump.zip 0 additions, 0 deletionsexamples/cruise-latest.dump.zip
- examples/dcdc.scs.zip 0 additions, 0 deletionsexamples/dcdc.scs.zip
- examples/helicopter.scs.zip 0 additions, 0 deletionsexamples/helicopter.scs.zip
- examples/prism/csma2_4_max.prism 0 additions, 7958 deletionsexamples/prism/csma2_4_max.prism
- examples/prism/csma2_4_max_config.json 0 additions, 9 deletionsexamples/prism/csma2_4_max_config.json
- examples/prism/csma2_4_max_states.prism 0 additions, 7959 deletionsexamples/prism/csma2_4_max_states.prism
- examples/prism/csma2_4_succ.prism 0 additions, 7311 deletionsexamples/prism/csma2_4_succ.prism
- examples/prism/csma2_4_succ_config.json 0 additions, 9 deletionsexamples/prism/csma2_4_succ_config.json
- examples/prism/csma2_4_succ_states.prism 0 additions, 7959 deletionsexamples/prism/csma2_4_succ_states.prism
- examples/prism/firewire_abst.prism 0 additions, 845 deletionsexamples/prism/firewire_abst.prism
- examples/prism/firewire_abst_3.prism 0 additions, 610 deletionsexamples/prism/firewire_abst_3.prism
Loading
Please register or sign in to comment