p-org/P issues and pull requests | Ecosyste.ms: Issues

#775 - [PEx] Minor updates and cleanup

Pull Request - State: open - Opened by aman-goel 17 days ago

#774 - [Cleanup] Remove state machine factory, runtime factory, and name resolver

Pull Request - State: closed - Opened by ChristineZh0u 18 days ago

#773 - [Cleanup] Minor cleanups

Pull Request - State: closed - Opened by ChristineZh0u 19 days ago

#772 - Remove GodMachine, CoyoteRuntime; Fix Raise statement in Monitor

Pull Request - State: closed - Opened by ChristineZh0u 20 days ago

#771 - [PEx] Adds limiting data choices and sharing feedback to user

Pull Request - State: closed - Opened by aman-goel 23 days ago - 1 comment

#770 - [Cleanup] Merging PMachine with StateMachine

Pull Request - State: closed - Opened by ChristineZh0u 25 days ago

#768 - [PEx] Implements multi-threaded PEx version

Pull Request - State: closed - Opened by aman-goel about 1 month ago

#767 - Adding test cases for 'raise' and 'goto' with payload

Pull Request - State: closed - Opened by ChristineZh0u about 1 month ago

#766 - [Cleanup] Merging PMonitor with Monitor

Pull Request - State: closed - Opened by ChristineZh0u about 1 month ago

#764 - [Cleanup] Merging PEvent with Event

Pull Request - State: closed - Opened by ChristineZh0u about 1 month ago

#763 - [Cleanup] Merge P formatters to P checker formatters

Pull Request - State: closed - Opened by ChristineZh0u about 1 month ago

#762 - Prototype Support For Verification

Pull Request - State: closed - Opened by FedericoAureliano about 1 month ago

#761 - [clean-up] unnecessary option types

Pull Request - State: closed - Opened by AD1024 about 1 month ago

#760 - [Cleanup] Moving ActorRuntime into ControlledRuntime

Pull Request - State: closed - Opened by ChristineZh0u about 1 month ago

#759 - Remove the bug that allows function name and state name be same.

Pull Request - State: closed - Opened by ankushdesai about 2 months ago

#758 - [PEx] Updates to P tutorial and CLI for PEx, support interface refinement in PEx, refactoring

Pull Request - State: closed - Opened by aman-goel about 2 months ago

#757 - Merging Actor.cs with StateMachine.cs

Pull Request - State: closed - Opened by ChristineZh0u about 2 months ago

#756 - Fixed a bug related to duplicate bindings

Pull Request - State: closed - Opened by ankushdesai about 2 months ago

#754 - Fixing "key not found" error when using set as key

Pull Request - State: closed - Opened by ChristineZh0u 2 months ago - 1 comment

#753 - Dev/ashish

Pull Request - State: closed - Opened by xashisk 2 months ago - 3 comments

#752 - [PEx] Several upgrades post preliminary experimentation

Pull Request - State: closed - Opened by aman-goel 2 months ago

#751 - [PCompiler] Fix incorrect string matching when excluding imported test cases

Pull Request - State: closed - Opened by aman-goel 2 months ago

#750 - Paramtest

Pull Request - State: closed - Opened by zhezhouzz 3 months ago

#749 - [PEx] Adds hybrid stateful backtracking, improves storing search tasks

Pull Request - State: closed - Opened by aman-goel 3 months ago

#748 - Dev/ashish

Pull Request - State: closed - Opened by xashisk 3 months ago - 1 comment

#747 - Remove optional parameters in Monitor

Pull Request - State: closed - Opened by mchadalavada 3 months ago

#746 - Paramtest

Pull Request - State: closed - Opened by zhezhouzz 3 months ago

#745 - [PEx] Revamps tracking unexplored choices, changes schedule choice

Pull Request - State: closed - Opened by aman-goel 4 months ago

#744 - Sync with changes in mainline

Pull Request - State: closed - Opened by aman-goel 4 months ago

#742 - Updating import from Plang to PChecker

Pull Request - State: closed - Opened by ChristineZh0u 4 months ago

#741 - Adding "max_memory" to pchecker_summary.txt

Pull Request - State: closed - Opened by ChristineZh0u 4 months ago

#740 - Creating _pchecker_summary.txt file during PCheck

Pull Request - State: closed - Opened by ChristineZh0u 4 months ago - 1 comment

#739 - Feature request: bitwise ops or expression syntax for set operations

Issue - State: open - Opened by toddlipcon 4 months ago

#738 - Log monitor state or a custom message when it is in a hot state at the end of a schedule

Issue - State: open - Opened by nvartolomei 4 months ago

#737 - How to use C as foreign language in P?

Issue - State: open - Opened by nichanggong 4 months ago

#735 - Move C# runtime

Pull Request - State: closed - Opened by ankushdesai 4 months ago

#734 - p command line prints invisible/white text

Issue - State: open - Opened by nvartolomei 4 months ago - 2 comments

#733 - Does P really no longer support generate C/C++ Language ? Or when can you turn this feature back on

Issue - State: open - Opened by nichanggong 4 months ago

#732 - Question about P Foreign Interface

Issue - State: open - Opened by nichanggong 4 months ago

#731 - Moved the CSharpRuntime for P into the CheckerCore

Pull Request - State: closed - Opened by ankushdesai 4 months ago

#730 - [Bug finding] Track memory usage and enforce memory limit

Pull Request - State: closed - Opened by aman-goel 4 months ago

#729 - Make PMachines serializable in java

Pull Request - State: closed - Opened by mchadalavada 4 months ago

#728 - [PEx] Corrections to stateful search, support Java foreign functions

Pull Request - State: closed - Opened by aman-goel 5 months ago - 1 comment

#727 - [PExplicit] Sync with mainline

Pull Request - State: closed - Opened by aman-goel 5 months ago

#726 - Make PEvents and PTypes serializable in java

Pull Request - State: closed - Opened by mchadalavada 5 months ago

#725 - Limit number of choices in choose expression to at most 10000

Pull Request - State: closed - Opened by aman-goel 5 months ago

#724 - [PExplicit] Improve state caching, add non-chronological backtracking

Pull Request - State: closed - Opened by aman-goel 5 months ago

#723 - PR cleanup

Pull Request - State: closed - Opened by aoli-al 5 months ago - 1 comment

#722 - [PExplicit] Support liveness/deadlock checking, state-caching, stateful backtracking

Pull Request - State: closed - Opened by aman-goel 5 months ago

#721 - [PExplicit] Sync with master branch

Pull Request - State: closed - Opened by aman-goel 5 months ago