Discussions

• 1 You must be logged in to vote

  💡

  Grammar railroad diagram

  Information

  mingodad started Jan 6, 2023 in Ideas

  

  

  2
• 1 You must be logged in to vote

  🙏

  GuaranteedWithDrawProgress in Tutorial 1 is inaccurate/misdocumented

  hwayne asked Jan 16, 2023 in Q&A · Unanswered

  

  

  

  

  4
• 1 You must be logged in to vote

  🚀

  Emacs support for editing P files

  rudi started Nov 21, 2022 in Feature Request!

  

  

  3
• 1 You must be logged in to vote

  🙏

  Modeling Message Reordering

  dasblinkenlight asked Dec 30, 2023 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💬

  Some feedback after trying P

  gabrielgiussi started Oct 27, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  🚀

  Feature request: machine-local types

  Feature Request Feature Request or Enhancement

  toddlipcon started Nov 13, 2023 in Feature Request!

  

  

  1
• 1 You must be logged in to vote

  🙏

  Fair and unfair schedules

  fintara asked Nov 8, 2023 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Why P assumes send are reliable?

  gabrielgiussi asked Oct 20, 2023 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  "no viable alternative at input ..." for simple struct creation

  pcholakov asked Oct 3, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Why my execution is "laggy"?

  pinzaghi asked Jan 15, 2022 in Q&A · Closed · Unanswered

  

  

  1
• 3 You must be logged in to vote

  🙏

  How was solved the "conformance problem" in the AWS s3 implementation?

  gabrielgiussi asked Apr 14, 2023 in Q&A · Unanswered

  

  

  

  

  2
• 1 You must be logged in to vote

  🙏

  Liveness specification - cold vs hot state

  fintara asked Aug 8, 2023 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  What grammar is used for P?

  greggirwin asked Jul 31, 2023 in Q&A · Answered

  

  

  7
• 2 You must be logged in to vote

  🙏

  Is it possible to check refinement?

  Question Question! Information

  nano-o asked May 19, 2022 in Q&A · Unanswered

  

  

  

  

  3
• 1 You must be logged in to vote

  🙏

  Problem with execution

  calrare704 asked Mar 22, 2023 in Q&A · Closed · Unanswered

  

  

  

  

  4
• 1 You must be logged in to vote

  💬

  Internal error when generating Java code

  Pozas91 started Feb 9, 2023 in General

  

  

  0
• 1 You must be logged in to vote

  🙏

  [docs] State machine event handler semantics: atomic execution?

  Information

  oberstet asked Jan 11, 2023 in Q&A · Answered

  

  

  7
• 1 You must be logged in to vote

  🙏

  [docs] compositional programming: docs and examples?

  oberstet asked Jan 11, 2023 in Q&A · Unanswered

  

  

  1
• 3 You must be logged in to vote

  💡

  Adding Probabilistic Choose() in P

  Feature Request Feature Request or Enhancement

  ankushdesai started Nov 16, 2022 in Ideas

  

  

  

  

  5
• 2 You must be logged in to vote

  🙏

  What exactly does defer do?

  bnm3k asked Oct 21, 2022 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  How to use P machine in C# ( exported Tutorial Example )

  burakakca asked Sep 27, 2022 in Q&A · Closed · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Plans to migrate P tools to .NET 6 SDK and beyond?

  Information

  dasblinkenlight asked Jul 8, 2022 in Q&A · Answered

  

  

  2
• 3 You must be logged in to vote

  🙏

  Testing with concrete (and semi-concrete) schedules in P

  Question Question! Information

  osavaryb asked Jun 21, 2022 in Q&A · Answered

  

  

  2
• 2 You must be logged in to vote

  🙏

  Converting Synchronization Primitives in C/C++ to P

  Question Question! Information

  anupgithub asked Jun 19, 2022 in Q&A · Answered

  

  

  2
• 2 You must be logged in to vote

  🙏

  Is it possible to run the checker on a cluster of machines?

  ekexium asked Jun 3, 2022 in Q&A · Answered

  

  

  4