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

#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

#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

#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