-
- Downloads
Merge tag 'v1.5.4'
1.5.4 release
Showing
- .travis.yml 3 additions, 1 deletion.travis.yml
- LICENSE 22 additions, 0 deletionsLICENSE
- README.md 1 addition, 1 deletionREADME.md
- general/ide/README.md 1 addition, 1 deletiongeneral/ide/README.md
- general/ide/TLA.setup 3 additions, 3 deletionsgeneral/ide/TLA.setup
- general/ide/images/00_PlatformSelection.png 0 additions, 0 deletionsgeneral/ide/images/00_PlatformSelection.png
- general/performance/PaxosCommit/MC.cfg 33 additions, 0 deletionsgeneral/performance/PaxosCommit/MC.cfg
- general/performance/PaxosCommit/MC.tla 53 additions, 0 deletionsgeneral/performance/PaxosCommit/MC.tla
- general/performance/PaxosCommit/PaxosCommit.tla 276 additions, 0 deletionsgeneral/performance/PaxosCommit/PaxosCommit.tla
- general/performance/PaxosCommit/TCommit.tla 66 additions, 0 deletionsgeneral/performance/PaxosCommit/TCommit.tla
- general/performance/csv.sh 22 additions, 0 deletionsgeneral/performance/csv.sh
- general/performance/measureFPSet.sh 81 additions, 0 deletionsgeneral/performance/measureFPSet.sh
- org.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF 6 additions, 1 deletionorg.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF
- org.lamport.tla.toolbox.doc/build.properties 2 additions, 1 deletionorg.lamport.tla.toolbox.doc/build.properties
- org.lamport.tla.toolbox.doc/html/cloudtlc/index.html 494 additions, 329 deletionsorg.lamport.tla.toolbox.doc/html/cloudtlc/index.html
- org.lamport.tla.toolbox.doc/html/model/advanced-page.html 37 additions, 6 deletionsorg.lamport.tla.toolbox.doc/html/model/advanced-page.html
- org.lamport.tla.toolbox.doc/html/model/executing-tlc.html 12 additions, 2 deletionsorg.lamport.tla.toolbox.doc/html/model/executing-tlc.html
- org.lamport.tla.toolbox.doc/html/model/model-values.html 236 additions, 228 deletionsorg.lamport.tla.toolbox.doc/html/model/model-values.html
- org.lamport.tla.toolbox.doc/html/model/results-page.html 10 additions, 5 deletionsorg.lamport.tla.toolbox.doc/html/model/results-page.html
- org.lamport.tla.toolbox.doc/html/spec/pretty-printing.html 15 additions, 1 deletionorg.lamport.tla.toolbox.doc/html/spec/pretty-printing.html
Loading
Please register or sign in to comment