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
#662 - [C#] Correct error in coverage reporting
Pull Request -
State: closed - Opened by aman-goel 12 months ago
- 1 comment
#660 - [CLI] Support compiling for multiple targets together
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
#659 - Add logic to remove null key-value pairs in trace json
Pull Request -
State: closed - Opened by mchadalavada about 1 year ago
#658 - add serializable to the Supplier in generated Java code.
Pull Request -
State: closed - Opened by soumyasmruti about 1 year ago
#657 - add serializable to the Supplier in generated Java code.
Pull Request -
State: closed - Opened by soumyasmruti about 1 year ago
#656 - [PObserve/CLI] Updates
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
#655 - Update docs and fix stately generator code bug
Pull Request -
State: closed - Opened by mchadalavada about 1 year ago
#654 - Fix p check replay bug and stately code generator bug
Pull Request -
State: closed - Opened by mchadalavada about 1 year ago
#653 - Typo Fixes for Tutorial Docs
Pull Request -
State: closed - Opened by ababber19 about 1 year ago
#652 - Fixing the missing ToDict function in PEvent
Pull Request -
State: closed - Opened by ankushdesai about 1 year ago
#651 - [CLI] Update iterations to schedules
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
#650 - Fixed a bug in events comparison.
Pull Request -
State: closed - Opened by ankushdesai about 1 year ago
#649 - P Feedback implementation
Pull Request -
State: closed - Opened by aoli-al about 1 year ago
#648 - Vector clock updated for OnMonitorProcessEvents
Pull Request -
State: closed - Opened by haoran-wen about 1 year ago
#647 - JSON logs Announce and Print actions
Pull Request -
State: closed - Opened by haoran-wen about 1 year ago
#646 - Fixed the issue of logging receives before sends
Pull Request -
State: closed - Opened by ankushdesai about 1 year ago
#645 - Moving PAvail to a local branch
Pull Request -
State: closed - Opened by ankushdesai about 1 year ago
#644 - PAvail
Pull Request -
State: closed - Opened by beyazit-yalcinkaya about 1 year ago
#643 - Add TimedMockEventQueue
Pull Request -
State: closed - Opened by beyazit-yalcinkaya about 1 year ago
#642 - Infinite loop in Timer module
Issue -
State: closed - Opened by aman-goel about 1 year ago
- 3 comments
#641 - [PObserve] Remove generated code compilation
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
#639 - Added JSON representation of payload of all types, beyond named tuples
Pull Request -
State: closed - Opened by haoran-wen about 1 year ago
- 2 comments
#638 - [PSym/PCover] Add fixpoint, symmetry search
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
- 1 comment
#637 - fixed vector clock for ReceiveEvent, fixed naming consistency
Pull Request -
State: closed - Opened by haoran-wen about 1 year ago
#636 - [PSym/PCover] Updates
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
#635 - [PCompiler] Fix stale version mismatch
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
- 1 comment
#633 - Unable to compile due to "no viable alternative at input"
Issue -
State: closed - Opened by fintara about 1 year ago
- 9 comments
#632 - Stately Code Generator
Pull Request -
State: closed - Opened by suesther about 1 year ago
- 2 comments
#631 - [PSym] Updates
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
#630 - [Dev branch] Review not needed
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
#629 - Sync with mainline
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
#628 - [CI] Update Tutorials CI
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
- 1 comment
#627 - In trace logs enums are printed as integers and its annoying!
Issue -
State: open - Opened by ankushdesai about 1 year ago
Labels: BUG: P Runtime, Feature Request
#626 - json verbose logs output
Pull Request -
State: closed - Opened by haoran-wen about 1 year ago
#625 - Fixed Minor bug
Pull Request -
State: closed - Opened by ankushdesai about 1 year ago
#624 - [PCover] Add CI
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
#623 - Feature/log json formatter
Pull Request -
State: closed - Opened by haoran-wen about 1 year ago
- 1 comment
#622 - Feature/log json formatter
Pull Request -
State: closed - Opened by haoran-wen about 1 year ago
#621 - [PSym] Upgrades
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
#620 - Dev/aman
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
#619 - Adding network delays and latency analysis support to P
Pull Request -
State: closed - Opened by beyazit-yalcinkaya about 1 year ago
#618 - Cleaned up the checker code and removed unused code.
Pull Request -
State: closed - Opened by ankushdesai about 1 year ago
#617 - Minor code clean up (set output directory)
Pull Request -
State: closed - Opened by ankushdesai about 1 year ago
#616 - Feature/log json formatter
Pull Request -
State: closed - Opened by haoran-wen about 1 year ago
- 2 comments
#615 - Fixed a null dereference bug in the monitor when printing monitor contents
Pull Request -
State: closed - Opened by ankushdesai about 1 year ago
#614 - [P] Several updates
Pull Request -
State: closed - Opened by aman-goel about 1 year ago
- 4 comments
#613 - [PSym] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#612 - Fix the name of the coffee machine testcase
Pull Request -
State: closed - Opened by y-taka-23 over 1 year ago
- 1 comment
#611 - [PSym] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#610 - Add some docs about building and testing locally
Pull Request -
State: closed - Opened by mlh758 over 1 year ago
- 1 comment
#609 - [PSym] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#608 - [PSym] refactor: reformat code
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#607 - Bump guava from 31.1-jre to 32.0.0-jre in /Src/PRuntimes/PSymRuntime
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#606 - [PSym] Cleanup (part 2)
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#605 - [PSym] Cleanup
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#604 - Added support for providing location of the assertion failure in Error traces.
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#603 - Several updates, primarily to PCompiler
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
- 1 comment
#602 - Added support for location details about the assertion failure
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#601 - Fix tutorials for the renamed test case
Pull Request -
State: closed - Opened by y-taka-23 over 1 year ago
- 1 comment
#600 - [CI] Fix Tutorial GitHub Action
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
- 5 comments
#599 - Added new line in Log.
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#598 - PCheckerOptions fix file path search
Pull Request -
State: closed - Opened by mlh758 over 1 year ago
#597 - [PSym] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#596 - Added Support for running Tutorial examples in Github Actions
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#595 - [PSym] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#594 - [PSym] Update state hashing
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#593 - Fix typo in 2PC TestDriver.p
Pull Request -
State: closed - Opened by mlh758 over 1 year ago
- 1 comment
#592 - Implement the skeleton of FeedbackGuidedStrategy.
Pull Request -
State: closed - Opened by aoli-al over 1 year ago
#591 - [PCompiler] Correct Test.cs generation, [PSym] Update logging
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#590 - Removed RVM from P2.0
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#590 - Removed RVM from P2.0
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#589 - Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#588 - Fetch latest master changes
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#588 - Fetch latest master changes
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#587 - Fixed the trace log
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#586 - Removed the unwanted requirement around Main function needed when no test case is declared
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#585 - Dev/ql
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#584 - [Tst] Bugfix: correct typo in tuple in symbolic regression tests
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#584 - [Tst] Bugfix: correct typo in tuple in symbolic regression tests
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#583 - [PCompiler Bug Fix]: Added the missing type checking for payload types in announce statements.
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#583 - [PCompiler Bug Fix]: Added the missing type checking for payload types in announce statements.
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#582 - [PSym] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#582 - [PSym] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#581 - Bug Fix: The P compiler now returns correct error code if compilation fails
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#581 - Bug Fix: The P compiler now returns correct error code if compilation fails
Pull Request -
State: closed - Opened by ankushdesai over 1 year ago
#580 - [PCompiler] Correct insert statement in PObserve code gen
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#580 - [PCompiler] Correct insert statement in PObserve code gen
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#579 - [PSym] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#579 - [PSym] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#578 - Bump json from 20220924 to 20230227 in /Src/PRuntimes/PSymRuntime
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#578 - Bump json from 20220924 to 20230227 in /Src/PRuntimes/PSymRuntime
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#576 - [2.0] Updates (#574)
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#576 - [2.0] Updates (#574)
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#575 - [2.0] Updates (#574)
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#574 - [2.0] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#573 - [2.0] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#573 - [2.0] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#572 - [Docs] Minor: Update java installation for AL2
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#572 - [Docs] Minor: Update java installation for AL2
Pull Request -
State: closed - Opened by aman-goel over 1 year ago
#571 - [P 2.0] Updates
Pull Request -
State: closed - Opened by aman-goel over 1 year ago