Skip to content

Pull requests: p-org/P

New pull request New
Clear current search query, filters, and sorts
4 Open 584 Closed
4 Open 584 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix string comparison in PChecker runtime
#919 by lewisbru was merged Dec 11, 2025 Loading…
@ankushdesai
Docs update AWS Pi-Week Talk Amazon S3 strong consistency link
#916 by carlosahs was merged Dec 12, 2025 Loading…
1
Fix list tests lists duplicated tests
#912 by ChristineZh0u was merged Sep 30, 2025 Loading…
Fix PVerifier pages not showing up correctly on P wiki
#911 by ChristineZh0u was merged Sep 18, 2025 Loading…
Add first draft of documentation for pobserve with examples
#908 by mchadalavada was merged Aug 22, 2025 Loading…
Fix tutorial tests and change pex.yml to use and test pex maven library
#907 by ChristineZh0u was merged Aug 18, 2025 Loading…
[PVerifier] exception handling for PVerifier-specific tokens
#906 by AD1024 was merged Aug 15, 2025 Loading…
[fix] reporting error messages from uclid when base case failed verification
#905 by AD1024 was merged Aug 15, 2025 Loading…
2
Bump commons-io:commons-io from 2.11.0 to 2.14.0 in /Src/PEx dependencies Pull requests that update a dependency file java Pull requests that update java code
#904 by dependabot bot was closed Dec 12, 2025 Loading…
2
Major/p3.0
#903 by ankushdesai was merged Aug 13, 2025 Loading…
1
Dev p3.0/pex doc
#902 by ChristineZh0u was merged Aug 12, 2025 Loading…
Dev p3.0/pex doc
#900 by ChristineZh0u was merged Aug 11, 2025 Loading…
[PInfer] scripts for ranking specs and running comparisons
#899 by AD1024 was merged Aug 11, 2025 Loading…
Add simple lock server example for pobserve
#898 by mchadalavada was merged Aug 8, 2025 Loading…
Add PObserve cli
#897 by mchadalavada was merged Aug 8, 2025 Loading…
Add Pre Announcement for P 3.0 Release of P Verifier
#896 by FedericoAureliano was merged Aug 8, 2025 Loading…
Add PObserveRegressionTesting and github workflow to publish to maven
#895 by mchadalavada was merged Aug 8, 2025 Loading…
Update java generator code to generate updated imports from maven
#894 by mchadalavada was merged Aug 6, 2025 Loading…
Add documentation for PEx
#893 by ChristineZh0u was merged Aug 9, 2025 Loading…
6
Add PObserveJavaUnitTest and gihub workflow to publish to maven
#892 by mchadalavada was merged Aug 6, 2025 Loading…
Add PObserve Commons and publish to maven central
#891 by mchadalavada was merged Aug 5, 2025 Loading…
[add] Paxos and Raft for P Tutorials
#890 by AD1024 was merged Aug 4, 2025 Loading…
Add param tests in tutorials
#889 by ChristineZh0u was merged Aug 4, 2025 Loading…
3
Add 2 more examples for PVerifier
#888 by AD1024 was merged Jul 30, 2025 Loading…
P Verifier
#887 by FedericoAureliano was merged Jul 30, 2025 Loading…
ProTip! Filter pull requests by the default branch with base:master.