Skip to content

Actions: hernanponcedeleon/Dat3M

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven.yml
1,099 workflow runs
1,099 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use correct smtlib2 syntax for push/pop Build #2658: Pull request #728 opened by hernanponcedeleon
September 6, 2024 13:36 1h 30m 17s push
push
September 6, 2024 13:36 1h 30m 17s
Add option to dump encoding to smtlib2 file (#721) Build #2657: Commit 3e6f247 pushed by hernanponcedeleon
September 6, 2024 05:44 1h 20m 44s development
development
September 6, 2024 05:44 1h 20m 44s
Backwards reaching definitions Build #2656: Pull request #726 synchronize by xeren
September 5, 2024 17:30 1h 21m 45s backwards-reaching-definitions
backwards-reaching-definitions
September 5, 2024 17:30 1h 21m 45s
Smtlib2 Build #2655: Pull request #721 synchronize by hernanponcedeleon
September 5, 2024 16:55 1h 22m 12s smtlib2
smtlib2
September 5, 2024 16:55 1h 22m 12s
Smtlib2 Build #2654: Pull request #721 synchronize by hernanponcedeleon
September 5, 2024 16:50 5m 47s smtlib2
smtlib2
September 5, 2024 16:50 5m 47s
Add unrolling bound to program spec encoding (#727) Build #2653: Commit 1bd4bd0 pushed by hernanponcedeleon
September 5, 2024 14:17 1h 24m 3s development
development
September 5, 2024 14:17 1h 24m 3s
Add unrolling bound to program spec encoding Build #2652: Pull request #727 synchronize by natgavrilenko
September 5, 2024 13:32 1h 34m 7s final-state-assertions
final-state-assertions
September 5, 2024 13:32 1h 34m 7s
Add support to CAAT for SyncBar, SyncFence and Vloc relations (#724) Build #2651: Commit 7887589 pushed by hernanponcedeleon
September 5, 2024 08:46 1h 15m 56s development
development
September 5, 2024 08:46 1h 15m 56s
Smtlib2 Build #2650: Pull request #721 synchronize by hernanponcedeleon
September 5, 2024 08:43 1h 7m 26s smtlib2
smtlib2
September 5, 2024 08:43 1h 7m 26s
Add unrolling bound to program spec encoding Build #2649: Pull request #727 opened by natgavrilenko
September 5, 2024 07:30 1h 10m 11s final-state-assertions
final-state-assertions
September 5, 2024 07:30 1h 10m 11s
Backwards reaching definitions Build #2648: Pull request #726 synchronize by xeren
September 4, 2024 15:28 1h 3m 57s backwards-reaching-definitions
backwards-reaching-definitions
September 4, 2024 15:28 1h 3m 57s
Backwards reaching definitions Build #2647: Pull request #726 opened by xeren
September 4, 2024 11:50 1h 9m 43s backwards-reaching-definitions
backwards-reaching-definitions
September 4, 2024 11:50 1h 9m 43s
Smtlib2 Build #2646: Pull request #721 synchronize by hernanponcedeleon
September 4, 2024 07:44 1h 9m 18s smtlib2
smtlib2
September 4, 2024 07:44 1h 9m 18s
Smtlib2 Build #2645: Pull request #721 synchronize by hernanponcedeleon
September 3, 2024 21:31 1h 3m 26s smtlib2
smtlib2
September 3, 2024 21:31 1h 3m 26s
Add support to CAAT for SyncBar and SyncFence relations Build #2644: Pull request #724 synchronize by hernanponcedeleon
September 3, 2024 20:38 1h 22m 34s gpu_models_caat_support
gpu_models_caat_support
September 3, 2024 20:38 1h 22m 34s
Renamed Location to FinalMemoryValue. (#725) Build #2643: Commit 5e10cda pushed by hernanponcedeleon
September 3, 2024 20:28 1h 9m 44s development
development
September 3, 2024 20:28 1h 9m 44s
Refactor/Rename Location to align with its actual semantics Build #2642: Pull request #725 synchronize by hernanponcedeleon
September 3, 2024 19:20 1h 4m 36s refactor_location
refactor_location
September 3, 2024 19:20 1h 4m 36s
Add support to CAAT for SyncBar and SyncFence relations Build #2641: Pull request #724 synchronize by hernanponcedeleon
September 3, 2024 19:14 1h 25m 6s gpu_models_caat_support
gpu_models_caat_support
September 3, 2024 19:14 1h 25m 6s
Improved liveness detection for store exclusives (#722) Build #2640: Commit 6326445 pushed by hernanponcedeleon
September 3, 2024 19:12 1h 11m 24s development
development
September 3, 2024 19:12 1h 11m 24s
Smtlib2 Build #2639: Pull request #721 synchronize by hernanponcedeleon
September 3, 2024 18:57 1h 7m 41s smtlib2
smtlib2
September 3, 2024 18:57 1h 7m 41s
Smtlib2 Build #2638: Pull request #721 synchronize by hernanponcedeleon
September 3, 2024 18:38 19m 19s smtlib2
smtlib2
September 3, 2024 18:38 19m 19s
Add support to CAAT for SyncBar and SyncFence relations Build #2637: Pull request #724 synchronize by ThomasHaas
September 2, 2024 15:27 1h 17m 48s gpu_models_caat_support
gpu_models_caat_support
September 2, 2024 15:27 1h 17m 48s
Refactor/Rename Location to align with its actual semantics Build #2636: Pull request #725 opened by ThomasHaas
September 2, 2024 14:53 1h 7m 8s refactor_location
refactor_location
September 2, 2024 14:53 1h 7m 8s
Add support to CAAT for SyncBar and SyncFence relations Build #2635: Pull request #724 opened by ThomasHaas
September 2, 2024 14:14 1h 6m 22s gpu_models_caat_support
gpu_models_caat_support
September 2, 2024 14:14 1h 6m 22s
Perform loop normalization also on litmus code Build #2634: Pull request #723 opened by ThomasHaas
August 30, 2024 11:24 1h 7m 5s enable_loopTransform_litmus
enable_loopTransform_litmus
August 30, 2024 11:24 1h 7m 5s
ProTip! You can narrow down the results and go further in time using created:<2024-08-30 or the other filters available.