Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / tlaplus/Examples issues and pull requests

#151 - Add small improvements to the Disruptor spec.

Pull Request - State: closed - Opened by nicholassm about 2 months ago - 5 comments

#150 - Add spec of the Disruptor concurrency library.

Pull Request - State: closed - Opened by nicholassm 2 months ago - 9 comments
Labels: enhancement

#100 - Submodules vs. copying specs into the repo

Issue - State: closed - Opened by ahelwer 10 months ago - 2 comments

#99 - Install TLA+ unicode converter into gitpod and codespaces

Issue - State: closed - Opened by lemmy 11 months ago - 1 comment
Labels: enhancement

#97 - Finitizing monotonic systems

Pull Request - State: closed - Opened by ahelwer 12 months ago - 7 comments

#96 - Add skip parameter to python scripts

Pull Request - State: closed - Opened by ahelwer about 1 year ago

#94 - Fix typos

Pull Request - State: closed - Opened by ligurio about 1 year ago - 1 comment
Labels: bug

#93 - Majority

Pull Request - State: closed - Opened by muenchnerkindl about 1 year ago - 5 comments

#92 - Improved the model by making ops log process local variable

Pull Request - State: closed - Opened by muratdem about 1 year ago - 3 comments

#91 - Murat kvsnap

Pull Request - State: closed - Opened by muratdem about 1 year ago

#90 - Configure TLAPM install to proceed if exiting with nonzero error code

Pull Request - State: closed - Opened by ahelwer about 1 year ago - 1 comment

#89 - Retry tlapm install on failure

Pull Request - State: closed - Opened by ahelwer about 1 year ago - 1 comment

#88 - Print out tool version info in CI

Pull Request - State: closed - Opened by ahelwer over 1 year ago

#87 - Possible TLC regression on specifications/ewd998/EWD998ChanID.cfg

Issue - State: closed - Opened by ahelwer over 1 year ago - 7 comments

#86 - TLC: capture stderr, print captured output on hard timeout

Pull Request - State: closed - Opened by ahelwer over 1 year ago

#85 - Do not suppress TLC output

Issue - State: closed - Opened by lemmy over 1 year ago - 3 comments
Labels: enhancement

#84 - Added Pluscal version of the key-value store with snapshot isolation,…

Pull Request - State: closed - Opened by muratdem over 1 year ago - 6 comments

#83 - Fix tar CI failure on windows

Pull Request - State: closed - Opened by ahelwer over 1 year ago - 4 comments

#82 - CI workflow fails on ubuntu

Issue - State: closed - Opened by muenchnerkindl over 1 year ago - 7 comments

#81 - Bug fix in aba_asyn_byz.tla

Pull Request - State: closed - Opened by josef-widder over 1 year ago - 5 comments

#80 - Question about the specification of reliable broadcast algorithm by Bracha & Toueg (1985)

Issue - State: closed - Opened by lduranovic over 1 year ago - 8 comments
Labels: question

#79 - Fixed implicit dependency on location of community modules jar

Pull Request - State: closed - Opened by ahelwer over 1 year ago

#78 - Parameterize parse/check python scripts for ease of use from other repos

Pull Request - State: closed - Opened by ahelwer over 1 year ago
Labels: enhancement

#77 - Parameterize version of TLA+ tools used during CI run

Issue - State: closed - Opened by ahelwer over 1 year ago - 2 comments
Labels: enhancement

#76 - Add Simplified Fast Paxos

Pull Request - State: closed - Opened by TypeDefinition over 1 year ago - 15 comments

#75 - Implementing a TLA+ Specification: EWD998Chan

Pull Request - State: closed - Opened by lemmy over 1 year ago
Labels: enhancement

#74 - Added three sets of specs

Pull Request - State: closed - Opened by ahelwer over 1 year ago - 5 comments

#73 - increase timeout for Z3 for one hard-to-prove obligation

Pull Request - State: closed - Opened by damiendoligez over 1 year ago - 1 comment

#72 - fixed failed proof in Bakery-Boulangerie/Bakery.tla

Pull Request - State: closed - Opened by muenchnerkindl over 1 year ago

#71 - fixed proofs of LamportMutex spec

Pull Request - State: closed - Opened by muenchnerkindl over 1 year ago

#70 - Enforce correspondence between manifest.json and README.md table in CI

Issue - State: closed - Opened by ahelwer over 1 year ago - 3 comments

#69 - Fix module search paths for SANY and TLC

Pull Request - State: closed - Opened by ahelwer over 1 year ago - 1 comment

#68 - Added CI step to check proofs

Pull Request - State: closed - Opened by ahelwer over 1 year ago - 5 comments

#67 - Specs failing proof validation

Issue - State: open - Opened by ahelwer over 1 year ago - 13 comments

#66 - EWD998 spec fails parsing due to name collision between TLAPS and Community Modules

Issue - State: closed - Opened by ahelwer almost 2 years ago - 1 comment

#65 - Models failing smoke testing

Issue - State: closed - Opened by ahelwer almost 2 years ago - 6 comments
Labels: bug

#64 - Accidental PR

Pull Request - State: closed - Opened by ahelwer almost 2 years ago - 1 comment

#63 - SDP Verification by TLA+

Pull Request - State: closed - Opened by 10227694 almost 2 years ago

#62 - SDP Verification by TLA+

Pull Request - State: closed - Opened by 10227694 almost 2 years ago

#61 - Added JSON manifest with CI validation

Pull Request - State: closed - Opened by ahelwer almost 2 years ago - 28 comments

#60 - Fixed directory links in README

Pull Request - State: closed - Opened by ahelwer almost 2 years ago - 1 comment

#59 - Add multiple specs with models

Pull Request - State: closed - Opened by ahelwer almost 2 years ago - 8 comments

#58 - Specifying and Verifying SDP Protocol based Zero Trust Architecture

Pull Request - State: closed - Opened by 10227694 almost 2 years ago - 6 comments

#57 - Index examples in manifest.json

Issue - State: closed - Opened by lemmy almost 2 years ago - 13 comments
Labels: enhancement

#56 - Case study to share: Specifying and Verifying SDP Protocol based Zero Trust Architecture

Issue - State: closed - Opened by 10227694 almost 2 years ago - 2 comments
Labels: enhancement

#55 - Fix invalid utf8 in SimpleRegular.tla and invalid syntax in Specifying Systems modules

Pull Request - State: closed - Opened by ahelwer almost 2 years ago - 6 comments

#54 - adding PCR spec

Pull Request - State: closed - Opened by ghost about 2 years ago - 6 comments

#53 - add Petri Nets from elh/petri-tlaplus

Pull Request - State: closed - Opened by elh about 2 years ago

#52 - Fix an attribution and add Apalache column

Pull Request - State: closed - Opened by nano-o about 2 years ago

#51 - Add Streamlet

Pull Request - State: closed - Opened by nano-o over 2 years ago

#50 - Co-locate steps to remove a process from waiting queue in ReadersWriters example

Pull Request - State: closed - Opened by wrobell over 2 years ago - 2 comments

#49 - Rename read and write predicates in ReadersWriters specification

Pull Request - State: closed - Opened by wrobell over 2 years ago - 2 comments

#48 - Add parallel increment example

Pull Request - State: closed - Opened by Cjen1 over 2 years ago - 3 comments

#47 - Add MET for CRDT-Redis example

Pull Request - State: closed - Opened by elem-azar-unis over 2 years ago - 1 comment

#46 - Concurrent increments to a shared variable

Issue - State: closed - Opened by Cjen1 over 2 years ago - 1 comment

#45 - More termination detection algorithms

Issue - State: open - Opened by lemmy almost 3 years ago - 6 comments
Labels: enhancement

#44 - Add Twirp Wire Protocol v7

Pull Request - State: closed - Opened by mattmccormick about 3 years ago - 4 comments

#43 - Add Raft spec with Apalache type annotations

Pull Request - State: closed - Opened by dranov about 3 years ago - 1 comment

#42 - Add Raft spec with Apalache type annotations

Issue - State: closed - Opened by lemmy about 3 years ago - 4 comments
Labels: enhancement

#41 - Fixed proofs in bcastByz

Pull Request - State: closed - Opened by banhday about 3 years ago

#40 - Fix liveness checking in bcastByz

Pull Request - State: closed - Opened by xosmig about 3 years ago - 5 comments

#39 - Fix liveness checking in ada-asyn-byz

Pull Request - State: closed - Opened by xosmig about 3 years ago - 6 comments

#38 - Add CRDT-Bug and asyncio-lock examples

Pull Request - State: closed - Opened by Alexander-N over 3 years ago - 3 comments

#37 - fix no. typo & add links to CRDT

Pull Request - State: closed - Opened by JYwellin over 3 years ago - 1 comment

#36 - Refinement mapping for AsyncTerminationDetection => SyncTerminationDetection

Pull Request - State: closed - Opened by lemmy over 3 years ago - 1 comment
Labels: enhancement

#35 - [WIP] Read-Write quorum algorithm

Pull Request - State: closed - Opened by sridhargopinath over 3 years ago - 2 comments

#34 - ChangRoberts!TypeOK refers to non-existing PlusCal label "n2"

Issue - State: closed - Opened by lemmy over 3 years ago - 7 comments

#33 - Add support for Github Codespaces

Issue - State: closed - Opened by lemmy over 3 years ago - 4 comments
Labels: enhancement

#32 - Single Lane Bridge problem

Pull Request - State: closed - Opened by younes-io over 3 years ago - 6 comments

#31 - Einstein's Riddle

Pull Request - State: closed - Opened by Isaac-DeFrain over 3 years ago - 9 comments

#30 - Einstein

Pull Request - State: closed - Opened by Isaac-DeFrain over 3 years ago

#29 - Add readers-writers problem example

Pull Request - State: closed - Opened by Isaac-DeFrain over 3 years ago - 5 comments

#28 - Add Dining Philosophers example

Pull Request - State: closed - Opened by jthemphill over 3 years ago - 2 comments

#27 - Fix typo "TSpec" should have been "TCSpec".

Pull Request - State: closed - Opened by postmasters almost 4 years ago

#26 - Add Github Actions build

Pull Request - State: closed - Opened by gliptak almost 4 years ago - 1 comment

#25 - Add spec modeling Tower of Hanoi puzzle as sequences

Pull Request - State: closed - Opened by Alexander-N about 4 years ago

#24 - Add proof for Tencent-Paxos using TLAPS

Pull Request - State: closed - Opened by Starydark about 4 years ago

#23 - Basic math exercises

Issue - State: open - Opened by lemmy about 4 years ago - 3 comments
Labels: enhancement

#22 - TLCMC spec

Issue - State: closed - Opened by lemmy about 4 years ago - 1 comment
Labels: enhancement

#21 - Add reference to ParallelRaft in README.md

Pull Request - State: closed - Opened by HappyCS-Gu about 4 years ago

#20 - Upload TLA+ specifications for ParallelRaft

Pull Request - State: closed - Opened by HappyCS-Gu about 4 years ago - 1 comment

#19 - Added Chameneos specification

Pull Request - State: closed - Opened by mryndzionek about 4 years ago - 3 comments

#18 - Fixing None in Paxos

Pull Request - State: closed - Opened by konnov about 4 years ago - 1 comment

#17 - Add specification for ViewStamped Replication

Pull Request - State: closed - Opened by pkj415 over 4 years ago - 4 comments

#16 - Adding more examples

Pull Request - State: closed - Opened by mryndzionek over 4 years ago

#15 - Towards beginner friendly examples

Issue - State: open - Opened by lemmy over 4 years ago - 9 comments
Labels: enhancement, help wanted

#14 - adding a new toy specification of paxos

Pull Request - State: closed - Opened by neoschizomer over 4 years ago - 4 comments

#13 - Minor correction of a comment

Issue - State: closed - Opened by sayyadabdi over 4 years ago - 1 comment

#12 - Add Links to Tencent-Paxos-TLA in List of benchmarks and fix tiny typo

Pull Request - State: closed - Opened by Starydark about 5 years ago

#10 - fix minor typo in comment

Pull Request - State: closed - Opened by melhesedek over 5 years ago

#9 - Overhaul Tower of Hanoi specification

Issue - State: open - Opened by lemmy over 5 years ago - 4 comments
Labels: bug

#8 - Classify specifications by TLA+ / PlusCal

Issue - State: closed - Opened by nrinaudo over 5 years ago - 10 comments

#6 - How do I create .cfg files?

Issue - State: closed - Opened by JordyMoos about 6 years ago - 4 comments
Labels: question

#5 - Fix small typo

Pull Request - State: closed - Opened by Novemser about 6 years ago - 3 comments

#4 - Fixed predicate name in comment.

Pull Request - State: closed - Opened by vkuzn over 6 years ago

#3 - Fix tiny typo

Pull Request - State: closed - Opened by parlarjb over 7 years ago