p-org P issues - Githubissues

p-org / P

The P programming language.

https://p-org.github.io/P/

MIT License

3.01k stars 177 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

[Bug report] null is not assignable to type int but it is comparable

#782 PoorlyDefinedBehaviour opened 2 days ago
1
[Bug report] Compiling generated Symbolic Java code FAILED!

#781 PoorlyDefinedBehaviour opened 2 days ago
0
Bump commons-io:commons-io from 2.11.0 to 2.14.0 in /Src/PRuntimes/PSymRuntime

#780 dependabot[bot] closed 2 days ago
0
Fix feedback strategy and remove experiment features

#779 aoli-al closed 3 days ago
0
Merge Recent Bug Fixes

#778 ankushdesai closed 5 days ago
0
Fix typo in landing page

#777 PoorlyDefinedBehaviour closed 5 days ago
0
Compiling generated C# code FAILED

#776 PoorlyDefinedBehaviour opened 6 days ago
2
[PEx] Minor updates and cleanup

#775 aman-goel closed 1 week ago
0
[Cleanup] Remove state machine factory, runtime factory, and name resolver

#774 ChristineZh0u closed 3 weeks ago
0
[Cleanup] Minor cleanups

#773 ChristineZh0u closed 3 weeks ago
0
Remove GodMachine, CoyoteRuntime; Fix Raise statement in Monitor

#772 ChristineZh0u closed 3 weeks ago
0
[PEx] Adds limiting data choices and sharing feedback to user

#771 aman-goel closed 3 weeks ago
1
[Cleanup] Merging PMachine with StateMachine

#770 ChristineZh0u closed 1 month ago
0
[PEx] Implements multi-threaded PEx version

#768 aman-goel closed 1 month ago
0
Adding test cases for 'raise' and 'goto' with payload

#767 ChristineZh0u closed 1 month ago
0
[Cleanup] Merging PMonitor with Monitor

#766 ChristineZh0u closed 1 month ago
0
[Cleanup] Merging PEvent with Event

#764 ChristineZh0u closed 1 month ago
0
[Cleanup] Merge P formatters to P checker formatters

#763 ChristineZh0u closed 1 month ago
0
Prototype Support For Verification

#762 FedericoAureliano closed 1 month ago
0
[clean-up] unnecessary option types

#761 AD1024 closed 1 month ago
0
[Cleanup] Moving ActorRuntime into ControlledRuntime

#760 ChristineZh0u closed 1 month ago
0
Remove the bug that allows function name and state name be same.

#759 ankushdesai closed 1 month ago
0
[PEx] Updates to P tutorial and CLI for PEx, support interface refinement in PEx, refactoring

#758 aman-goel closed 1 month ago
0
Merging Actor.cs with StateMachine.cs

#757 ChristineZh0u closed 1 month ago
0
Fixed a bug related to duplicate bindings

#756 ankushdesai closed 1 month ago
0
Fixing "key not found" error when using set as key

#754 ChristineZh0u closed 2 months ago
1
Dev/ashish

#753 xashisk closed 2 months ago
3
[PEx] Several upgrades post preliminary experimentation

#752 aman-goel closed 2 months ago
0
[PCompiler] Fix incorrect string matching when excluding imported test cases

#751 aman-goel closed 2 months ago
0
Paramtest

#750 zhezhouzz closed 2 months ago
0
[PEx] Adds hybrid stateful backtracking, improves storing search tasks

#749 aman-goel closed 2 months ago
0
Dev/ashish

#748 xashisk closed 2 months ago
1
Remove optional parameters in Monitor

#747 mchadalavada closed 3 months ago
0
Paramtest

#746 zhezhouzz closed 3 months ago
0
[PEx] Revamps tracking unexplored choices, changes schedule choice

#745 aman-goel closed 3 months ago
0
Sync with changes in mainline

#744 aman-goel closed 3 months ago
0
Updating import from Plang to PChecker

#742 ChristineZh0u closed 4 months ago
0
Adding "max_memory" to pchecker_summary.txt

#741 ChristineZh0u closed 4 months ago
0
Creating _pchecker_summary.txt file during PCheck

#740 ChristineZh0u closed 4 months ago
1
Feature request: bitwise ops or expression syntax for set operations

#739 toddlipcon opened 4 months ago
0
Log monitor state or a custom message when it is in a hot state at the end of a schedule

#738 nvartolomei opened 4 months ago
0
How to use C as foreign language in P?

#737 nichanggong opened 4 months ago
0
Move C# runtime

#735 ankushdesai closed 4 months ago
0
p command line prints invisible/white text

#734 nvartolomei opened 4 months ago
2
Does P really no longer support generate C/C++ Language ? Or when can you turn this feature back on

#733 nichanggong opened 4 months ago
0
Question about P Foreign Interface

#732 nichanggong opened 4 months ago
0
Moved the CSharpRuntime for P into the CheckerCore

#731 ankushdesai closed 4 months ago
0
[Bug finding] Track memory usage and enforce memory limit

#730 aman-goel closed 4 months ago
0
Make PMachines serializable in java

#729 mchadalavada closed 4 months ago
0
[PEx] Corrections to stateful search, support Java foreign functions

#728 aman-goel closed 4 months ago
1