Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: p-org/P

Actions

PCover on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add 2pc verification tutorial PCover on Ubuntu #647: Commit 194938f pushed by FedericoAureliano
23m 10s experimental/pverifier
experimental/pverifier
23m 10s
cleanup example for tutorial PCover on Ubuntu #646: Commit 33f8e4a pushed by FedericoAureliano
22m 49s experimental/pverifier
experimental/pverifier
22m 49s
fix bug in file names PCover on Ubuntu #645: Commit aec6e8e pushed by FedericoAureliano
22m 41s experimental/pverifier
experimental/pverifier
22m 41s
add default that captures P's proof obligations PCover on Ubuntu #644: Commit 74999b4 pushed by FedericoAureliano
24m 4s experimental/pverifier
experimental/pverifier
24m 4s
fix bug in global procedures: always prepend self reference PCover on Ubuntu #643: Commit f27e546 pushed by FedericoAureliano
22m 38s experimental/pverifier
experimental/pverifier
22m 38s
fix bug in caching by simplifying process checklist PCover on Ubuntu #642: Commit 60f804f pushed by FedericoAureliano
23m 10s experimental/pverifier
experimental/pverifier
23m 10s
allow duplicate invariant names in different groups using group name … PCover on Ubuntu #641: Commit 9f0881c pushed by FedericoAureliano
22m 46s experimental/pverifier
experimental/pverifier
22m 46s
add support for foreign functions with contracts and update one tutor… PCover on Ubuntu #640: Commit 4d41085 pushed by FedericoAureliano
23m 6s experimental/pverifier
experimental/pverifier
23m 6s
[Feature] prove * using * command for incremental proof constructio… PCover on Ubuntu #639: Commit dd47b1e pushed by ankushdesai
21m 41s experimental/pverifier
experimental/pverifier
21m 41s
[Feature] prove * using * command for incremental proof construction PCover on Ubuntu #638: Pull request #783 synchronize by AD1024
22m 33s AD1024:pverifier
AD1024:pverifier
22m 33s
Revert changes to Event. PCover on Ubuntu #637: Commit 548f0f6 pushed by aoli-al
25m 37s experimental/feedback
experimental/feedback
25m 37s
Cleanup. PCover on Ubuntu #636: Commit 61fa8d3 pushed by aoli-al
24m 42s experimental/feedback
experimental/feedback
24m 42s
Added a type checking rule PCover on Ubuntu #635: Commit 45a441b pushed by ankushdesai
26m 42s bugfix/mainMachineNoParam
bugfix/mainMachineNoParam
26m 42s
Removing compiler changes (#789) PCover on Ubuntu #634: Commit ccaa276 pushed by ankushdesai
25m 22s experimental/feedback
experimental/feedback
25m 22s
Removing compiler changes PCover on Ubuntu #633: Pull request #789 synchronize by ChristineZh0u
25m 11s experimental/feedback_cleanup
experimental/feedback_cleanup
25m 11s
Removing compiler changes PCover on Ubuntu #632: Commit c22c64d pushed by ChristineZh0u
25m 10s experimental/feedback_cleanup
experimental/feedback_cleanup
25m 10s
Merge pull request #787 from p-org/experimental/feedback_cleanup PCover on Ubuntu #631: Commit 6537ce6 pushed by ChristineZh0u
24m 55s experimental/feedback
experimental/feedback
24m 55s
Added Unit tests for Entry Named Functions PCover on Ubuntu #630: Commit 175e806 pushed by aishu-j
30m 48s bugFix/EntryNamedFunctionUnitTest
bugFix/EntryNamedFunctionUnitTest
30m 48s
Remove conflict analysis PCover on Ubuntu #629: Pull request #787 opened by ChristineZh0u
25m 17s experimental/feedback_cleanup
experimental/feedback_cleanup
25m 17s
Remove conflict analysis PCover on Ubuntu #628: Commit 5f65c5c pushed by ChristineZh0u
25m 10s experimental/feedback_cleanup
experimental/feedback_cleanup
25m 10s
Added Unit tests for Event Named Functions PCover on Ubuntu #627: Commit 1881650 pushed by aishu-j
27m 41s bugFix/EntryNamedFunctionUnitTest
bugFix/EntryNamedFunctionUnitTest
27m 41s
[Feature] prove * using * command for incremental proof construction PCover on Ubuntu #626: Pull request #783 synchronize by AD1024
23m 8s AD1024:pverifier
AD1024:pverifier
23m 8s
Removing Pattern (#786) PCover on Ubuntu #625: Commit 9d91a54 pushed by ankushdesai
25m 31s experimental/feedback
experimental/feedback
25m 31s
[Feature] prove * using * command for incremental proof construction PCover on Ubuntu #624: Pull request #783 synchronize by AD1024
22m 49s AD1024:pverifier
AD1024:pverifier
22m 49s
[Feature] prove * using * command for incremental proof construction PCover on Ubuntu #623: Pull request #783 synchronize by AD1024
23m 1s AD1024:pverifier
AD1024:pverifier
23m 1s