Skip to content

Actions: p-org/P

Actions

PCover on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
631 workflow runs
631 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Feature] prove * using * command for incremental proof constructio… PCover on Ubuntu #639: Commit dd47b1e pushed by ankushdesai
October 11, 2024 20:08 21m 41s experimental/pverifier
experimental/pverifier
October 11, 2024 20:08 21m 41s
[Feature] prove * using * command for incremental proof construction PCover on Ubuntu #638: Pull request #783 synchronize by AD1024
October 11, 2024 18:24 22m 33s AD1024:pverifier
AD1024:pverifier
October 11, 2024 18:24 22m 33s
Revert changes to Event. PCover on Ubuntu #637: Commit 548f0f6 pushed by aoli-al
October 10, 2024 08:14 25m 37s experimental/feedback
experimental/feedback
October 10, 2024 08:14 25m 37s
Cleanup. PCover on Ubuntu #636: Commit 61fa8d3 pushed by aoli-al
October 10, 2024 08:02 24m 42s experimental/feedback
experimental/feedback
October 10, 2024 08:02 24m 42s
Added a type checking rule PCover on Ubuntu #635: Commit 45a441b pushed by ankushdesai
October 9, 2024 18:55 26m 42s bugfix/mainMachineNoParam
bugfix/mainMachineNoParam
October 9, 2024 18:55 26m 42s
Removing compiler changes (#789) PCover on Ubuntu #634: Commit ccaa276 pushed by ankushdesai
October 9, 2024 16:09 25m 22s experimental/feedback
experimental/feedback
October 9, 2024 16:09 25m 22s
Removing compiler changes PCover on Ubuntu #633: Pull request #789 synchronize by ChristineZh0u
October 9, 2024 02:25 25m 11s experimental/feedback_cleanup
experimental/feedback_cleanup
October 9, 2024 02:25 25m 11s
Removing compiler changes PCover on Ubuntu #632: Commit c22c64d pushed by ChristineZh0u
October 9, 2024 02:25 25m 10s experimental/feedback_cleanup
experimental/feedback_cleanup
October 9, 2024 02:25 25m 10s
Merge pull request #787 from p-org/experimental/feedback_cleanup PCover on Ubuntu #631: Commit 6537ce6 pushed by ChristineZh0u
October 8, 2024 23:42 24m 55s experimental/feedback
experimental/feedback
October 8, 2024 23:42 24m 55s
Added Unit tests for Entry Named Functions PCover on Ubuntu #630: Commit 175e806 pushed by aishu-j
October 8, 2024 20:43 30m 48s bugFix/EntryNamedFunctionUnitTest
bugFix/EntryNamedFunctionUnitTest
October 8, 2024 20:43 30m 48s
Remove conflict analysis PCover on Ubuntu #629: Pull request #787 opened by ChristineZh0u
October 8, 2024 20:40 25m 17s experimental/feedback_cleanup
experimental/feedback_cleanup
October 8, 2024 20:40 25m 17s
Remove conflict analysis PCover on Ubuntu #628: Commit 5f65c5c pushed by ChristineZh0u
October 8, 2024 20:38 25m 10s experimental/feedback_cleanup
experimental/feedback_cleanup
October 8, 2024 20:38 25m 10s
Added Unit tests for Event Named Functions PCover on Ubuntu #627: Commit 1881650 pushed by aishu-j
October 8, 2024 20:38 27m 41s bugFix/EntryNamedFunctionUnitTest
bugFix/EntryNamedFunctionUnitTest
October 8, 2024 20:38 27m 41s
[Feature] prove * using * command for incremental proof construction PCover on Ubuntu #626: Pull request #783 synchronize by AD1024
October 8, 2024 19:44 23m 8s AD1024:pverifier
AD1024:pverifier
October 8, 2024 19:44 23m 8s
Removing Pattern (#786) PCover on Ubuntu #625: Commit 9d91a54 pushed by ankushdesai
October 8, 2024 19:33 25m 31s experimental/feedback
experimental/feedback
October 8, 2024 19:33 25m 31s
[Feature] prove * using * command for incremental proof construction PCover on Ubuntu #624: Pull request #783 synchronize by AD1024
October 8, 2024 19:04 22m 49s AD1024:pverifier
AD1024:pverifier
October 8, 2024 19:04 22m 49s
[Feature] prove * using * command for incremental proof construction PCover on Ubuntu #623: Pull request #783 synchronize by AD1024
October 8, 2024 18:46 23m 1s AD1024:pverifier
AD1024:pverifier
October 8, 2024 18:46 23m 1s
Removing Pattern PCover on Ubuntu #622: Pull request #786 opened by ChristineZh0u
October 8, 2024 18:07 39m 50s experimental/feedback_cleanup
experimental/feedback_cleanup
October 8, 2024 18:07 39m 50s
Removing Pattern PCover on Ubuntu #621: Commit 280eeb2 pushed by ChristineZh0u
October 8, 2024 18:05 28m 52s experimental/feedback_cleanup
experimental/feedback_cleanup
October 8, 2024 18:05 28m 52s
Removing Pattern PCover on Ubuntu #620: Commit f1594f4 pushed by ChristineZh0u
October 8, 2024 18:01 28m 6s experimental/feedback_cleanup
experimental/feedback_cleanup
October 8, 2024 18:01 28m 6s
Merge branch 'master' into experimental/feedback-strategy PCover on Ubuntu #619: Commit 5c98bc9 pushed by ChristineZh0u
October 8, 2024 17:59 26m 40s experimental/feedback
experimental/feedback
October 8, 2024 17:59 26m 40s
Fixes a bug in the compiler for allowing entry and exit functions as Named Functions. PCover on Ubuntu #618: Pull request #785 synchronize by ankushdesai
October 8, 2024 17:55 23s bugFix/EntryNamedFunction
bugFix/EntryNamedFunction
October 8, 2024 17:55 23s
Merge branch 'master' into bugFix/EntryNamedFunction PCover on Ubuntu #617: Commit 33c1055 pushed by ankushdesai
October 8, 2024 17:55 26m 18s bugFix/EntryNamedFunction
bugFix/EntryNamedFunction
October 8, 2024 17:55 26m 18s
Removing Scenario/Pattern configuration PCover on Ubuntu #616: Commit b9471d4 pushed by ChristineZh0u
October 8, 2024 17:33 26m 29s experimental/feedback
experimental/feedback
October 8, 2024 17:33 26m 29s
Fixes a bug in the compiler for allowing entry and exit functions as Named Functions. PCover on Ubuntu #615: Pull request #785 opened by ankushdesai
October 7, 2024 21:15 26m 56s bugFix/EntryNamedFunction
bugFix/EntryNamedFunction
October 7, 2024 21:15 26m 56s