-
- Downloads
Merge tag 'v1.5.3'
1.5.3 release
No related branches found
No related tags found
Showing
- .gitignore 3 additions, 0 deletions.gitignore
- .travis-settings.xml 46 additions, 0 deletions.travis-settings.xml
- .travis.yml 45 additions, 0 deletions.travis.yml
- CONTRIBUTING.md 8 additions, 0 deletionsCONTRIBUTING.md
- README.md 15 additions, 0 deletionsREADME.md
- examples/CarTalkPuzzle/CarTalkPuzzle.pdf 0 additions, 0 deletionsexamples/CarTalkPuzzle/CarTalkPuzzle.pdf
- examples/CarTalkPuzzle/CarTalkPuzzle.tla 0 additions, 160 deletionsexamples/CarTalkPuzzle/CarTalkPuzzle.tla
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/.project 0 additions, 29 deletionsexamples/CarTalkPuzzle/CarTalkPuzzle.toolbox/.project
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/.settings/org.lamport.tla.toolbox.prefs 0 additions, 4 deletions...alkPuzzle.toolbox/.settings/org.lamport.tla.toolbox.prefs
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/CarTalkPuzzle.aux 0 additions, 1 deletion...les/CarTalkPuzzle/CarTalkPuzzle.toolbox/CarTalkPuzzle.aux
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/CarTalkPuzzle.pdf 0 additions, 0 deletions...les/CarTalkPuzzle/CarTalkPuzzle.toolbox/CarTalkPuzzle.pdf
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/CarTalkPuzzle.tex 0 additions, 1216 deletions...les/CarTalkPuzzle/CarTalkPuzzle.toolbox/CarTalkPuzzle.tex
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/CarTalkPuzzle___Model_1.launch 0 additions, 38 deletions...zzle/CarTalkPuzzle.toolbox/CarTalkPuzzle___Model_1.launch
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/CarTalkPuzzle___Model_2.launch 0 additions, 38 deletions...zzle/CarTalkPuzzle.toolbox/CarTalkPuzzle___Model_2.launch
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/CarTalkPuzzle___Model_3.launch 0 additions, 38 deletions...zzle/CarTalkPuzzle.toolbox/CarTalkPuzzle___Model_3.launch
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/CarTalkPuzzle.tla 0 additions, 158 deletions...alkPuzzle/CarTalkPuzzle.toolbox/Model_1/CarTalkPuzzle.tla
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/MC.cfg 0 additions, 7 deletionsexamples/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/MC.cfg
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/MC.out 0 additions, 53 deletionsexamples/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/MC.out
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/MC.tla 0 additions, 27 deletionsexamples/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/MC.tla
- examples/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/MC_TE.out 0 additions, 53 deletions...les/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/MC_TE.out
Loading
Please register or sign in to comment