Skip to content

Actions: hernanponcedeleon/Dat3M

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Refactor EventFactory, Compilers and Parsers Build #4389: Pull request #1009 synchronize by xeren
In progress refactorEventFactory
refactorEventFactory
In progress
Refactor EventFactory, Compilers and Parsers Build #4388: Pull request #1009 synchronize by xeren
15m 25s refactorEventFactory
refactorEventFactory
15m 25s
Refactor EventFactory, Compilers and Parsers Build #4387: Pull request #1009 synchronize by xeren
55m 11s refactorEventFactory
refactorEventFactory
55m 11s
Add support for C26 atomic reductions (without compiler mappings) Build #4386: Pull request #985 synchronize by ThomasHaas
49m 51s atomic-modify-write
atomic-modify-write
49m 51s
Refactor EventFactory, Compilers and Parsers Build #4385: Pull request #1009 synchronize by xeren
47m 49s refactorEventFactory
refactorEventFactory
47m 49s
Add TaskSolver as abstraction layer over ModelChecker Build #4384: Pull request #1022 synchronize by ThomasHaas
46m 17s taskSolver
taskSolver
46m 17s
Add TaskSolver as abstraction layer over ModelChecker Build #4383: Pull request #1022 synchronize by ThomasHaas
51s taskSolver
taskSolver
51s
Refactor EventFactory, Compilers and Parsers Build #4382: Pull request #1009 synchronize by xeren
47m 32s refactorEventFactory
refactorEventFactory
47m 32s
Refactor EventFactory, Compilers and Parsers Build #4381: Pull request #1009 synchronize by xeren
43m 45s refactorEventFactory
refactorEventFactory
43m 45s
Refactor EventFactory, Compilers and Parsers Build #4380: Pull request #1009 synchronize by xeren
43m 6s refactorEventFactory
refactorEventFactory
43m 6s
Refactor EventFactory, Compilers and Parsers Build #4379: Pull request #1009 synchronize by xeren
49m 0s refactorEventFactory
refactorEventFactory
49m 0s
Build Build #4378: Scheduled
2h 34m 5s master
master
2h 34m 5s
Refactor EventFactory, Compilers and Parsers Build #4377: Pull request #1009 synchronize by xeren
42m 20s refactorEventFactory
refactorEventFactory
42m 20s
Refactor EventFactory, Compilers and Parsers Build #4376: Pull request #1009 synchronize by xeren
16m 17s refactorEventFactory
refactorEventFactory
16m 17s
Refactor EventFactory, Compilers and Parsers Build #4375: Pull request #1009 synchronize by xeren
44m 3s refactorEventFactory
refactorEventFactory
44m 3s
Refactor EventFactory, Compilers and Parsers Build #4374: Pull request #1009 synchronize by xeren
1m 25s refactorEventFactory
refactorEventFactory
1m 25s
Refactor EventFactory, Compilers and Parsers Build #4373: Pull request #1009 synchronize by xeren
11m 33s refactorEventFactory
refactorEventFactory
11m 33s
Add TaskSolver as abstraction layer over ModelChecker Build #4372: Pull request #1022 synchronize by ThomasHaas
42m 46s taskSolver
taskSolver
42m 46s
Remove all thrown exceptions in Dartagnan.main() Build #4371: Pull request #1020 synchronize by hernanponcedeleon
43m 16s exceptions
exceptions
43m 16s
Moved floating point rounding mode into Program (#1019) Build #4370: Commit fdd2695 pushed by hernanponcedeleon
40m 37s development
development
40m 37s
Refactor EventFactory, Compilers and Parsers Build #4369: Pull request #1009 synchronize by xeren
42m 18s refactorEventFactory
refactorEventFactory
42m 18s
Refactor EventFactory, Compilers and Parsers Build #4368: Pull request #1009 synchronize by xeren
6m 19s refactorEventFactory
refactorEventFactory
6m 19s
Refactor EventFactory, Compilers and Parsers Build #4367: Pull request #1009 synchronize by xeren
45m 59s refactorEventFactory
refactorEventFactory
45m 59s
Refactor EventFactory, Compilers and Parsers Build #4366: Pull request #1009 synchronize by xeren
39m 42s refactorEventFactory
refactorEventFactory
39m 42s
Add TaskSolver as abstraction layer over ModelChecker Build #4365: Pull request #1022 synchronize by ThomasHaas
53m 41s taskSolver
taskSolver
53m 41s