Skip to content

Pull requests: p-org/P

New pull request New
Clear current search query, filters, and sorts
0 Open 500 Closed
0 Open 500 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

Fix odd indenting of "else" in generated Java code
#810 by lewisbru was merged Jan 8, 2025 Loading… updated Jan 8, 2025
Java code generation fixes
#809 by ChristineZh0u was merged Jan 8, 2025 Loading… updated Jan 8, 2025
1
Start to move PVerifier so that its ready to be merged into P3.0
#805 by ankushdesai was merged Dec 10, 2024 Loading… updated Dec 10, 2024
11
Fix divide by zero exception.
#808 by aoli-al was merged Dec 10, 2024 Loading… updated Dec 10, 2024
Paramtest
#807 by ankushdesai was merged Dec 4, 2024 Loading… updated Dec 4, 2024
Renamed the folders and targets;
#806 by ankushdesai was merged Dec 4, 2024 Loading… updated Dec 4, 2024
PVerifier Backend
#803 by FedericoAureliano was closed Dec 3, 2024 Loading… updated Dec 3, 2024
Added a type checking rule for the Main Machine
#790 by ankushdesai was closed Oct 10, 2024 Loading… updated Dec 3, 2024
Revert the dynamic sync point generation algorithm for PCT scheduler.
#802 by aoli-al was merged Nov 20, 2024 Loading… updated Nov 20, 2024
Add feedback-guided scheduling algorithms
#791 by aoli-al was merged Oct 18, 2024 Loading… updated Oct 18, 2024
21
Added VectorTime and BehavioralObserver class for feedback strategy
#799 by ChristineZh0u was merged Oct 18, 2024 Loading… updated Oct 18, 2024
1
revert publishdocs.yml changes
#798 by aishu-j was merged Oct 17, 2024 Loading… updated Oct 17, 2024
Fixed a bug in handling of null values in the type checker
#797 by ankushdesai was merged Oct 16, 2024 Loading… updated Oct 16, 2024
updated publish docs
#796 by aishu-j was merged Oct 14, 2024 Loading… updated Oct 14, 2024
@ankushdesai
[Feature] prove * using * command for incremental proof construction
#783 by AD1024 was merged Oct 11, 2024 Loading… updated Oct 11, 2024
8
Update publishdocs - install mkdocs
#795 by aishu-j was merged Oct 11, 2024 Loading… updated Oct 11, 2024
Update publishdocs.yml
#794 by aishu-j was merged Oct 11, 2024 Loading… updated Oct 11, 2024
Update publishdocs.yml
#793 by aishu-j was merged Oct 10, 2024 Loading… updated Oct 10, 2024
Major Code Cleanup
#792 by ChristineZh0u was merged Oct 10, 2024 Loading… updated Oct 10, 2024
3
Major Cleanup of the PChecker
#784 by ankushdesai was closed Oct 9, 2024 Loading… updated Oct 9, 2024
Removing compiler changes
#789 by ChristineZh0u was merged Oct 9, 2024 Loading… updated Oct 9, 2024
6
Fixes a bug in the compiler for allowing entry and exit functions as Named Functions.
#785 by ankushdesai was merged Oct 9, 2024 Loading… updated Oct 9, 2024
Added Unit tests for Entry Named Functions
#788 by aishu-j was merged Oct 9, 2024 Loading… updated Oct 9, 2024
Remove conflict analysis
#787 by ChristineZh0u was merged Oct 8, 2024 Loading… updated Oct 8, 2024
Removing Pattern
#786 by ChristineZh0u was merged Oct 8, 2024 Loading… updated Oct 8, 2024
ProTip! no:milestone will show everything without a milestone.