FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

Commits · AYUSHMIT/Examples · GitHub

Commits

Commits on Oct 10, 2024

Create maven.yml
AYUSHMIT
authored
ed6c54b

Commits on Oct 7, 2024

Add small improvements to the Disruptor spec. (#151)
nicholassm
authored
cfa1614

Commits on Sep 18, 2024

Add spec of the Disruptor concurrency library. (#150)
nicholassm
authored
7ebd914

Commits on Jul 18, 2024

Use macOS runner, minor script debug output fixes (#149)
ahelwer
authored
ed139f2

Commits on Jul 17, 2024

manual.yml offers a simple way to run TLC on the specs in run.sh.
lemmy
committed
8cef3cf

Commits on Jul 16, 2024

Verbose output for TLC runs
lemmy
authored
77abae3
Enable TLC's Java Assertions
lemmy
authored
590b0da

Commits on Jul 1, 2024

Discard PlusCal translations in CI (#146)
ahelwer
authored
d04f2b9

Commits on Jun 26, 2024

TLC now properly supports RandomElement and operators from the
lemmy
committed
6eacad2

Commits on Jun 23, 2024

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

Commits on Jun 20, 2024

Add BufferedRandomAccessFile spec (#145)
Calvin-L
authored
a58b556

Commits on May 15, 2024

Commits on May 13, 2024

Add DOI of paper where ClientCentric TLA+ specifications are documented (#143)
TimSoethout
authored
d3bbb8d

Commits on Apr 23, 2024

Parse all translated unicode specs (#142)
ahelwer
authored
75167b6

Commits on Apr 20, 2024

Add Apalache to CI (#141)
ahelwer
authored
7c8ceab

Commits on Apr 19, 2024

Upgrade to TLAUC 1.0.0 (#140)
ahelwer
authored
d05ce72

Commits on Apr 18, 2024

Use tree-sitter-tlaplus prebuilt python package (#139)
ahelwer
authored
4f8aec2
pcal.trans can now handle utf8 (#138)
ahelwer
authored
2722b27

Commits on Apr 11, 2024

Test PlusCal translation in CI (#136)
ahelwer
authored
41faafb

Commits on Apr 10, 2024

Add unicode testing to CI (#135)
ahelwer
authored
2445ae9

Commits on Apr 8, 2024

Create CITATION.cff
lemmy
authored
e3b0575

Commits on Apr 7, 2024

Print out TLC command on failure for ease of local reproducibility (#133)
ahelwer
authored
6bf37a8

Commits on Apr 6, 2024

TCP according to RFC 9293. (#131)
lemmy
authored
33ff1af
Fix incorrect tar flag in install.sh

melhindi
authored and
lemmy
committed
96e03a2
Merge pull request #75 from lemmy/mku-ewd998_impl
lemmy
authored
9de4025
Mirror PR into markdown note.
lemmy
committed
115c50c

Commits on Apr 5, 2024

Commits on Mar 30, 2024

Add scripts to convert specs to unicode and insert number set shim (#130)
ahelwer
authored
616639f

Commits on Mar 27, 2024

https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target
lemmy
committed
ef8b246
Invalid workflow file: .github/workflows/TLAi.yml#L23
lemmy
committed
d4e0384
Rename PR.yml to TLAi.yml.
lemmy
committed
2fcda37

Commits on Mar 26, 2024

Update PR.yml
lemmy
committed
af599bd

Commits on Mar 25, 2024

Unify line endings as LF (#126)
ahelwer
authored
fd8de28

Back | FazBrowse Home | New Git URL