TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Disable RPM creation because installation of alien tool April 2, 2020 lemmy
Do not create dist/dist but dist/ April 1, 2020 lemmy
Upload product zips and tla2tools.jar to INRIA. April 1, 2020 lemmy
Ignore failures during maven build (RCPTT tests cause the Github April 1, 2020 lemmy
Create .ssh directory and chmod privkey to 600. April 1, 2020 lemmy

use more generic URLs for release binary files March 17, 2020 damiendoligez
Create CNAME March 17, 2020 lemmy
Build and test tlapm on every pull request March 17, 2020 lemmy
change the download links to absolute URLs pointing to the release pa… March 17, 2020 damiendoligez
index.html: fix redirection URL March 17, 2020 damiendoligez

RT @lemmster: Yet Another Great Theorem Prover Showdown - In the tradition of @hillelogram https://t.co/dquaWwOhpu, let's have so… https://t.co/466QTsulrq

10 hours ago
RT @definekuujo: After struggling to overcome my ignorance for the last few weeks, I felt I finally came up with a reliable solution… https://t.co/HOExDG2IXv

3 weeks ago
RT @lemmster: TLAPS requires Cygwin on Windows. Would you prefer #WSL2 instead given that it is part of Windows 10?

4 weeks ago
RT @lemmster: How to debug the #tlaps proof manager tlapm (on Linux): https://t.co/bAIKpbws38

4 weeks ago
RT @lemmster: TLAPS 1.4.5 has been released: https://t.co/0eQz0uIluk #tlaplus

1 month ago