Snippets Groups Projects

tlatools

Fall back to conservative memory allocation if LiveWorker runs into

Markus Alexander Kuppe authored 5 years ago

OutOfMemoryError.  If conservative allocation succeeds, liveness
checking will be slow.

[Feature][Bug]

0696d2e7

0696d2e7 5 years ago

Name	Last commit	Last update
.github
examples
general
org.lamport.tla.toolbox.doc
org.lamport.tla.toolbox.editor.basic
org.lamport.tla.toolbox.feature.base
org.lamport.tla.toolbox.feature.branding
org.lamport.tla.toolbox.feature.editor
org.lamport.tla.toolbox.feature.help
org.lamport.tla.toolbox.feature.jclouds
org.lamport.tla.toolbox.feature.jnlp
org.lamport.tla.toolbox.feature.prover
org.lamport.tla.toolbox.feature.standalone
org.lamport.tla.toolbox.feature.tla2tex
org.lamport.tla.toolbox.feature.tlc
org.lamport.tla.toolbox.feature.uitest
org.lamport.tla.toolbox.jclouds
org.lamport.tla.toolbox.jnlp
org.lamport.tla.toolbox.p2repository
org.lamport.tla.toolbox.product.product
org.lamport.tla.toolbox.product.standalone
org.lamport.tla.toolbox.product.uitest
org.lamport.tla.toolbox.rss
org.lamport.tla.toolbox.test
org.lamport.tla.toolbox.tool.prover
org.lamport.tla.toolbox.tool.tla2tex.uitest
org.lamport.tla.toolbox.tool.tla2tex
org.lamport.tla.toolbox.tool.tlc.test
org.lamport.tla.toolbox.tool.tlc.ui.test
org.lamport.tla.toolbox.tool.tlc.ui.uitest
org.lamport.tla.toolbox.tool.tlc.ui
org.lamport.tla.toolbox.tool.tlc
org.lamport.tla.toolbox.uitest
org.lamport.tla.toolbox
org.lamport.tlatools.api
org.lamport.tlatools.consumer.distributed
org.lamport.tlatools.feature
org.lamport.tlatools.impl.distributed
tlatools
.gitignore
.jenkins.groovy
.travis-settings.xml
.travis.yml
CONTRIBUTING.md
DEVELOPING.md
LICENSE
README.md
azure-pipelines.yml
keystore
pom.xml

For more information, visit https://research.microsoft.com/en-us/um/people/lamport/tla/tla.html

Contributing

Please read our contribution guide before you start working on your contribution. We also have a feature wishlist.

License

Copyright (c) 199?-2003 HP Corporation
Copyright (c) 2003-2017 Microsoft Corporation

Licensed under the MIT License