Skip to content

Actions: p-org/P

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

[PEx] Cleanup disk tasks on exit, change defaults
PExplicit on Ubuntu #109: Commit 0c4be9e pushed by aman-goel
July 19, 2024 19:57 27m 18s dev/aman
July 19, 2024 19:57 27m 18s
[PEx IR] Minor cleanup
PExplicit on Ubuntu #108: Commit 9c84684 pushed by aman-goel
July 19, 2024 18:15 26m 50s dev/aman
July 19, 2024 18:15 26m 50s
[PEx] Several improvements to IR
PExplicit on Ubuntu #107: Commit 2312618 pushed by aman-goel
July 18, 2024 20:43 26m 53s dev/aman
July 18, 2024 20:43 26m 53s
[PEx IR] Minor correction
PExplicit on Ubuntu #106: Commit 411d238 pushed by aman-goel
July 18, 2024 17:54 27m 30s dev/aman
July 18, 2024 17:54 27m 30s
[PEx] Minor correction
PExplicit on Ubuntu #105: Commit 867167e pushed by aman-goel
July 16, 2024 20:01 27m 2s dev/aman
July 16, 2024 20:01 27m 2s
[PEx] Updates mvn test config
PExplicit on Ubuntu #104: Commit c02f0ed pushed by aman-goel
July 15, 2024 19:15 27m 27s dev/pexplicit_checker
July 15, 2024 19:15 27m 27s
[PEx] Adds hybrid stateful backtracking, improves storing search tasks
PExplicit on Ubuntu #103: Pull request #749 opened by aman-goel
July 12, 2024 19:44 26m 53s dev/aman
July 12, 2024 19:44 26m 53s
[PEx] Updates mvn test config
PExplicit on Ubuntu #102: Commit 92f6b59 pushed by aman-goel
July 12, 2024 19:31 27m 17s dev/aman
July 12, 2024 19:31 27m 17s
[PEx] Add support to serialize and deserialize search tasks in/from file
PExplicit on Ubuntu #101: Commit be565f6 pushed by aman-goel
July 12, 2024 19:26 26m 51s dev/aman
July 12, 2024 19:26 26m 51s
[PEx] Adds modes for stateful backtracking
PExplicit on Ubuntu #100: Commit c17051d pushed by aman-goel
July 12, 2024 16:58 26m 26s dev/aman
July 12, 2024 16:58 26m 26s
Revert "Some changes from Dev/ashish (#748)"
PExplicit on Ubuntu #99: Commit 7644120 pushed by aman-goel
July 10, 2024 21:21 30m 2s dev/pex_parallel
July 10, 2024 21:21 30m 2s
Dev/ashish (#748)
PExplicit on Ubuntu #98: Commit 296ed08 pushed by aman-goel
July 10, 2024 21:13 29m 58s dev/pex_parallel
July 10, 2024 21:13 29m 58s
Dev/ashish
PExplicit on Ubuntu #97: Pull request #748 synchronize by aman-goel
July 10, 2024 21:07 30m 41s xashisk:dev/ashish
July 10, 2024 21:07 30m 41s
Squash and merges #748: first version of PEx parallel
PExplicit on Ubuntu #96: Commit e366dfb pushed by aman-goel
July 10, 2024 21:07 30m 24s dev/pex_parallel
July 10, 2024 21:07 30m 24s
[PEx] Revamps tracking unexplored choices, changes schedule choice (#…
PExplicit on Ubuntu #95: Commit c150243 pushed by aman-goel
July 8, 2024 19:37 26m 58s dev/pex_parallel
July 8, 2024 19:37 26m 58s
[PEx] Store temporary changes
PExplicit on Ubuntu #93: Commit 9055164 pushed by aman-goel
June 18, 2024 23:37 27m 9s dev/aman2
June 18, 2024 23:37 27m 9s
[PEx] Revamps tracking unexplored choices, changes schedule choice
PExplicit on Ubuntu #92: Pull request #745 synchronize by aman-goel
June 14, 2024 19:23 26m 49s dev/aman
June 14, 2024 19:23 26m 49s
Merge branch 'dev/pexplicit_checker' into dev/aman
PExplicit on Ubuntu #91: Commit 82b298c pushed by aman-goel
June 14, 2024 19:23 26m 59s dev/aman
June 14, 2024 19:23 26m 59s
[PEx] Revamps tracking unexplored choices, changes schedule choice
PExplicit on Ubuntu #90: Pull request #745 opened by aman-goel
June 14, 2024 19:23 26m 50s dev/aman
June 14, 2024 19:23 26m 50s
June 14, 2024 19:16 26m 38s
[PEx] Corrections to new backtracking logic
PExplicit on Ubuntu #88: Commit 33c6ff3 pushed by aman-goel
June 14, 2024 16:56 26m 39s dev/aman
June 14, 2024 16:56 26m 39s
[PEx] Minor correction
PExplicit on Ubuntu #87: Commit d8d9e7e pushed by aman-goel
June 13, 2024 23:48 26m 39s dev/aman
June 13, 2024 23:48 26m 39s
[PEx] Cleanup and minor corrections to recent changes to SearchTask
PExplicit on Ubuntu #86: Commit 9c9e7d0 pushed by aman-goel
June 13, 2024 23:39 26m 42s dev/aman
June 13, 2024 23:39 26m 42s
[PEx] Separates unexplored choices from schedule
PExplicit on Ubuntu #85: Commit 20f0216 pushed by aman-goel
June 13, 2024 22:54 26m 27s dev/aman
June 13, 2024 22:54 26m 27s