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

Add reversed and liveness options to XSTS cli macOS build and test #1911: Commit 5dc3221 pushed by mondokm
February 18, 2025 14:11 13m 29s ic3
ic3
February 18, 2025 14:11 13m 29s
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point macOS build and test #1910: Pull request #335 synchronize by KlevisImeri
February 18, 2025 13:50 Action required KlevisImeri:imc-split-solvers
KlevisImeri:imc-split-solvers
February 18, 2025 13:50 Action required
IC3 macOS build and test #1909: Pull request #340 synchronize by mondokm
February 18, 2025 13:34 16m 34s ic3
ic3
February 18, 2025 13:34 16m 34s
Bump version macOS build and test #1908: Commit 404e6b5 pushed by mondokm
February 18, 2025 13:34 19m 19s ic3
ic3
February 18, 2025 13:34 19m 19s
IC3 macOS build and test #1907: Pull request #340 synchronize by mondokm
February 18, 2025 13:33 1m 9s ic3
ic3
February 18, 2025 13:33 1m 9s
Fix formatting macOS build and test #1906: Commit 11766e6 pushed by mondokm
February 18, 2025 13:33 1m 7s ic3
ic3
February 18, 2025 13:33 1m 7s
IC3 macOS build and test #1905: Pull request #340 opened by mondokm
February 18, 2025 13:28 5m 11s ic3
ic3
February 18, 2025 13:28 5m 11s
Merge pull request #339 from kszi2/ic3-base macOS build and test #1904: Commit 0005bd3 pushed by mondokm
February 18, 2025 13:27 5m 53s ic3
ic3
February 18, 2025 13:27 5m 53s
Added monolthic l2s conversion (#337) macOS build and test #1903: Commit 4ea4856 pushed by mondokm
February 18, 2025 13:26 55s ic3
ic3
February 18, 2025 13:26 55s
Added IC3 macOS build and test #1902: Pull request #339 opened by dantpu
February 17, 2025 22:14 16m 37s kszi2:ic3-base
kszi2:ic3-base
February 17, 2025 22:14 16m 37s
Nontermination witnesses macOS build and test #1901: Pull request #338 synchronize by leventeBajczi
February 17, 2025 16:31 18m 59s nontermination-witnesses
nontermination-witnesses
February 17, 2025 16:31 18m 59s
fixed witness formats macOS build and test #1900: Commit a26a51f pushed by leventeBajczi
February 17, 2025 16:31 18m 56s nontermination-witnesses
nontermination-witnesses
February 17, 2025 16:31 18m 56s
Nontermination witnesses macOS build and test #1899: Pull request #338 synchronize by leventeBajczi
February 16, 2025 20:54 14m 5s nontermination-witnesses
nontermination-witnesses
February 16, 2025 20:54 14m 5s
fixed var naming and inductive/invariant flags macOS build and test #1898: Commit 64f828a pushed by leventeBajczi
February 16, 2025 20:54 13m 36s nontermination-witnesses
nontermination-witnesses
February 16, 2025 20:54 13m 36s
Nontermination witnesses macOS build and test #1897: Pull request #338 synchronize by AdamZsofi
February 16, 2025 20:13 15m 51s nontermination-witnesses
nontermination-witnesses
February 16, 2025 20:13 15m 51s
formatting macOS build and test #1896: Commit 35652ff pushed by AdamZsofi
February 16, 2025 20:13 15m 14s nontermination-witnesses
nontermination-witnesses
February 16, 2025 20:13 15m 14s
Nontermination witnesses macOS build and test #1895: Pull request #338 synchronize by AdamZsofi
February 16, 2025 19:58 14m 59s nontermination-witnesses
nontermination-witnesses
February 16, 2025 19:58 14m 59s
improve cycle head content macOS build and test #1894: Commit f8beed5 pushed by AdamZsofi
February 16, 2025 19:58 14m 59s nontermination-witnesses
nontermination-witnesses
February 16, 2025 19:58 14m 59s
Nontermination witnesses macOS build and test #1893: Pull request #338 synchronize by AdamZsofi
February 16, 2025 19:38 20m 22s nontermination-witnesses
nontermination-witnesses
February 16, 2025 19:38 20m 22s
added cycles and cycle heads to yml witness macOS build and test #1892: Commit adbcd3f pushed by AdamZsofi
February 16, 2025 19:37 15m 3s nontermination-witnesses
nontermination-witnesses
February 16, 2025 19:37 15m 3s
Nontermination witnesses macOS build and test #1891: Pull request #338 synchronize by leventeBajczi
February 16, 2025 18:14 15m 53s nontermination-witnesses
nontermination-witnesses
February 16, 2025 18:14 15m 53s
Fixed trace in L2S macOS build and test #1890: Commit 7936e18 pushed by leventeBajczi
February 16, 2025 18:14 16m 14s nontermination-witnesses
nontermination-witnesses
February 16, 2025 18:14 16m 14s
Nontermination witnesses macOS build and test #1889: Pull request #338 synchronize by leventeBajczi
February 16, 2025 17:50 15m 11s nontermination-witnesses
nontermination-witnesses
February 16, 2025 17:50 15m 11s
Fixed M2LS traces macOS build and test #1888: Commit ec8bf91 pushed by leventeBajczi
February 16, 2025 17:50 15m 30s nontermination-witnesses
nontermination-witnesses
February 16, 2025 17:50 15m 30s
Fixed M2LS traces macOS build and test #1887: Commit 08eb20c pushed by leventeBajczi
February 16, 2025 17:49 1m 26s nontermination-witnesses
nontermination-witnesses
February 16, 2025 17:49 1m 26s