-
- Downloads
Merge tag 'v1.5.2'
1.5.2 release
No related branches found
No related tags found
Showing
- examples/Paxos/Consensus.tla 55 additions, 55 deletionsexamples/Paxos/Consensus.tla
- general/cla/YOUR-NAME.txt.template 33 additions, 0 deletionsgeneral/cla/YOUR-NAME.txt.template
- general/docs/microsoft-release.txt 36 additions, 0 deletionsgeneral/docs/microsoft-release.txt
- general/docs/roadmap.txt 681 additions, 670 deletionsgeneral/docs/roadmap.txt
- org.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF 1 addition, 1 deletionorg.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF
- org.lamport.tla.toolbox.doc/html/cloudtlc/index.html 98 additions, 31 deletionsorg.lamport.tla.toolbox.doc/html/cloudtlc/index.html
- org.lamport.tla.toolbox.doc/html/model/about-models.html 138 additions, 124 deletionsorg.lamport.tla.toolbox.doc/html/model/about-models.html
- org.lamport.tla.toolbox.doc/html/model/advanced-page.html 1 addition, 1 deletionorg.lamport.tla.toolbox.doc/html/model/advanced-page.html
- org.lamport.tla.toolbox.doc/html/model/executing-tlc.html 13 additions, 1 deletionorg.lamport.tla.toolbox.doc/html/model/executing-tlc.html
- org.lamport.tla.toolbox.doc/html/model/overview-page.html 247 additions, 242 deletionsorg.lamport.tla.toolbox.doc/html/model/overview-page.html
- org.lamport.tla.toolbox.doc/html/spec/editing-modules.html 621 additions, 604 deletionsorg.lamport.tla.toolbox.doc/html/spec/editing-modules.html
- org.lamport.tla.toolbox.doc/html/spec/pretty-printing.html 4 additions, 1 deletionorg.lamport.tla.toolbox.doc/html/spec/pretty-printing.html
- org.lamport.tla.toolbox.doc/html/spec/spec.html 1 addition, 5 deletionsorg.lamport.tla.toolbox.doc/html/spec/spec.html
- org.lamport.tla.toolbox.doc/pom.xml 1 addition, 1 deletionorg.lamport.tla.toolbox.doc/pom.xml
- org.lamport.tla.toolbox.editor.basic/src/org/lamport/tla/toolbox/editor/basic/TLAEditor.java 11 additions, 2 deletions...c/src/org/lamport/tla/toolbox/editor/basic/TLAEditor.java
- org.lamport.tla.toolbox.editor.basic/src/org/lamport/tla/toolbox/editor/basic/proof/TLAProofFoldingStructureProvider.java 75 additions, 71 deletions.../editor/basic/proof/TLAProofFoldingStructureProvider.java
- org.lamport.tla.toolbox.feature.standalone/feature.xml 14 additions, 0 deletionsorg.lamport.tla.toolbox.feature.standalone/feature.xml
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/AzureCloudTLCInstanceParameters.java 138 additions, 0 deletions...t/tla/toolbox/jcloud/AzureCloudTLCInstanceParameters.java
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/CloudDistributedTLCJob.java 86 additions, 37 deletions...rg/lamport/tla/toolbox/jcloud/CloudDistributedTLCJob.java
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/CloudTLCInstanceParameters.java 63 additions, 5 deletions...amport/tla/toolbox/jcloud/CloudTLCInstanceParameters.java
Loading
Please register or sign in to comment