Skip to content

Actions: ftsrg/theta

Actions

macOS build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mac-build-test.yml
1,369 workflow runs
1,369 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed --traces and --summary in xsts cli macOS build and test #1836: Commit ec1a632 pushed by AdamZsofi
November 25, 2024 12:53 16m 39s trace-generation
trace-generation
November 25, 2024 12:53 16m 39s
Fix memloc macOS build and test #1835: Pull request #325 synchronize by leventeBajczi
November 20, 2024 22:54 14m 23s fix-memloc
fix-memloc
November 20, 2024 22:54 14m 23s
adding back theta-short.xml macOS build and test #1834: Commit 04ee836 pushed by leventeBajczi
November 20, 2024 22:54 19m 14s fix-memloc
fix-memloc
November 20, 2024 22:54 19m 14s
Fix memloc macOS build and test #1833: Pull request #325 synchronize by leventeBajczi
November 20, 2024 21:37 19m 30s fix-memloc
fix-memloc
November 20, 2024 21:37 19m 30s
Added possibility to do longer benchmark checks macOS build and test #1832: Commit ef82259 pushed by leventeBajczi
November 20, 2024 21:37 21m 41s fix-memloc
fix-memloc
November 20, 2024 21:37 21m 41s
Fix memloc macOS build and test #1831: Pull request #325 synchronize by leventeBajczi
November 20, 2024 20:46 22m 40s fix-memloc
fix-memloc
November 20, 2024 20:46 22m 40s
fix theta-start.sh macOS build and test #1830: Commit 50f43fe pushed by leventeBajczi
November 20, 2024 20:46 22m 49s fix-memloc
fix-memloc
November 20, 2024 20:46 22m 49s
Fix memloc macOS build and test #1829: Pull request #325 synchronize by leventeBajczi
November 20, 2024 20:10 15m 9s fix-memloc
fix-memloc
November 20, 2024 20:10 15m 9s
Fixed tests macOS build and test #1828: Commit e11abb6 pushed by leventeBajczi
November 20, 2024 20:10 18m 53s fix-memloc
fix-memloc
November 20, 2024 20:10 18m 53s
Fix memloc macOS build and test #1827: Pull request #325 synchronize by leventeBajczi
November 20, 2024 19:45 18m 47s fix-memloc
fix-memloc
November 20, 2024 19:45 18m 47s
Removing old assertions macOS build and test #1826: Commit a48e089 pushed by leventeBajczi
November 20, 2024 19:45 25m 14s fix-memloc
fix-memloc
November 20, 2024 19:45 25m 14s
Fix memloc macOS build and test #1825: Pull request #325 synchronize by leventeBajczi
November 20, 2024 19:37 7m 35s fix-memloc
fix-memloc
November 20, 2024 19:37 7m 35s
Fixed property-based violation node detection macOS build and test #1824: Commit f070ea0 pushed by leventeBajczi
November 20, 2024 19:37 7m 30s fix-memloc
fix-memloc
November 20, 2024 19:37 7m 30s
LTL checking macOS build and test #1823: Pull request #311 synchronize by RipplB
November 20, 2024 12:22 54m 54s RipplB:ltl2
RipplB:ltl2
November 20, 2024 12:22 54m 54s
LTL checking macOS build and test #1822: Pull request #311 synchronize by RipplB
November 20, 2024 09:08 10m 55s RipplB:ltl2
RipplB:ltl2
November 20, 2024 09:08 10m 55s
LTL checking macOS build and test #1821: Pull request #311 synchronize by RipplB
November 20, 2024 09:04 4m 7s RipplB:ltl2
RipplB:ltl2
November 20, 2024 09:04 4m 7s
LTL checking macOS build and test #1820: Pull request #311 synchronize by RipplB
November 20, 2024 08:51 9m 37s RipplB:ltl2
RipplB:ltl2
November 20, 2024 08:51 9m 37s
Fix memloc macOS build and test #1819: Pull request #325 synchronize by csanadtelbisz
November 17, 2024 19:28 15m 25s fix-memloc
fix-memloc
November 17, 2024 19:28 15m 25s
oc checker po calculation fix for same-source-same-target edges macOS build and test #1818: Commit 8d8c41e pushed by csanadtelbisz
November 17, 2024 19:27 14m 33s fix-memloc
fix-memloc
November 17, 2024 19:27 14m 33s
Fix memloc macOS build and test #1817: Pull request #325 synchronize by csanadtelbisz
November 16, 2024 10:04 15m 44s fix-memloc
fix-memloc
November 16, 2024 10:04 15m 44s
also print unknown for unreliable safe result macOS build and test #1816: Commit e875d97 pushed by csanadtelbisz
November 16, 2024 10:04 16m 40s fix-memloc
fix-memloc
November 16, 2024 10:04 16m 40s
Fix memloc macOS build and test #1815: Pull request #325 synchronize by csanadtelbisz
November 16, 2024 09:57 7m 32s fix-memloc
fix-memloc
November 16, 2024 09:57 7m 32s
oc checker accept result fix macOS build and test #1814: Commit e087aa2 pushed by csanadtelbisz
November 16, 2024 09:57 7m 32s fix-memloc
fix-memloc
November 16, 2024 09:57 7m 32s
Fix memloc macOS build and test #1813: Pull request #325 synchronize by leventeBajczi
November 15, 2024 10:49 17m 43s fix-memloc
fix-memloc
November 15, 2024 10:49 17m 43s
detecting cases where base is known but offset is non-lit macOS build and test #1812: Commit f668324 pushed by leventeBajczi
November 15, 2024 10:49 23m 15s fix-memloc
fix-memloc
November 15, 2024 10:49 23m 15s