Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

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

Commits on Mar 26, 2024

• Update PR.yml

  Show description for af599bd
  lemmy

  committed
  af599bd

  Copy full SHA for af599bd

Commits on Mar 25, 2024

• Unify line endings as LF (#126)

  Show description for fd8de28
  ahelwer

  authored
  fd8de28

  Copy full SHA for fd8de28

• Update comment in EWD998.tla (#127)

  Show description for 51b9c62
  lemmy

  authored
  51b9c62

  Copy full SHA for 51b9c62

• Rename in infrastructure used in CI/CD.

  Show description for 8368c1b
  lemmy

  authored
  8368c1b

  Copy full SHA for 8368c1b

Commits on Mar 24, 2024

• Update PR.yml

  Show description for 3d292a8
  lemmy

  authored
  3d292a8

  Copy full SHA for 3d292a8

Commits on Mar 21, 2024

• TLAi linter: Check consistency of natural language comments and TLA+ formulas.

  Show description for c25d728
  lemmy

  committed
  c25d728

  Copy full SHA for c25d728

Commits on Mar 15, 2024

• PlusCal variant of EWD998. (#125)

  Show description for 7bd4889
  lemmy

  authored
  7bd4889

  Copy full SHA for 7bd4889

Commits on Mar 11, 2024

• BlockingQueue also comes with a PlusCal track (branch).

  lemmy

  authored
  796ee95

  Copy full SHA for 796ee95

• Part of https://github.com/tlaplus/Examples/commit/28ed85223ca6752d6283d1d0ba91e015a5705945

  lemmy

  authored
  70291b4

  Copy full SHA for 70291b4

Pagination

Previous

Next