Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / p-org/P issues and pull requests
#571 - [P 2.0] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#569 - Update release.yml
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#569 - Update release.yml
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#568 - Update PCommandLine.csproj
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#568 - Update PCommandLine.csproj
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#567 - Update release.yml
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#567 - Update release.yml
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#566 - Updated the documentation and command line options
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
- 1 comment
#566 - Updated the documentation and command line options
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
- 1 comment
#565 - Removed unwanted files
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#565 - Removed unwanted files
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#564 - [PChecker] Add verification and coverage modes
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
- 2 comments
#564 - [PChecker] Add verification and coverage modes
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
- 2 comments
#563 - [PSym] Minor updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#563 - [PSym] Minor updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#562 - Releasing P 2.0
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
- 1 comment
#562 - Releasing P 2.0
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
- 1 comment
#561 - [2.0] Merge with master
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#561 - [2.0] Merge with master
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#560 - [Docs] Update P GitHub pages to the new version
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
- 4 comments
#560 - [Docs] Update P GitHub pages to the new version
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
- 4 comments
#559 - [CLI] Updates commandline options
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#559 - [CLI] Updates commandline options
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#557 - Internal Error: No such file or directory
Issue -
State: closed - Opened by hmih over 1 year ago
- 1 comment
#557 - Internal Error: No such file or directory
Issue -
State: closed - Opened by hmih over 1 year ago
- 1 comment
#556 - [CLI] Update commandline interface
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#556 - [CLI] Update commandline interface
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#555 - [Tst] Adds standard distributed protocols
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#555 - [Tst] Adds standard distributed protocols
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#554 - [Portfolio] Add first version of portfolio model checker
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#554 - [Portfolio] Add first version of portfolio model checker
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#553 - Print out the escaped Value in PrtMap
Pull Request -
State: closed - Opened by lewisbru over 1 year ago
- 1 comment
#553 - Print out the escaped Value in PrtMap
Pull Request -
State: closed - Opened by lewisbru over 1 year ago
- 1 comment
#552 - `GuaranteedWithDrawProgress` in Tutorial 1 is inaccurate/misdocumented
Issue -
State: open - Opened by hwayne over 1 year ago
- 3 comments
#552 - `GuaranteedWithDrawProgress` in Tutorial 1 is inaccurate/misdocumented
Issue -
State: closed - Opened by hwayne over 1 year ago
- 4 comments
#550 - [docs] State machine event handler semantics: atomic execution?
Issue -
State: closed - Opened by oberstet over 1 year ago
- 6 comments
#550 - [docs] State machine event handler semantics: atomic execution?
Issue -
State: closed - Opened by oberstet over 1 year ago
- 6 comments
#549 - [docs] compositional programming: docs and examples?
Issue -
State: open - Opened by oberstet over 1 year ago
- 1 comment
#549 - [docs] compositional programming: docs and examples?
Issue -
State: closed - Opened by oberstet over 1 year ago
- 1 comment
#548 - Grammar railroad diagram
Issue -
State: open - Opened by mingodad over 1 year ago
- 1 comment
Labels: Information
#548 - Grammar railroad diagram
Issue -
State: closed - Opened by mingodad over 1 year ago
- 1 comment
Labels: Information
#547 - [PSym] Upgrades v0.5.8
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#547 - [PSym] Upgrades v0.5.8
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#546 - Merge latest changes in psym develop
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#546 - Merge latest changes in psym develop
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#545 - [PSym] Merge latest changes in Maven publish branch
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#545 - [PSym] Merge latest changes in Maven publish branch
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#544 - Installation instructions should say you need nuget as a dotnet source
Issue -
State: open - Opened by hwayne almost 2 years ago
- 1 comment
#544 - Installation instructions should say you need nuget as a dotnet source
Issue -
State: closed - Opened by hwayne almost 2 years ago
- 1 comment
#543 - [PSym] Merge Github action changes
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#543 - [PSym] Merge Github action changes
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#542 - Tutorial - "Error: Failed to get test method '' from assembly 'ClientServer, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null' "
Issue -
State: closed - Opened by thesammiller almost 2 years ago
- 4 comments
#542 - Tutorial - "Error: Failed to get test method '' from assembly 'ClientServer, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null' "
Issue -
State: closed - Opened by thesammiller almost 2 years ago
- 4 comments
#541 - [CI] WIP: Update GitHub action for Maven release
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#541 - [CI] WIP: Update GitHub action for Maven release
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#540 - Fixed a bug in the static function code gen.
Pull Request -
State: closed - Opened by ankushdesai almost 2 years ago
#540 - Fixed a bug in the static function code gen.
Pull Request -
State: closed - Opened by ankushdesai almost 2 years ago
#539 - Tutorial - Client/Server - Error: "'PMonitor' does not contain a definition for 'TryRandom'"
Issue -
State: closed - Opened by thesammiller almost 2 years ago
- 2 comments
#539 - Tutorial - Client/Server - Error: "'PMonitor' does not contain a definition for 'TryRandom'"
Issue -
State: closed - Opened by thesammiller almost 2 years ago
- 2 comments
#535 - [Tutorial] Remove redundant conditional in CoffeeMakerControlPanel.p
Pull Request -
State: closed - Opened by uztadh almost 2 years ago
- 3 comments
#535 - [Tutorial] Remove redundant conditional in CoffeeMakerControlPanel.p
Pull Request -
State: closed - Opened by uztadh almost 2 years ago
- 3 comments
#534 - Fixed a broken regression and a better error message
Pull Request -
State: closed - Opened by ankushdesai almost 2 years ago
#534 - Fixed a broken regression and a better error message
Pull Request -
State: closed - Opened by ankushdesai almost 2 years ago
#531 - Update FFI file to remove machine as first param
Pull Request -
State: closed - Opened by soumyasmruti almost 2 years ago
#531 - Update FFI file to remove machine as first param
Pull Request -
State: closed - Opened by soumyasmruti almost 2 years ago
#530 - Fix the code generation error for static functions called from Monitors
Pull Request -
State: closed - Opened by ankushdesai almost 2 years ago
Labels: BUG: P Compiler
#530 - Fix the code generation error for static functions called from Monitors
Pull Request -
State: closed - Opened by ankushdesai almost 2 years ago
Labels: BUG: P Compiler
#529 - VSCode extension syntax highlighting not working
Issue -
State: open - Opened by henryliu5 almost 2 years ago
- 2 comments
#529 - VSCode extension syntax highlighting not working
Issue -
State: closed - Opened by henryliu5 almost 2 years ago
- 3 comments
#528 - Emacs support for editing P files
Issue -
State: closed - Opened by rudi almost 2 years ago
- 3 comments
#528 - Emacs support for editing P files
Issue -
State: open - Opened by rudi almost 2 years ago
- 2 comments
#527 - Fix #509
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#527 - Fix #509
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#525 - Adding Probabilistic Choose() in P
Issue -
State: closed - Opened by ankushdesai almost 2 years ago
Labels: Feature Request
#525 - Adding Probabilistic Choose() in P
Issue -
State: closed - Opened by ankushdesai almost 2 years ago
Labels: Feature Request
#524 - [PCompiler] Fix #511
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#524 - [PCompiler] Fix #511
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#523 - Add support for collection union for sets
Issue -
State: closed - Opened by ankushdesai almost 2 years ago
Labels: P Language Enhancement
#523 - Add support for collection union for sets
Issue -
State: open - Opened by ankushdesai almost 2 years ago
Labels: P Language Enhancement
#522 - Simplify the module system requirements
Issue -
State: open - Opened by ankushdesai almost 2 years ago
Labels: P Module System (Compositional Reasoning)
#521 - Simplify the process of writing test cases.
Issue -
State: open - Opened by ankushdesai almost 2 years ago
Labels: P Language Enhancement
#521 - Simplify the process of writing test cases.
Issue -
State: open - Opened by ankushdesai almost 2 years ago
Labels: P Language Enhancement
#520 - [PSym] Upgrades v0.5.6
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#520 - [PSym] Upgrades v0.5.6
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#519 - Compiling 1_ClientServer gives me error NU3037 on macOS
Issue -
State: closed - Opened by varosi almost 2 years ago
- 5 comments
#519 - Compiling 1_ClientServer gives me error NU3037 on macOS
Issue -
State: closed - Opened by varosi almost 2 years ago
- 5 comments
#518 - `case` in `receive` - `case`syntax requires an argument even if the event doesn't have one
Issue -
State: closed - Opened by m10f almost 2 years ago
- 1 comment
#518 - `case` in `receive` - `case`syntax requires an argument even if the event doesn't have one
Issue -
State: closed - Opened by m10f almost 2 years ago
- 1 comment
#517 - [PSym] Upgrades v0.5.5
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#517 - [PSym] Upgrades v0.5.5
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#516 - [Tutorial] Redundant conditional in the EspressoMachine tutorial
Issue -
State: closed - Opened by uztadh almost 2 years ago
- 5 comments
Labels: Work In Progress
#516 - [Tutorial] Redundant conditional in the EspressoMachine tutorial
Issue -
State: closed - Opened by uztadh almost 2 years ago
- 5 comments
Labels: Work In Progress
#514 - Update release.yml
Pull Request -
State: closed - Opened by ankushdesai almost 2 years ago
#514 - Update release.yml
Pull Request -
State: closed - Opened by ankushdesai almost 2 years ago
#513 - [PSym] Upgrades and CI
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#512 - [PSym] Create HitHub action for build and test
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#512 - [PSym] Create HitHub action for build and test
Pull Request -
State: closed - Opened by aman-goel almost 2 years ago
#511 - Invalid token error when using a CSharp keyword as variable name
Issue -
State: closed - Opened by aoak almost 2 years ago
#511 - Invalid token error when using a CSharp keyword as variable name
Issue -
State: closed - Opened by aoak almost 2 years ago
#510 - [Tst] Models with Main machine as well as Monitors
Issue -
State: closed - Opened by aman-goel almost 2 years ago