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

#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

#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

#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

#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

#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