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] Adds state caching PExplicit on Ubuntu #34: Commit 0566533 pushed by aman-goel
April 18, 2024 21:04 24m 6s dev/aman
dev/aman
April 18, 2024 21:04 24m 6s
[PExplicit] Correct halt event name PExplicit on Ubuntu #33: Commit 75aff11 pushed by aman-goel
April 18, 2024 16:57 25m 30s dev/aman
dev/aman
April 18, 2024 16:57 25m 30s
[PExplicit] Adds TextWriter to write trace in txt format PExplicit on Ubuntu #32: Commit b9a9e1a pushed by aman-goel
April 17, 2024 22:25 25m 39s dev/aman
dev/aman
April 17, 2024 22:25 25m 39s
[PExplicit] Correct issues when replaying buggy trace PExplicit on Ubuntu #31: Commit 4441eee pushed by aman-goel
April 17, 2024 18:09 25m 30s dev/aman
dev/aman
April 17, 2024 18:09 25m 30s
[PExplicit] Adds buggy trace replayer and basic .schedule writer PExplicit on Ubuntu #30: Commit 5f9c25e pushed by aman-goel
April 16, 2024 23:54 25m 42s dev/aman
dev/aman
April 16, 2024 23:54 25m 42s
Create custom converter for JSON serialization in .NET8 (#717) PExplicit on Ubuntu #29: Commit 4d5246c pushed by aman-goel
April 16, 2024 23:50 23m 10s dev/pexplicit_checker
dev/pexplicit_checker
April 16, 2024 23:50 23m 10s
[PExplicit] Sync with master PExplicit on Ubuntu #28: Pull request #720 opened by aman-goel
April 16, 2024 23:49 23m 9s master
master
April 16, 2024 23:49 23m 9s
[PExplicit] Update comments PExplicit on Ubuntu #27: Commit 2535e6e pushed by aman-goel
April 16, 2024 23:29 22m 53s dev/pexplicit_checker
dev/pexplicit_checker
April 16, 2024 23:29 22m 53s
[PExplicit] Support stateless DFS with all P lang features PExplicit on Ubuntu #26: Pull request #718 synchronize by aman-goel
April 15, 2024 23:52 24m 10s dev/aman
dev/aman
April 15, 2024 23:52 24m 10s
[PExplicit] Update comments PExplicit on Ubuntu #25: Commit f65d0cd pushed by aman-goel
April 15, 2024 23:52 22m 52s dev/aman
dev/aman
April 15, 2024 23:52 22m 52s
[PExplicit] Support stateless DFS with all P lang features PExplicit on Ubuntu #24: Pull request #718 synchronize by aman-goel
April 15, 2024 23:35 22m 55s dev/aman
dev/aman
April 15, 2024 23:35 22m 55s
[PExplicit] Clean up control flow relating to pending state transitio… PExplicit on Ubuntu #23: Commit 9c1e48a pushed by aman-goel
April 15, 2024 23:35 23m 12s dev/aman
dev/aman
April 15, 2024 23:35 23m 12s
[PExplicit] Support stateless DFS with all P lang features PExplicit on Ubuntu #22: Pull request #718 synchronize by aman-goel
April 15, 2024 19:42 22m 51s dev/aman
dev/aman
April 15, 2024 19:42 22m 51s
[PExplicit] Convert run status to enum PExplicit on Ubuntu #21: Commit 61ef7c3 pushed by aman-goel
April 15, 2024 19:42 22m 58s dev/aman
dev/aman
April 15, 2024 19:42 22m 58s
[PExplicit] Support stateless DFS with all P lang features PExplicit on Ubuntu #20: Pull request #718 opened by aman-goel
April 12, 2024 18:05 23m 40s dev/aman
dev/aman
April 12, 2024 18:05 23m 40s
[PExplicit] Minor: report class cast exception as a bug PExplicit on Ubuntu #19: Commit d8fbfe3 pushed by aman-goel
April 12, 2024 00:43 22m 48s dev/aman
dev/aman
April 12, 2024 00:43 22m 48s
[PExplicit] Update to java 17 PExplicit on Ubuntu #18: Commit 1915ecc pushed by aman-goel
April 11, 2024 23:36 23m 0s dev/aman
dev/aman
April 11, 2024 23:36 23m 0s
[PExplicit] Update pom, minor refactoring PExplicit on Ubuntu #17: Commit 6e67961 pushed by aman-goel
April 11, 2024 23:20 22m 42s dev/aman
dev/aman
April 11, 2024 23:20 22m 42s
Undo temporary changes to GitHub CI PExplicit on Ubuntu #16: Commit fe9964d pushed by aman-goel
April 11, 2024 22:52 52s dev/aman
dev/aman
April 11, 2024 22:52 52s
[PExplicit] Refactoring and cleanup PExplicit on Ubuntu #15: Commit 8ef5c6d pushed by aman-goel
April 11, 2024 22:50 48s dev/aman
dev/aman
April 11, 2024 22:50 48s
[PExplicit] Several corrections and minor lang feature support PExplicit on Ubuntu #14: Commit 603040d pushed by aman-goel
April 11, 2024 22:39 23m 1s dev/aman
dev/aman
April 11, 2024 22:39 23m 1s
[PExplicit] Several small upgrades PExplicit on Ubuntu #13: Commit 872683b pushed by aman-goel
April 11, 2024 21:33 24m 56s dev/aman
dev/aman
April 11, 2024 21:33 24m 56s
[PExplicit] Support continue statement PExplicit on Ubuntu #12: Commit dcaf6bc pushed by aman-goel
April 11, 2024 18:46 25m 5s dev/aman
dev/aman
April 11, 2024 18:46 25m 5s
[PExplicit] Cleaned up type casting in IR PExplicit on Ubuntu #11: Commit 3f1315f pushed by aman-goel
April 11, 2024 18:32 23m 52s dev/aman
dev/aman
April 11, 2024 18:32 23m 52s
[PExplicit IR] Correct dynamic type casting in IR PExplicit on Ubuntu #10: Commit f0efc78 pushed by aman-goel
April 11, 2024 00:13 21m 21s dev/aman
dev/aman
April 11, 2024 00:13 21m 21s