-
- Downloads
Merge tag 'v1.5.6'
1.5.6 release
No related branches found
No related tags found
Showing
- general/docs/contributions.md 12 additions, 1 deletiongeneral/docs/contributions.md
- general/performance/EWD840/EWD840.tla 142 additions, 0 deletionsgeneral/performance/EWD840/EWD840.tla
- general/performance/EWD840/MC.cfg 7 additions, 0 deletionsgeneral/performance/EWD840/MC.cfg
- general/performance/EWD840/MC.tla 15 additions, 0 deletionsgeneral/performance/EWD840/MC.tla
- general/performance/PaxosMadeSimple/LICENSE.md 21 additions, 0 deletionsgeneral/performance/PaxosMadeSimple/LICENSE.md
- general/performance/PaxosMadeSimple/LINK.md 1 addition, 0 deletionsgeneral/performance/PaxosMadeSimple/LINK.md
- general/performance/PaxosMadeSimple/MC.cfg 31 additions, 0 deletionsgeneral/performance/PaxosMadeSimple/MC.cfg
- general/performance/PaxosMadeSimple/MC.tla 48 additions, 0 deletionsgeneral/performance/PaxosMadeSimple/MC.tla
- general/performance/PaxosMadeSimple/PaxosMadeSimple.tla 311 additions, 0 deletionsgeneral/performance/PaxosMadeSimple/PaxosMadeSimple.tla
- general/performance/PaxosMadeSimple/README.md 11 additions, 0 deletionsgeneral/performance/PaxosMadeSimple/README.md
- org.lamport.tla.toolbox.jclouds/.classpath 1 addition, 1 deletionorg.lamport.tla.toolbox.jclouds/.classpath
- org.lamport.tla.toolbox.jclouds/.settings/org.eclipse.jdt.core.prefs 3 additions, 3 deletions....tla.toolbox.jclouds/.settings/org.eclipse.jdt.core.prefs
- org.lamport.tla.toolbox.jclouds/META-INF/MANIFEST.MF 1 addition, 1 deletionorg.lamport.tla.toolbox.jclouds/META-INF/MANIFEST.MF
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/Application.java 18 additions, 1 deletion...louds/src/org/lamport/tla/toolbox/jcloud/Application.java
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/AzureCloudTLCInstanceParameters.java 17 additions, 21 deletions...t/tla/toolbox/jcloud/AzureCloudTLCInstanceParameters.java
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/CloudDistributedTLCJob.java 56 additions, 8 deletions...rg/lamport/tla/toolbox/jcloud/CloudDistributedTLCJob.java
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/CloudTLCInstanceParameters.java 24 additions, 14 deletions...amport/tla/toolbox/jcloud/CloudTLCInstanceParameters.java
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/CloudTLCJobFactory.java 2 additions, 6 deletions...rc/org/lamport/tla/toolbox/jcloud/CloudTLCJobFactory.java
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/EC2CloudTLCInstanceParameters.java 62 additions, 24 deletions...ort/tla/toolbox/jcloud/EC2CloudTLCInstanceParameters.java
- org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product 7 additions, 8 deletions...t.product/org.lamport.tla.toolbox.product.product.product
Loading
Please register or sign in to comment