Skip to content

Actions: p-org/P

Actions

PSym on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
531 workflow runs
531 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add 2pc verification tutorial PSym on Ubuntu #1098: Commit 194938f pushed by FedericoAureliano
November 23, 2024 00:23 24m 18s experimental/pverifier
experimental/pverifier
November 23, 2024 00:23 24m 18s
cleanup example for tutorial PSym on Ubuntu #1097: Commit 33f8e4a pushed by FedericoAureliano
November 4, 2024 20:43 23m 43s experimental/pverifier
experimental/pverifier
November 4, 2024 20:43 23m 43s
fix bug in file names PSym on Ubuntu #1096: Commit aec6e8e pushed by FedericoAureliano
November 2, 2024 01:43 23m 11s experimental/pverifier
experimental/pverifier
November 2, 2024 01:43 23m 11s
add default that captures P's proof obligations PSym on Ubuntu #1095: Commit 74999b4 pushed by FedericoAureliano
November 2, 2024 01:22 24m 1s experimental/pverifier
experimental/pverifier
November 2, 2024 01:22 24m 1s
fix bug in global procedures: always prepend self reference PSym on Ubuntu #1094: Commit f27e546 pushed by FedericoAureliano
November 1, 2024 23:13 23m 20s experimental/pverifier
experimental/pverifier
November 1, 2024 23:13 23m 20s
fix bug in caching by simplifying process checklist PSym on Ubuntu #1093: Commit 60f804f pushed by FedericoAureliano
October 31, 2024 20:59 23m 45s experimental/pverifier
experimental/pverifier
October 31, 2024 20:59 23m 45s
allow duplicate invariant names in different groups using group name … PSym on Ubuntu #1092: Commit 9f0881c pushed by FedericoAureliano
October 30, 2024 04:47 24m 21s experimental/pverifier
experimental/pverifier
October 30, 2024 04:47 24m 21s
add support for foreign functions with contracts and update one tutor… PSym on Ubuntu #1091: Commit 4d41085 pushed by FedericoAureliano
October 30, 2024 03:48 23m 35s experimental/pverifier
experimental/pverifier
October 30, 2024 03:48 23m 35s
[Feature] prove * using * command for incremental proof constructio… PSym on Ubuntu #1090: Commit dd47b1e pushed by ankushdesai
October 11, 2024 20:08 22m 36s experimental/pverifier
experimental/pverifier
October 11, 2024 20:08 22m 36s
[Feature] prove * using * command for incremental proof construction PSym on Ubuntu #1089: Pull request #783 synchronize by AD1024
October 11, 2024 18:24 22m 46s AD1024:pverifier
AD1024:pverifier
October 11, 2024 18:24 22m 46s
Revert changes to Event. PSym on Ubuntu #1088: Commit 548f0f6 pushed by aoli-al
October 10, 2024 08:14 27m 9s experimental/feedback
experimental/feedback
October 10, 2024 08:14 27m 9s
Cleanup. PSym on Ubuntu #1087: Commit 61fa8d3 pushed by aoli-al
October 10, 2024 08:02 27m 30s experimental/feedback
experimental/feedback
October 10, 2024 08:02 27m 30s
Added a type checking rule PSym on Ubuntu #1086: Commit 45a441b pushed by ankushdesai
October 9, 2024 18:55 28m 20s bugfix/mainMachineNoParam
bugfix/mainMachineNoParam
October 9, 2024 18:55 28m 20s
Removing compiler changes (#789) PSym on Ubuntu #1085: Commit ccaa276 pushed by ankushdesai
October 9, 2024 16:09 26m 21s experimental/feedback
experimental/feedback
October 9, 2024 16:09 26m 21s
Removing compiler changes PSym on Ubuntu #1084: Pull request #789 synchronize by ChristineZh0u
October 9, 2024 02:25 26m 17s experimental/feedback_cleanup
experimental/feedback_cleanup
October 9, 2024 02:25 26m 17s
Removing compiler changes PSym on Ubuntu #1083: Commit c22c64d pushed by ChristineZh0u
October 9, 2024 02:25 26m 27s experimental/feedback_cleanup
experimental/feedback_cleanup
October 9, 2024 02:25 26m 27s
Merge pull request #787 from p-org/experimental/feedback_cleanup PSym on Ubuntu #1082: Commit 6537ce6 pushed by ChristineZh0u
October 8, 2024 23:42 26m 35s experimental/feedback
experimental/feedback
October 8, 2024 23:42 26m 35s
Added Unit tests for Entry Named Functions PSym on Ubuntu #1081: Commit 175e806 pushed by aishu-j
October 8, 2024 20:43 29m 2s bugFix/EntryNamedFunctionUnitTest
bugFix/EntryNamedFunctionUnitTest
October 8, 2024 20:43 29m 2s
Remove conflict analysis PSym on Ubuntu #1080: Pull request #787 opened by ChristineZh0u
October 8, 2024 20:40 26m 54s experimental/feedback_cleanup
experimental/feedback_cleanup
October 8, 2024 20:40 26m 54s
Remove conflict analysis PSym on Ubuntu #1079: Commit 5f65c5c pushed by ChristineZh0u
October 8, 2024 20:38 27m 1s experimental/feedback_cleanup
experimental/feedback_cleanup
October 8, 2024 20:38 27m 1s
Added Unit tests for Event Named Functions PSym on Ubuntu #1078: Commit 1881650 pushed by aishu-j
October 8, 2024 20:38 27m 31s bugFix/EntryNamedFunctionUnitTest
bugFix/EntryNamedFunctionUnitTest
October 8, 2024 20:38 27m 31s
[Feature] prove * using * command for incremental proof construction PSym on Ubuntu #1077: Pull request #783 synchronize by AD1024
October 8, 2024 19:44 23m 3s AD1024:pverifier
AD1024:pverifier
October 8, 2024 19:44 23m 3s
Removing Pattern (#786) PSym on Ubuntu #1076: Commit 9d91a54 pushed by ankushdesai
October 8, 2024 19:33 27m 43s experimental/feedback
experimental/feedback
October 8, 2024 19:33 27m 43s
[Feature] prove * using * command for incremental proof construction PSym on Ubuntu #1075: Pull request #783 synchronize by AD1024
October 8, 2024 19:04 22m 45s AD1024:pverifier
AD1024:pverifier
October 8, 2024 19:04 22m 45s
[Feature] prove * using * command for incremental proof construction PSym on Ubuntu #1074: Pull request #783 synchronize by AD1024
October 8, 2024 18:46 23m 10s AD1024:pverifier
AD1024:pverifier
October 8, 2024 18:46 23m 10s