Skip to content

Actions: p-org/P

Actions

PCover on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
462 workflow runs
462 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Moved the CSharpRuntime for P into the CheckerCore PCover on Ubuntu #439: Pull request #731 opened by ankushdesai
May 21, 2024 23:18 25m 31s cleanup/RemoveCSharpRuntime
cleanup/RemoveCSharpRuntime
May 21, 2024 23:18 25m 31s
Moved the CSharpRuntime for P into the CheckerCore PCover on Ubuntu #438: Commit 78d9088 pushed by ankushdesai
May 21, 2024 23:17 25m 36s cleanup/RemoveCSharpRuntime
cleanup/RemoveCSharpRuntime
May 21, 2024 23:17 25m 36s
[C#] Minor: correct handling of default memout PCover on Ubuntu #437: Commit 836e51c pushed by aman-goel
May 20, 2024 23:23 26m 16s master
master
May 20, 2024 23:23 26m 16s
[Bug finding] Track memory usage and enforce memory limit PCover on Ubuntu #436: Pull request #730 synchronize by aman-goel
May 20, 2024 22:40 27m 19s dev/memout
dev/memout
May 20, 2024 22:40 27m 19s
[C#] Minor: correct handling of default memout PCover on Ubuntu #435: Commit 891230b pushed by aman-goel
May 20, 2024 22:40 25m 46s dev/memout
dev/memout
May 20, 2024 22:40 25m 46s
[Bug finding] Track memory usage and enforce memory limit PCover on Ubuntu #434: Pull request #730 opened by aman-goel
May 20, 2024 22:40 26m 18s dev/memout
dev/memout
May 20, 2024 22:40 26m 18s
[C#] Minor: correct handling of default memout PCover on Ubuntu #433: Commit 90da69b pushed by aman-goel
May 20, 2024 22:06 26m 28s dev/memout
dev/memout
May 20, 2024 22:06 26m 28s
Minor cleanup PCover on Ubuntu #432: Commit 8b97476 pushed by aman-goel
May 20, 2024 21:53 26m 11s dev/memout
dev/memout
May 20, 2024 21:53 26m 11s
[C# backend] Enforce memory limit PCover on Ubuntu #431: Commit e30dd73 pushed by aman-goel
May 20, 2024 21:51 27m 36s dev/memout
dev/memout
May 20, 2024 21:51 27m 36s
Make PMachines serializable in java (#729) PCover on Ubuntu #430: Commit fe1e4f7 pushed by ankushdesai
May 20, 2024 20:31 27m 20s p-2.1.4
p-2.1.4
May 20, 2024 20:31 27m 20s
Make PMachines serializable in java (#729) PCover on Ubuntu #429: Commit fe1e4f7 pushed by ankushdesai
May 20, 2024 19:13 25m 58s master
master
May 20, 2024 19:13 25m 58s
Make PMachines serializable in java PCover on Ubuntu #428: Pull request #729 opened by mchadalavada
May 20, 2024 18:43 27m 6s mchadalavada:master
mchadalavada:master
May 20, 2024 18:43 27m 6s
Make PEvents and PTypes serializable in java (#726) PCover on Ubuntu #427: Commit 43a9803 pushed by ankushdesai
May 3, 2024 20:50 25m 42s p-2.1.3
p-2.1.3
May 3, 2024 20:50 25m 42s
Make PEvents and PTypes serializable in java (#726) PCover on Ubuntu #426: Commit 43a9803 pushed by ankushdesai
May 3, 2024 20:41 25m 52s master
master
May 3, 2024 20:41 25m 52s
Make PEvents and PTypes serializable in java PCover on Ubuntu #425: Pull request #726 opened by mchadalavada
May 3, 2024 18:04 27m 38s mchadalavada:master
mchadalavada:master
May 3, 2024 18:04 27m 38s
Limit number of choices in choose expression to at most 10000 (#725) PCover on Ubuntu #424: Commit 5f96108 pushed by mchadalavada
May 3, 2024 17:56 25m 55s 2.1
2.1
May 3, 2024 17:56 25m 55s
Limit number of choices in choose expression to at most 10000 (#725) PCover on Ubuntu #423: Commit 5f96108 pushed by ankushdesai
May 2, 2024 20:30 26m 7s master
master
May 2, 2024 20:30 26m 7s
Limit number of choices in choose expression to at most 10000 PCover on Ubuntu #422: Pull request #725 opened by aman-goel
May 2, 2024 20:01 26m 10s dev/choose
dev/choose
May 2, 2024 20:01 26m 10s
[PSym] Throw error if number of choices are greater than 10000 PCover on Ubuntu #421: Commit 4fa1b5d pushed by aman-goel
May 2, 2024 19:56 25m 45s dev/choose
dev/choose
May 2, 2024 19:56 25m 45s
Adds regression tests for choose exceeding 10000 choices PCover on Ubuntu #420: Commit 895d1f1 pushed by aman-goel
May 2, 2024 19:20 29m 11s dev/choose
dev/choose
May 2, 2024 19:20 29m 11s
Limit number of choices in a choose(.) to atmost 10,000 PCover on Ubuntu #419: Commit 9b7d2aa pushed by aman-goel
May 2, 2024 18:59 26m 14s dev/choose
dev/choose
May 2, 2024 18:59 26m 14s
PR cleanup (#723) PCover on Ubuntu #418: Commit 3f4781a pushed by ankushdesai
April 25, 2024 18:05 25m 58s experimental/feedback-strategy
experimental/feedback-strategy
April 25, 2024 18:05 25m 58s
PR cleanup PCover on Ubuntu #417: Pull request #723 synchronize by aoli-al
April 25, 2024 17:56 26m 32s aoli-al:master
aoli-al:master
April 25, 2024 17:56 26m 32s
PR cleanup PCover on Ubuntu #416: Pull request #723 opened by aoli-al
April 24, 2024 21:06 26m 14s aoli-al:master
aoli-al:master
April 24, 2024 21:06 26m 14s
Improving the code with some cleanup. (#719) PCover on Ubuntu #415: Commit c6f74dc pushed by ankushdesai
April 15, 2024 16:10 25m 58s experimental/feedback-strategy
experimental/feedback-strategy
April 15, 2024 16:10 25m 58s