Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 24, 2024

• Add state constraint, improve model.

  Show description for 7fbcd9b
  nicholassm

  committed
  7fbcd9b

  Copy full SHA for 7fbcd9b

• Flip 'Advance' and 'Access' state - they were flipped.

  Show description for 96e5cb9
  nicholassm

  committed
  96e5cb9

  Copy full SHA for 96e5cb9

Commits on Sep 22, 2024

• Add 'state constraint' to feature list for Disruptor spec.

  Show description for f8cf49d
  nicholassm

  committed
  f8cf49d

  Copy full SHA for f8cf49d

• Add small improvements to specs.

  Show description for f0bf738
  nicholassm

  committed
  f0bf738

  Copy full SHA for f0bf738

Commits on Sep 18, 2024

• Add spec of the Disruptor concurrency library. (#150)

  Show description for 7ebd914
  nicholassm

  authored
  7ebd914

  Copy full SHA for 7ebd914

Commits on Jul 18, 2024

• Use macOS runner, minor script debug output fixes (#149)

  Show description for ed139f2
  ahelwer

  authored
  ed139f2

  Copy full SHA for ed139f2

Commits on Jul 17, 2024

• manual.yml offers a simple way to run TLC on the specs in run.sh.

  Show description for 8cef3cf
  lemmy

  committed
  8cef3cf

  Copy full SHA for 8cef3cf

Commits on Jul 16, 2024

• Verbose output for TLC runs

  Show description for 77abae3
  lemmy

  authored
  77abae3

  Copy full SHA for 77abae3

• Enable TLC's Java Assertions

  Show description for 590b0da
  lemmy

  authored
  590b0da

  Copy full SHA for 590b0da

Commits on Jul 1, 2024

• Discard PlusCal translations in CI (#146)

  Show description for d04f2b9
  ahelwer

  authored
  d04f2b9

  Copy full SHA for d04f2b9

Commits on Jun 26, 2024

• TLC now properly supports RandomElement and operators from the

  Show description for 6eacad2
  lemmy

  committed
  6eacad2

  Copy full SHA for 6eacad2

Commits on Jun 23, 2024

• Do not disable properties in config but refuse to run with more than one worker.

  Show description for d0036f8
  lemmy

  committed
  d0036f8

  Copy full SHA for d0036f8

Commits on Jun 20, 2024

• Add BufferedRandomAccessFile spec (#145)

  Show description for a58b556
  Calvin-L

  authored
  a58b556

  Copy full SHA for a58b556

Commits on May 15, 2024

• Fixed deprecated API call in python scripts

  Show description for 5348370
  ahelwer

  committed
  5348370

  Copy full SHA for 5348370

• Update python scripts in response to breaking change in tree-sitter package (#144)

  Show description for f7031f4
  ahelwer

  authored
  f7031f4

  Copy full SHA for f7031f4

Commits on May 13, 2024

• Add DOI of paper where ClientCentric TLA+ specifications are documented (#143)

  TimSoethout

  authored
  d3bbb8d

  Copy full SHA for d3bbb8d

Commits on Apr 23, 2024

• Parse all translated unicode specs (#142)

  Show description for 75167b6
  ahelwer

  authored
  75167b6

  Copy full SHA for 75167b6

Commits on Apr 20, 2024

• Add Apalache to CI (#141)

  Show description for 7c8ceab
  ahelwer

  authored
  7c8ceab

  Copy full SHA for 7c8ceab

Commits on Apr 19, 2024

• Upgrade to TLAUC 1.0.0 (#140)

  Show description for d05ce72
  ahelwer

  authored
  d05ce72

  Copy full SHA for d05ce72

Commits on Apr 18, 2024

• Use tree-sitter-tlaplus prebuilt python package (#139)

  Show description for 4f8aec2
  ahelwer

  authored
  4f8aec2

  Copy full SHA for 4f8aec2

• pcal.trans can now handle utf8 (#138)

  Show description for 2722b27
  ahelwer

  authored
  2722b27

  Copy full SHA for 2722b27

Commits on Apr 11, 2024

• Test PlusCal translation in CI (#136)

  Show description for 41faafb
  ahelwer

  authored
  41faafb

  Copy full SHA for 41faafb

Commits on Apr 10, 2024

• Add unicode testing to CI (#135)

  Show description for 2445ae9
  ahelwer

  authored
  2445ae9

  Copy full SHA for 2445ae9

Commits on Apr 8, 2024

• Create CITATION.cff

  lemmy

  authored
  e3b0575

  Copy full SHA for e3b0575

Commits on Apr 7, 2024

• Print out TLC command on failure for ease of local reproducibility (#133)

  Show description for 6bf37a8
  ahelwer

  authored
  6bf37a8

  Copy full SHA for 6bf37a8

Commits on Apr 6, 2024

• TCP according to RFC 9293. (#131)

  Show description for 33ff1af
  lemmy

  authored
  33ff1af

  Copy full SHA for 33ff1af

• Fix incorrect tar flag in install.sh

  Show description for 96e03a2
  

  melhindi

  authored and

  lemmy

  committed
  96e03a2

  Copy full SHA for 96e03a2

• Merge pull request #75 from lemmy/mku-ewd998_impl

  Show description for 9de4025
  lemmy

  authored
  9de4025

  Copy full SHA for 9de4025

• Mirror PR into markdown note.

  lemmy

  committed
  115c50c

  Copy full SHA for 115c50c

Commits on Apr 5, 2024

• jsonschema.exceptions.ValidationError: Additional properties are not allowed ('config' was unexpected)

  Show description for 88faa37
  lemmy

  committed
  88faa37

  Copy full SHA for 88faa37

• Merge branch 'master' into mku-ewd998_impl

  lemmy

  committed
  c8c9159

  Copy full SHA for c8c9159

Commits on Mar 30, 2024

• Add scripts to convert specs to unicode and insert number set shim (#130)

  Show description for 616639f
  ahelwer

  authored
  616639f

  Copy full SHA for 616639f

Commits on Mar 27, 2024

• https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target

  Show description for ef8b246
  lemmy

  committed
  ef8b246

  Copy full SHA for ef8b246

• Invalid workflow file: .github/workflows/TLAi.yml#L23

  Show description for d4e0384
  lemmy

  committed
  d4e0384

  Copy full SHA for d4e0384

• Rename PR.yml to TLAi.yml.

  Show description for 2fcda37
  lemmy

  committed
  2fcda37

  Copy full SHA for 2fcda37

Pagination

Previous

Next