Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Sep 1, 2020

• Tag PlusCal examples.

  lemmy

  committed
  cb1c424

  Copy full SHA for cb1c424

Commits on Aug 18, 2020

• PlusCal spec of a lock-Free set used by TLC

  lemmy

  authored
  4980f45

  Copy full SHA for 4980f45

• Questions or comments should go into issues or the mailinglist

  lemmy

  authored
  07a217a

  Copy full SHA for 07a217a

Commits on Aug 6, 2020

• Revert another instance of the examples -> benchmarks rewording

  lemmy

  authored
  d7e3362

  Copy full SHA for d7e3362

Commits on Jun 26, 2020

• Create CNAME

  lemmy

  committed
  f1ef3ac

  Copy full SHA for f1ef3ac

Commits on Jun 20, 2020

• Added sliding puzzles specification

  

  mryndzionek

  authored and

  lemmy

  committed
  4e26628

  Copy full SHA for 4e26628

• Added 'Conway's Game of Life' specification

  

  mryndzionek

  authored and

  lemmy

  committed
  616f4b8

  Copy full SHA for 616f4b8

• Added Cigarette Smokers problem specification

  

  mryndzionek

  authored and

  lemmy

  committed
  3ec4c8c

  Copy full SHA for 3ec4c8c

Commits on Jun 17, 2020

• Add minor comments to Echo spec and an example model.

  lemmy

  committed
  da93e3b

  Copy full SHA for da93e3b

Commits on Jun 16, 2020

• Count only the in-flight "pl" messages. The inbox

  Show description for 334ee4f
  lemmy

  committed
  334ee4f

  Copy full SHA for 334ee4f

Commits on Jun 15, 2020

• Pull \E n \in Nodes up to the Spec level of EWD998ChanID in preparation

  Show description for 627758f
  lemmy

  committed
  627758f

  Copy full SHA for 627758f

• Spec EWD998ChanID differs from EWD998Chan in that:

  Show description for 2887bc5
  lemmy

  committed
  2887bc5

  Copy full SHA for 2887bc5

• Drop definition of Safra's (inductive) invariant Inv in refinement

  Show description for 08a9abf
  lemmy

  committed
  08a9abf

  Copy full SHA for 08a9abf

• Reduce size of refinement specs by refactoring common/generic operators

  Show description for 76292fe
  lemmy

  committed
  76292fe

  Copy full SHA for 76292fe

• Refactor inequality to equality checking in preparation of refinement

  Show description for 6da222f
  lemmy

  committed
  6da222f

  Copy full SHA for 6da222f

• Add checkmark to indicate that BlockingQueue has TLAPS proofs.

  lemmy

  committed
  a8a065c

  Copy full SHA for a8a065c

• The Echo algorithm for constructing a spanning tree in an undirected

  Show description for d543211
  

  muenchnerkindl

  authored and

  lemmy

  committed
  d543211

  Copy full SHA for d543211

Commits on May 27, 2020

• Minor correction to indentation.

  lemmy

  committed
  584d54d

  Copy full SHA for 584d54d

Commits on May 16, 2020

• Add two variants of EWD998.

  lemmy

  committed
  e9e962c

  Copy full SHA for e9e962c

Commits on May 15, 2020

• Remove outdated duplicate (index.html) of README.md.

  lemmy

  committed
  6ebf497

  Copy full SHA for 6ebf497

Commits on Mar 29, 2020

• Add link to a basic Paxos spec (#14)

  neoschizomer

  authored
  8c50637

  Copy full SHA for 8c50637

Commits on Mar 7, 2020

• fixed typo in Bakery.tla

  muenchnerkindl

  committed
  cecfaa2

  Copy full SHA for cecfaa2

Commits on Jan 28, 2020

• Accidentially committed this file

  lemmy

  committed
  536628f

  Copy full SHA for 536628f

Commits on Jan 13, 2020

• Link to BlockingQueue spec with live (Gitpod) environment

  lemmy

  committed
  0f91d8f

  Copy full SHA for 0f91d8f

Commits on Nov 5, 2019

• Typos

  lemmy

  authored
  c9bb2d4

  Copy full SHA for c9bb2d4

• Corrected minor typo

  lemmy

  authored
  91267b9

  Copy full SHA for 91267b9

Commits on Oct 17, 2019

• add links to Tencent-Paxos-TLA in List of benchmarks

  

  Starydark

  authored and

  lemmy

  committed
  3cd3e78

  Copy full SHA for 3cd3e78

• fix small typo

  

  Starydark

  authored and

  lemmy

  committed
  6dbb541

  Copy full SHA for 6dbb541

Commits on Oct 15, 2019

• add links to tla+ file: specification of the consensus algorithm in Tencent storage system PaxosStore

  

  Starydark

  authored and

  lemmy

  committed
  cf90043

  Copy full SHA for cf90043

Commits on Aug 29, 2019

• Added Leslie's Paxos How To Win A Turing Award lecture

  

  lamport

  authored and

  lemmy

  committed
  fca227e

  Copy full SHA for fca227e

• Added Leslie's Spanning Tree Excercise

  

  lamport

  authored and

  lemmy

  committed
  9e4552b

  Copy full SHA for 9e4552b

Commits on Aug 27, 2019

• Conforming specs containing PlusCal code to the recommendation for comment blocks so that folding regions can be made.

  quaeler

  committed
  152615e

  Copy full SHA for 152615e

Commits on Jul 30, 2019

• Trivial correction.

  xxyzzn

  authored
  1201b7c

  Copy full SHA for 1201b7c

• Corrected name and typo

  lemmy

  authored
  ac958a0

  Copy full SHA for ac958a0

Commits on Jul 29, 2019

• 404 for ChangRoberts

  lemmy

  authored
  07c2f03

  Copy full SHA for 07c2f03

Pagination

Previous

Next