-
- Downloads
Support for Microsoft Azure added to cloud distributed TLC.
[Feature][Toolbox][Changelog]
Showing
- org.lamport.tla.toolbox.doc/html/cloudtlc/index.html 60 additions, 4 deletionsorg.lamport.tla.toolbox.doc/html/cloudtlc/index.html
- 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 61 additions, 36 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
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/CloudTLCJobFactory.java 37 additions, 2 deletions...rc/org/lamport/tla/toolbox/jcloud/CloudTLCJobFactory.java
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/EC2CloudTLCInstanceParameters.java 64 additions, 15 deletions...ort/tla/toolbox/jcloud/EC2CloudTLCInstanceParameters.java
- org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/JCloudActivator.java 26 additions, 20 deletions...s/src/org/lamport/tla/toolbox/jcloud/JCloudActivator.java
- org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product 1 addition, 0 deletions...t.product/org.lamport.tla.toolbox.product.product.product
- org.lamport.tla.toolbox.tool.tlc.ui/src/org/lamport/tla/toolbox/tool/tlc/ui/editor/page/MainModelPage.java 6 additions, 6 deletions...rt/tla/toolbox/tool/tlc/ui/editor/page/MainModelPage.java
Loading
Please register or sign in to comment