Skip to content

Actions: p-org/P

Actions

PSymIt on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
163 workflow runs
163 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[PSym] ci: minor PSymIt on Ubuntu #49: Commit 236353c pushed by aman-goel
August 3, 2023 19:15 38m 18s dev/aman
dev/aman
August 3, 2023 19:15 38m 18s
[PSym] ci: add options to configure iterations/timeout PSymIt on Ubuntu #48: Commit 7f5cc60 pushed by aman-goel
August 3, 2023 18:52 32m 11s dev/aman
dev/aman
August 3, 2023 18:52 32m 11s
fixed vector clock for ReceiveEvent, fixed naming consistency (#637) PSymIt on Ubuntu #47: Commit 5714e0b pushed by ankushdesai
August 3, 2023 16:08 38m 28s master
master
August 3, 2023 16:08 38m 28s
[PSym] minor PSymIt on Ubuntu #46: Commit f4c2797 pushed by aman-goel
August 3, 2023 01:14 40m 29s dev/aman
dev/aman
August 3, 2023 01:14 40m 29s
[PSym] correct replayer PSymIt on Ubuntu #45: Commit ff7f391 pushed by aman-goel
August 3, 2023 00:58 32m 49s dev/aman
dev/aman
August 3, 2023 00:58 32m 49s
[PSym] minor change PSymIt on Ubuntu #44: Commit bbd4c4a pushed by aman-goel
August 2, 2023 23:30 35m 47s dev/aman
dev/aman
August 2, 2023 23:30 35m 47s
fixed vector clock for ReceiveEvent, fixed naming consistency PSymIt on Ubuntu #43: Pull request #637 opened by haoran-wen
August 2, 2023 17:44 31m 27s haoran-wen:fixes/json-formatter-vector-clock
haoran-wen:fixes/json-formatter-vector-clock
August 2, 2023 17:44 31m 27s
[PCover] Completes proof of concept for symmetry-aware search with de… PSymIt on Ubuntu #42: Commit 94ae7ff pushed by aman-goel
August 2, 2023 02:10 34m 50s dev/aman
dev/aman
August 2, 2023 02:10 34m 50s
[PSym] minor correction PSymIt on Ubuntu #41: Commit 5314644 pushed by aman-goel
August 1, 2023 23:58 40m 45s dev/aman
dev/aman
August 1, 2023 23:58 40m 45s
[CI] Minor PSymIt on Ubuntu #40: Commit e98bc3b pushed by aman-goel
August 1, 2023 23:41 34m 54s dev/aman
dev/aman
August 1, 2023 23:41 34m 54s
[PSym] Add symbolic strategies to CLI PSymIt on Ubuntu #39: Commit 6ac201e pushed by aman-goel
August 1, 2023 23:38 37m 19s dev/aman
dev/aman
August 1, 2023 23:38 37m 19s
[PSym] Update symbolic state caching PSymIt on Ubuntu #38: Commit 51a9cbd pushed by aman-goel
August 1, 2023 23:30 40m 12s dev/aman
dev/aman
August 1, 2023 23:30 40m 12s
[PSym] enable symbolic state caching by default PSymIt on Ubuntu #37: Commit 572cb66 pushed by aman-goel
August 1, 2023 21:38 48m 21s dev/aman
dev/aman
August 1, 2023 21:38 48m 21s
[PCompiler] Fix stale version mismatch (#635) PSymIt on Ubuntu #36: Commit 3ad545a pushed by ankushdesai
August 1, 2023 16:57 40m 49s master
master
August 1, 2023 16:57 40m 49s
[PSym/PCover] Updates (#636) PSymIt on Ubuntu #35: Commit aae53f9 pushed by ankushdesai
August 1, 2023 16:55 31m 32s master
master
August 1, 2023 16:55 31m 32s
[PSym/PCover] Updates PSymIt on Ubuntu #34: Pull request #636 synchronize by aman-goel
August 1, 2023 01:42 54m 37s dev/aman
dev/aman
August 1, 2023 01:42 54m 37s
Merge branch 'master' into dev/aman PSymIt on Ubuntu #33: Commit 13ee99a pushed by aman-goel
August 1, 2023 01:42 37m 13s dev/aman
dev/aman
August 1, 2023 01:42 37m 13s
[PSym/PCover] Updates PSymIt on Ubuntu #32: Pull request #636 opened by aman-goel
August 1, 2023 01:42 42m 29s dev/aman
dev/aman
August 1, 2023 01:42 42m 29s
[PSym] Disable symbolic state caching by default PSymIt on Ubuntu #31: Commit e0b9fa6 pushed by aman-goel
August 1, 2023 01:36 33m 52s dev/aman
dev/aman
August 1, 2023 01:36 33m 52s
[PCompiler] Fix stale version mismatch PSymIt on Ubuntu #30: Pull request #635 opened by aman-goel
August 1, 2023 00:46 32m 11s dev/fix-csharp-version-mismatch
dev/fix-csharp-version-mismatch
August 1, 2023 00:46 32m 11s
[PCompiler] Fix stale version mismatch PSymIt on Ubuntu #29: Commit 5f3cd9b pushed by aman-goel
August 1, 2023 00:46 45m 4s dev/fix-csharp-version-mismatch
dev/fix-csharp-version-mismatch
August 1, 2023 00:46 45m 4s
[PSym] Enable symbolic state caching by default PSymIt on Ubuntu #28: Commit 042115a pushed by aman-goel
July 31, 2023 21:08 40m 11s dev/aman
dev/aman
July 31, 2023 21:08 40m 11s
[PSym] New fixpoint tracking PSymIt on Ubuntu #27: Commit f5154d0 pushed by aman-goel
July 31, 2023 20:41 36m 36s dev/aman
dev/aman
July 31, 2023 20:41 36m 36s
[PSym] correct null in tuple value summary merging PSymIt on Ubuntu #26: Commit 58ccd5c pushed by aman-goel
July 31, 2023 18:39 38m 10s dev/aman
dev/aman
July 31, 2023 18:39 38m 10s
[PCover] make map type hashing order independent PSymIt on Ubuntu #25: Commit 6239f38 pushed by aman-goel
July 31, 2023 18:23 35m 20s dev/aman
dev/aman
July 31, 2023 18:23 35m 20s