Skip to content

Actions: hernanponcedeleon/Dat3M

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,225 workflow runs
1,225 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add OpenCL Model Build #2732: Pull request #744 synchronize by tonghaining
September 30, 2024 12:49 7m 41s tonghaining:opencl1
tonghaining:opencl1
September 30, 2024 12:49 7m 41s
Better may set for sync barrier (#745) Build #2731: Commit e3fe562 pushed by hernanponcedeleon
September 30, 2024 12:14 1h 28m 54s development
development
September 30, 2024 12:14 1h 28m 54s
Better may set for sync barrier Build #2730: Pull request #745 opened by natgavrilenko
September 30, 2024 11:26 1h 35m 5s sync-barrier
sync-barrier
September 30, 2024 11:26 1h 35m 5s
Add OpenCL Model Build #2729: Pull request #744 opened by tonghaining
September 28, 2024 05:36 1h 26m 17s tonghaining:opencl1
tonghaining:opencl1
September 28, 2024 05:36 1h 26m 17s
Some improvements to aarch64 pseudo-assembly Build #2728: Pull request #741 synchronize by hernanponcedeleon
September 27, 2024 19:44 1h 30m 20s pasm
pasm
September 27, 2024 19:44 1h 30m 20s
Some improvements to aarch64 pseudo-assembly Build #2727: Pull request #741 synchronize by hernanponcedeleon
September 27, 2024 18:02 1h 2m 37s pasm
pasm
September 27, 2024 18:02 1h 2m 37s
Relation analysis with immutable and lazy data structures Build #2726: Pull request #743 opened by natgavrilenko
September 27, 2024 16:32 1h 32m 42s lra-new
lra-new
September 27, 2024 16:32 1h 32m 42s
Build Build #2725: Manually run by natgavrilenko
September 27, 2024 14:50 1h 41m 16s lra-new
lra-new
September 27, 2024 14:50 1h 41m 16s
Some improvements to aarch64 pseudo-assembly Build #2724: Pull request #741 synchronize by hernanponcedeleon
September 27, 2024 13:29 1h 9m 18s pasm
pasm
September 27, 2024 13:29 1h 9m 18s
Some improvements to aarch64 pseudo-assembly Build #2723: Pull request #741 synchronize by hernanponcedeleon
September 27, 2024 13:28 54s pasm
pasm
September 27, 2024 13:28 54s
Add support for show statement in cat parser Build #2722: Pull request #742 synchronize by hernanponcedeleon
September 27, 2024 12:22 1h 24m 21s showAs
showAs
September 27, 2024 12:22 1h 24m 21s
Add support for show statement in cat parser Build #2721: Pull request #742 opened by hernanponcedeleon
September 26, 2024 18:27 1h 19m 43s showAs
showAs
September 26, 2024 18:27 1h 19m 43s
Backwards reaching definitions (#726) Build #2720: Commit 73ba96c pushed by hernanponcedeleon
September 26, 2024 15:36 1h 36m 24s master
master
September 26, 2024 15:36 1h 36m 24s
Build Build #2719: Manually run by natgavrilenko
September 26, 2024 15:33 1h 39m 33s lra-new
lra-new
September 26, 2024 15:33 1h 39m 33s
Build Build #2718: Manually run by natgavrilenko
September 25, 2024 21:42 1h 39m 20s lra-new
lra-new
September 25, 2024 21:42 1h 39m 20s
Some improvements to aarch64 pseudo-assembly Build #2715: Pull request #741 synchronize by hernanponcedeleon
September 21, 2024 11:39 1h 25m 4s pasm
pasm
September 21, 2024 11:39 1h 25m 4s
Some improvements to aarch64 pseudo-assembly Build #2714: Pull request #741 synchronize by hernanponcedeleon
September 21, 2024 10:14 1h 22m 23s pasm
pasm
September 21, 2024 10:14 1h 22m 23s
Some improvements to aarch64 pseudo-assembly Build #2713: Pull request #741 synchronize by hernanponcedeleon
September 21, 2024 06:55 1h 24m 11s pasm
pasm
September 21, 2024 06:55 1h 24m 11s
Backwards reaching definitions (#726) Build #2712: Commit 73ba96c pushed by hernanponcedeleon
September 21, 2024 06:55 1h 22m 23s development
development
September 21, 2024 06:55 1h 22m 23s
Backwards reaching definitions Build #2711: Pull request #726 synchronize by xeren
September 20, 2024 16:47 1h 19m 51s backwards-reaching-definitions
backwards-reaching-definitions
September 20, 2024 16:47 1h 19m 51s
Backwards reaching definitions Build #2710: Pull request #726 synchronize by xeren
September 20, 2024 16:38 9m 25s backwards-reaching-definitions
backwards-reaching-definitions
September 20, 2024 16:38 9m 25s
Some improvements to aarch64 pseudo-assembly Build #2709: Pull request #741 opened by hernanponcedeleon
September 20, 2024 14:54 1h 21m 54s pasm
pasm
September 20, 2024 14:54 1h 21m 54s
Add support for atomic_exchange_explicit in litmus code (#740) Build #2708: Commit 90c3a7b pushed by hernanponcedeleon
September 20, 2024 11:24 1h 26m 27s development
development
September 20, 2024 11:24 1h 26m 27s
Add support for atomic_exchange_explicit in litmus code Build #2707: Pull request #740 synchronize by hernanponcedeleon
September 20, 2024 06:41 1h 23m 8s xchg
xchg
September 20, 2024 06:41 1h 23m 8s
Pass the C file to the svcomp runner rather than the optimized llvm (… Build #2706: Commit 690a283 pushed by hernanponcedeleon
September 19, 2024 20:27 1h 25m 20s development
development
September 19, 2024 20:27 1h 25m 20s