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,365 workflow runs
1,365 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

IC3 macOS build and test #1932: Pull request #340 synchronize by leventeBajczi
February 25, 2025 10:33 In progress ic3
ic3
February 25, 2025 10:33 In progress
Fixed bounded, ic3, added xcfa-cli support, etc macOS build and test #1931: Commit 4addc51 pushed by leventeBajczi
February 25, 2025 10:33 In progress ic3
ic3
February 25, 2025 10:33 In progress
Nontermination witnesses macOS build and test #1930: Pull request #338 synchronize by AdamZsofi
February 23, 2025 21:07 23m 25s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 23m 25s
xcfa to nonterm lasso based on witness works macOS build and test #1929: Commit a1f1f28 pushed by AdamZsofi
February 23, 2025 21:07 20m 46s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 20m 46s
Nontermination witnesses macOS build and test #1928: Pull request #338 synchronize by AdamZsofi
February 23, 2025 19:28 21m 50s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 21m 50s
apply witness edge filtering partially works macOS build and test #1927: Commit f944598 pushed by AdamZsofi
February 23, 2025 19:28 21m 29s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 21m 29s
Fix horn solving for termination macOS build and test #1926: Pull request #342 opened by leventeBajczi
February 23, 2025 14:50 11m 19s nontermination-chc
nontermination-chc
February 23, 2025 14:50 11m 19s
Fix horn solving for termination macOS build and test #1925: Commit f6b0929 pushed by leventeBajczi
February 23, 2025 14:50 12m 51s nontermination-chc
nontermination-chc
February 23, 2025 14:50 12m 51s
IC3 macOS build and test #1924: Pull request #340 synchronize by mondokm
February 21, 2025 16:08 14m 35s ic3
ic3
February 21, 2025 16:08 14m 35s
Bugfixes for abstract ic3 and bounded analyses macOS build and test #1923: Commit fc9153a pushed by mondokm
February 21, 2025 16:08 14m 8s ic3
ic3
February 21, 2025 16:08 14m 8s
IC3 macOS build and test #1922: Pull request #340 synchronize by mondokm
February 20, 2025 14:30 19m 11s ic3
ic3
February 20, 2025 14:30 19m 11s
Fix trace creation of reversed ic3 macOS build and test #1921: Commit e5c7a85 pushed by mondokm
February 20, 2025 14:30 20m 53s ic3
ic3
February 20, 2025 14:30 20m 53s
IC3 macOS build and test #1920: Pull request #340 synchronize by mondokm
February 20, 2025 10:05 12m 42s ic3
ic3
February 20, 2025 10:05 12m 42s
Fix IC3 counterexample generation macOS build and test #1919: Commit e761aa5 pushed by mondokm
February 20, 2025 10:05 16m 13s ic3
ic3
February 20, 2025 10:05 16m 13s
IC3 macOS build and test #1918: Pull request #340 synchronize by mondokm
February 19, 2025 15:05 19m 3s ic3
ic3
February 19, 2025 15:05 19m 3s
Move L2S macOS build and test #1917: Commit 46a66aa pushed by mondokm
February 19, 2025 15:05 14m 2s ic3
ic3
February 19, 2025 15:05 14m 2s
IC3 macOS build and test #1916: Pull request #340 synchronize by mondokm
February 18, 2025 14:26 17m 56s ic3
ic3
February 18, 2025 14:26 17m 56s
Fix formatting macOS build and test #1915: Commit 324c064 pushed by mondokm
February 18, 2025 14:26 18m 24s ic3
ic3
February 18, 2025 14:26 18m 24s
IC3 macOS build and test #1914: Pull request #340 synchronize by mondokm
February 18, 2025 14:25 1m 9s ic3
ic3
February 18, 2025 14:25 1m 9s
Add IC3 to XSTS cli macOS build and test #1913: Commit 58a8fc5 pushed by mondokm
February 18, 2025 14:25 1m 10s ic3
ic3
February 18, 2025 14:25 1m 10s
IC3 macOS build and test #1912: Pull request #340 synchronize by mondokm
February 18, 2025 14:12 13m 29s ic3
ic3
February 18, 2025 14:12 13m 29s
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