Skip to content

Actions: hernanponcedeleon/Dat3M

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
132 workflow run results
132 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pthread library intrinsics Build #1965: Pull request #582 opened by xeren
December 1, 2023 21:36 45m 38s svcomp-2024-library
svcomp-2024-library
December 1, 2023 21:36 45m 38s
Visual output of Alias Analysis Build #1964: Pull request #581 opened by xeren
December 1, 2023 14:50 49m 38s optimize-alias
optimize-alias
December 1, 2023 14:50 49m 38s
Improve lkmm.h Build #1963: Pull request #580 synchronize by hernanponcedeleon
December 1, 2023 13:58 46m 28s lkmm_header
lkmm_header
December 1, 2023 13:58 46m 28s
Improve lkmm.h Build #1962: Pull request #580 opened by hernanponcedeleon
December 1, 2023 13:39 43m 55s lkmm_header
lkmm_header
December 1, 2023 13:39 43m 55s
More control barrier tests (#579) Build #1961: Commit 3efc7bc pushed by hernanponcedeleon
November 30, 2023 20:23 45m 26s development
development
November 30, 2023 20:23 45m 26s
More control barrier tests Build #1960: Pull request #579 synchronize by hernanponcedeleon
November 30, 2023 18:57 44m 57s ptx.arrive
ptx.arrive
November 30, 2023 18:57 44m 57s
More control barrier tests Build #1959: Pull request #579 synchronize by hernanponcedeleon
November 30, 2023 17:38 48m 24s ptx.arrive
ptx.arrive
November 30, 2023 17:38 48m 24s
More control barrier tests Build #1958: Pull request #579 synchronize by hernanponcedeleon
November 30, 2023 14:10 57m 16s ptx.arrive
ptx.arrive
November 30, 2023 14:10 57m 16s
Added pthread_self() and __VERIFIER_tid() intrinsics (same semantics,… Build #1957: Commit ad36d3b pushed by hernanponcedeleon
November 29, 2023 12:09 47m 37s development
development
November 29, 2023 12:09 47m 37s
Add pthread_self & __VERIFIER_tid intrinsics Build #1956: Pull request #577 synchronize by ThomasHaas
November 29, 2023 10:48 46m 7s pthread_self_intrinsic
pthread_self_intrinsic
November 29, 2023 10:48 46m 7s
More control barrier tests Build #1955: Pull request #579 opened by hernanponcedeleon
November 28, 2023 14:34 45m 4s ptx.arrive
ptx.arrive
November 28, 2023 14:34 45m 4s
add privIsScoped check and update tests (#578) Build #1954: Commit 27f88cd pushed by hernanponcedeleon
November 28, 2023 14:20 45m 36s development
development
November 28, 2023 14:20 45m 36s
add privIsScoped check and update tests Build #1953: Pull request #578 synchronize by tonghaining
November 28, 2023 10:09 46m 13s tonghaining:vulkan-priv
tonghaining:vulkan-priv
November 28, 2023 10:09 46m 13s
add privIsScoped check and update tests Build #1952: Pull request #578 opened by tonghaining
November 28, 2023 09:47 44m 44s tonghaining:vulkan-priv
tonghaining:vulkan-priv
November 28, 2023 09:47 44m 44s
Add pthread_self & __VERIFIER_tid intrinsics Build #1951: Pull request #577 opened by ThomasHaas
November 25, 2023 14:51 45m 47s pthread_self_intrinsic
pthread_self_intrinsic
November 25, 2023 14:51 45m 47s
Fixed ExecutionModel failing to read values of nondet variables if th… Build #1950: Commit 5540b93 pushed by hernanponcedeleon
November 22, 2023 12:11 48m 19s development
development
November 22, 2023 12:11 48m 19s
Fix error of ExecutionModel when reading nondet variables Build #1949: Pull request #575 opened by ThomasHaas
November 21, 2023 10:11 44m 17s fix_nondet_execution_model
fix_nondet_execution_model
November 21, 2023 10:11 44m 17s
Added support for LKMM Mo AFTER_UNLOCK_LOCK (was already present in l… Build #1948: Commit 7cc5f35 pushed by hernanponcedeleon
November 20, 2023 09:57 44m 12s development
development
November 20, 2023 09:57 44m 12s
Added support for LKMM Mo AFTER_UNLOCK_LOCK Build #1947: Pull request #573 opened by ThomasHaas
November 18, 2023 13:00 42m 44s lkmm_new_mo
lkmm_new_mo
November 18, 2023 13:00 42m 44s
Add IntegerType.isPointer() Build #1946: Pull request #572 opened by xeren
November 15, 2023 19:19 45m 11s pointer-type0
pointer-type0
November 15, 2023 19:19 45m 11s
Added MultiRegWriter interface Build #1945: Pull request #571 opened by ThomasHaas
November 15, 2023 10:19 1h 0m 39s multiRegWriters
multiRegWriters
November 15, 2023 10:19 1h 0m 39s
SVCOMP qualification (#570) Build #1944: Commit 556433f pushed by hernanponcedeleon
November 15, 2023 09:15 50m 3s master
master
November 15, 2023 09:15 50m 3s
SVCOMP qualification (#570) Build #1943: Commit 556433f pushed by hernanponcedeleon
November 15, 2023 07:57 43m 14s development
development
November 15, 2023 07:57 43m 14s
Replace GEP in initial values of MemoryObjects (#568) Build #1942: Commit c93efdc pushed by hernanponcedeleon
November 14, 2023 21:32 59m 5s development
development
November 14, 2023 21:32 59m 5s
SVCOMP qualification Build #1941: Pull request #570 synchronize by hernanponcedeleon
November 14, 2023 21:30 43m 11s svcomp
svcomp
November 14, 2023 21:30 43m 11s