Skip to content

Actions: ftsrg/theta

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,371 workflow runs
1,371 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix memloc
Check copyright #1869: Pull request #325 synchronize by leventeBajczi
November 15, 2024 10:49 35s fix-memloc
November 15, 2024 10:49 35s
detecting cases where base is known but offset is non-lit
Check copyright #1868: Commit f668324 pushed by leventeBajczi
November 15, 2024 10:49 35s fix-memloc
November 15, 2024 10:49 35s
Fix memloc
Check copyright #1867: Pull request #325 synchronize by leventeBajczi
November 15, 2024 08:54 30s fix-memloc
November 15, 2024 08:54 30s
Added prebuilt specification-transformation.zip
Check copyright #1866: Commit fb388cb pushed by leventeBajczi
November 15, 2024 08:54 33s fix-memloc
November 15, 2024 08:54 33s
Fix memloc
Check copyright #1865: Pull request #325 synchronize by leventeBajczi
November 14, 2024 23:29 29s fix-memloc
November 14, 2024 23:29 29s
Using --memlimit to forbid OOMs
Check copyright #1864: Commit 7ca3c7a pushed by leventeBajczi
November 14, 2024 23:29 28s fix-memloc
November 14, 2024 23:29 28s
Fix memloc
Check copyright #1863: Pull request #325 synchronize by leventeBajczi
November 14, 2024 23:22 39s fix-memloc
November 14, 2024 23:22 39s
Fixed specification-transformation.zip
Check copyright #1862: Commit 8a1452e pushed by leventeBajczi
November 14, 2024 23:22 28s fix-memloc
November 14, 2024 23:22 28s
Fix memloc
Check copyright #1861: Pull request #325 synchronize by leventeBajczi
November 14, 2024 21:39 27s fix-memloc
November 14, 2024 21:39 27s
MDD should not cause more OOMs
Check copyright #1860: Commit 208ff04 pushed by leventeBajczi
November 14, 2024 21:39 30s fix-memloc
November 14, 2024 21:39 30s
Fix memloc
Check copyright #1859: Pull request #325 synchronize by leventeBajczi
November 14, 2024 21:35 33s fix-memloc
November 14, 2024 21:35 33s
Theta-start.sh fixes
Check copyright #1858: Commit 86e630f pushed by leventeBajczi
November 14, 2024 21:35 28s fix-memloc
November 14, 2024 21:35 28s
Fix memloc
Check copyright #1857: Pull request #325 synchronize by leventeBajczi
November 14, 2024 21:28 31s fix-memloc
November 14, 2024 21:28 31s
Using --memlimit to forbid OOMs
Check copyright #1856: Commit cf0967c pushed by leventeBajczi
November 14, 2024 21:28 28s fix-memloc
November 14, 2024 21:28 28s
Fix memloc
Check copyright #1855: Pull request #325 synchronize by leventeBajczi
November 14, 2024 21:09 33s fix-memloc
November 14, 2024 21:09 33s
Reverted theta-start.sh
Check copyright #1854: Commit 18c1e7a pushed by leventeBajczi
November 14, 2024 21:09 26s fix-memloc
November 14, 2024 21:09 26s
Fix memloc
Check copyright #1853: Pull request #325 synchronize by leventeBajczi
November 14, 2024 20:33 38s fix-memloc
November 14, 2024 20:33 38s
Using --memlimit to forbid OOMs
Check copyright #1852: Commit aca4930 pushed by leventeBajczi
November 14, 2024 20:33 30s fix-memloc
November 14, 2024 20:33 30s
Fix memloc
Check copyright #1851: Pull request #325 synchronize by leventeBajczi
November 14, 2024 17:52 28s fix-memloc
November 14, 2024 17:52 28s
version bump
Check copyright #1850: Commit 2447102 pushed by leventeBajczi
November 14, 2024 17:52 31s fix-memloc
November 14, 2024 17:52 31s
Fix memloc
Check copyright #1849: Pull request #325 synchronize by leventeBajczi
November 14, 2024 17:50 36s fix-memloc
November 14, 2024 17:50 36s
Merge branch 'master' into fix-memloc
Check copyright #1848: Commit 63dee56 pushed by leventeBajczi
November 14, 2024 17:50 28s fix-memloc
November 14, 2024 17:50 28s
Merge pull request #322 from ftsrg/memsafety
Check copyright #1847: Commit f8e0617 pushed by leventeBajczi
November 14, 2024 17:49 28s master
November 14, 2024 17:49 28s
Fix memloc
Check copyright #1846: Pull request #325 opened by leventeBajczi
November 14, 2024 15:05 28s fix-memloc
November 14, 2024 15:05 28s
version bump
Check copyright #1845: Commit d38f2ba pushed by leventeBajczi
November 14, 2024 15:04 27s fix-memloc
November 14, 2024 15:04 27s