Skip to content

Pull requests: p-org/P

New pull request New
Clear current search query, filters, and sorts
0 Open 450 Closed
0 Open 450 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[PCompiler] Fix incorrect string matching when excluding imported test cases
#751 by aman-goel was merged Jul 18, 2024 Loading…
Paramtest
#750 by zhezhouzz was closed Jul 16, 2024 Loading…
[PEx] Adds hybrid stateful backtracking, improves storing search tasks
#749 by aman-goel was merged Jul 15, 2024 Loading…
1
Dev/ashish
#748 by xashisk was merged Jul 10, 2024 Loading…
1
Remove optional parameters in Monitor
#747 by mchadalavada was merged Jun 29, 2024 Loading…
1
Paramtest
#746 by zhezhouzz was closed Jun 17, 2024 Loading…
[PEx] Revamps tracking unexplored choices, changes schedule choice
#745 by aman-goel was merged Jun 19, 2024 Loading…
4
Sync with changes in mainline
#744 by aman-goel was closed Jun 14, 2024 Loading…
Updating import from Plang to PChecker
#742 by ChristineZh0u was merged May 31, 2024 Loading…
Adding "max_memory" to pchecker_summary.txt
#741 by ChristineZh0u was merged May 30, 2024 Loading…
3
Creating _pchecker_summary.txt file during PCheck
#740 by ChristineZh0u was merged May 29, 2024 Loading…
3
Move C# runtime
#735 by ankushdesai was merged May 23, 2024 Loading…
Moved the CSharpRuntime for P into the CheckerCore
#731 by ankushdesai was merged May 22, 2024 Loading…
[Bug finding] Track memory usage and enforce memory limit
#730 by aman-goel was merged May 20, 2024 Loading…
Make PMachines serializable in java
#729 by mchadalavada was merged May 20, 2024 Loading…
[PEx] Corrections to stateful search, support Java foreign functions
#728 by aman-goel was merged May 14, 2024 Loading…
1
[PExplicit] Sync with mainline
#727 by aman-goel was merged May 6, 2024 Loading…
Make PEvents and PTypes serializable in java
#726 by mchadalavada was merged May 3, 2024 Loading…
Limit number of choices in choose expression to at most 10000
#725 by aman-goel was merged May 2, 2024 Loading…
1
[PExplicit] Improve state caching, add non-chronological backtracking
#724 by aman-goel was merged Apr 30, 2024 Loading…
PR cleanup
#723 by aoli-al was merged Apr 25, 2024 Loading…
5
[PExplicit] Support liveness/deadlock checking, state-caching, stateful backtracking
#722 by aman-goel was merged Apr 26, 2024 Loading…
6
[PExplicit] Sync with master branch
#721 by aman-goel was merged Apr 22, 2024 Loading…
[PExplicit] Sync with master
#720 by aman-goel was merged Apr 16, 2024 Loading…
Improving the code with some cleanup.
#719 by ankushdesai was merged Apr 15, 2024 Loading…
ProTip! What’s not been updated in a month: updated:<2024-06-19.