Skip to content

Actions: p-org/P

Actions

PExplicit on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[PExplicit] Several corrections to choice tracking PExplicit on Ubuntu #59: Commit c99493c pushed by aman-goel
May 6, 2024 18:51 25m 30s dev/aman
dev/aman
May 6, 2024 18:51 25m 30s
[PExplicit IR] Minor correction PExplicit on Ubuntu #58: Commit fc1282f pushed by aman-goel
May 1, 2024 20:04 25m 18s dev/aman
dev/aman
May 1, 2024 20:04 25m 18s
[PExplicit] Refactoring and cleanup PExplicit on Ubuntu #57: Commit a71d77e pushed by aman-goel
April 30, 2024 21:19 25m 24s dev/pexplicit_checker
dev/pexplicit_checker
April 30, 2024 21:19 25m 24s
[PExplicit] Improve state caching, add non-chronological backtracking PExplicit on Ubuntu #56: Pull request #724 opened by aman-goel
April 26, 2024 19:58 24m 59s dev/aman
dev/aman
April 26, 2024 19:58 24m 59s
[PExplicit] Refactoring and cleanup PExplicit on Ubuntu #55: Commit a34e636 pushed by aman-goel
April 26, 2024 17:12 25m 12s dev/aman
dev/aman
April 26, 2024 17:12 25m 12s
[PExplicit] Minor refactoring PExplicit on Ubuntu #54: Commit 563f2fa pushed by aman-goel
April 26, 2024 17:10 25m 14s dev/aman
dev/aman
April 26, 2024 17:10 25m 14s
[Pexplicit] Minor PExplicit on Ubuntu #53: Commit 42077f8 pushed by aman-goel
April 26, 2024 16:37 25m 35s dev/aman
dev/aman
April 26, 2024 16:37 25m 35s
[Pexplicit] Minor PExplicit on Ubuntu #52: Commit 4b0867f pushed by aman-goel
April 26, 2024 16:28 25m 42s dev/aman
dev/aman
April 26, 2024 16:28 25m 42s
[PExplicit] Uniquify instanceId for PMachine as well as PMonitor PExplicit on Ubuntu #51: Commit 8785dde pushed by aman-goel
April 26, 2024 02:45 25m 18s dev/pexplicit_checker
dev/pexplicit_checker
April 26, 2024 02:45 25m 18s
[Pexplicit] Minor PExplicit on Ubuntu #50: Commit 4b0867f pushed by aman-goel
April 25, 2024 23:59 25m 23s dev/aman2
dev/aman2
April 25, 2024 23:59 25m 23s
[PExplicit] Add non-chronological search PExplicit on Ubuntu #49: Commit e21ae0f pushed by aman-goel
April 25, 2024 23:39 25m 31s dev/aman2
dev/aman2
April 25, 2024 23:39 25m 31s
[PExplicit] Improve state caching PExplicit on Ubuntu #48: Commit 242fc6e pushed by aman-goel
April 23, 2024 21:04 25m 37s dev/aman2
dev/aman2
April 23, 2024 21:04 25m 37s
[PExplicit] Support liveness/deadlock checking, state-caching, stateful backtracking PExplicit on Ubuntu #47: Pull request #722 opened by aman-goel
April 22, 2024 19:07 25m 4s dev/aman
dev/aman
April 22, 2024 19:07 25m 4s
[PExplicit] Sync with master branch PExplicit on Ubuntu #46: Pull request #721 opened by aman-goel
April 22, 2024 18:52 23m 13s master
master
April 22, 2024 18:52 23m 13s
[PExplicit] Uniquify instanceId for PMachine as well as PMonitor PExplicit on Ubuntu #45: Commit e290af6 pushed by aman-goel
April 22, 2024 17:43 25m 49s dev/aman
dev/aman
April 22, 2024 17:43 25m 49s
[PExplicit] Correct PMachine/PMonitor hashCode and compateTo functions PExplicit on Ubuntu #44: Commit 1ae4482 pushed by aman-goel
April 19, 2024 21:35 25m 32s dev/aman
dev/aman
April 19, 2024 21:35 25m 32s
[PExplicit] Minor corrections PExplicit on Ubuntu #43: Commit 5287b86 pushed by aman-goel
April 19, 2024 20:43 24m 16s dev/aman
dev/aman
April 19, 2024 20:43 24m 16s
[PExplicit] More reformatting PExplicit on Ubuntu #42: Commit b611e46 pushed by aman-goel
April 19, 2024 19:44 25m 10s dev/aman
dev/aman
April 19, 2024 19:44 25m 10s
[PExplicit] Reformat code PExplicit on Ubuntu #41: Commit 9964710 pushed by aman-goel
April 19, 2024 19:40 25m 29s dev/aman
dev/aman
April 19, 2024 19:40 25m 29s
[PExplicit] Refactor and enable stateful backtracking PExplicit on Ubuntu #40: Commit c021b78 pushed by aman-goel
April 19, 2024 19:26 25m 50s dev/aman
dev/aman
April 19, 2024 19:26 25m 50s
[PExplicit] Correct backtracking PExplicit on Ubuntu #39: Commit a10f249 pushed by aman-goel
April 19, 2024 18:38 26m 1s dev/aman
dev/aman
April 19, 2024 18:38 26m 1s
[PExplicit] Correct replayer, add initial version of stateful backtra… PExplicit on Ubuntu #38: Commit e1e1464 pushed by aman-goel
April 19, 2024 17:32 26m 0s dev/aman
dev/aman
April 19, 2024 17:32 26m 0s
[PExplicit] Correct local var names in IR PExplicit on Ubuntu #37: Commit 5a6390d pushed by aman-goel
April 18, 2024 23:58 27m 31s dev/aman
dev/aman
April 18, 2024 23:58 27m 31s
[PExplicit] Correct cycle error in replayer, enforce cycle detection … PExplicit on Ubuntu #36: Commit 20a53dd pushed by aman-goel
April 18, 2024 21:49 24m 34s dev/aman
dev/aman
April 18, 2024 21:49 24m 34s
[PExplicit] Minor refactoring PExplicit on Ubuntu #35: Commit 8ec0dbc pushed by aman-goel
April 18, 2024 21:22 24m 12s dev/aman
dev/aman
April 18, 2024 21:22 24m 12s