Skip to content

Actions: ftsrg/theta

Actions

Linux build-test-deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-build-test-deploy.yml
1,409 workflow runs
1,409 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

IC3 Linux build-test-deploy #1985: Pull request #340 synchronize by leventeBajczi
February 25, 2025 10:33 1h 28m 47s ic3
ic3
February 25, 2025 10:33 1h 28m 47s
Fixed bounded, ic3, added xcfa-cli support, etc Linux build-test-deploy #1984: Commit 4addc51 pushed by leventeBajczi
February 25, 2025 10:33 1h 45m 6s ic3
ic3
February 25, 2025 10:33 1h 45m 6s
Nontermination witnesses Linux build-test-deploy #1983: Pull request #338 synchronize by AdamZsofi
February 23, 2025 21:07 31m 4s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 31m 4s
xcfa to nonterm lasso based on witness works Linux build-test-deploy #1982: Commit a1f1f28 pushed by AdamZsofi
February 23, 2025 21:07 31m 53s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 31m 53s
Nontermination witnesses Linux build-test-deploy #1981: Pull request #338 synchronize by AdamZsofi
February 23, 2025 19:28 30m 27s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 30m 27s
apply witness edge filtering partially works Linux build-test-deploy #1980: Commit f944598 pushed by AdamZsofi
February 23, 2025 19:28 30m 19s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 30m 19s
Fix horn solving for termination Linux build-test-deploy #1979: Pull request #342 opened by leventeBajczi
February 23, 2025 14:50 30m 56s nontermination-chc
nontermination-chc
February 23, 2025 14:50 30m 56s
Fix horn solving for termination Linux build-test-deploy #1978: Commit f6b0929 pushed by leventeBajczi
February 23, 2025 14:50 29m 56s nontermination-chc
nontermination-chc
February 23, 2025 14:50 29m 56s
IC3 Linux build-test-deploy #1977: Pull request #340 synchronize by mondokm
February 21, 2025 16:08 30m 51s ic3
ic3
February 21, 2025 16:08 30m 51s
Bugfixes for abstract ic3 and bounded analyses Linux build-test-deploy #1976: Commit fc9153a pushed by mondokm
February 21, 2025 16:08 31m 30s ic3
ic3
February 21, 2025 16:08 31m 30s
IC3 Linux build-test-deploy #1975: Pull request #340 synchronize by mondokm
February 20, 2025 14:30 33m 49s ic3
ic3
February 20, 2025 14:30 33m 49s
Fix trace creation of reversed ic3 Linux build-test-deploy #1974: Commit e5c7a85 pushed by mondokm
February 20, 2025 14:30 33m 21s ic3
ic3
February 20, 2025 14:30 33m 21s
IC3 Linux build-test-deploy #1973: Pull request #340 synchronize by mondokm
February 20, 2025 10:05 31m 14s ic3
ic3
February 20, 2025 10:05 31m 14s
Fix IC3 counterexample generation Linux build-test-deploy #1972: Commit e761aa5 pushed by mondokm
February 20, 2025 10:05 30m 37s ic3
ic3
February 20, 2025 10:05 30m 37s
IC3 Linux build-test-deploy #1971: Pull request #340 synchronize by mondokm
February 19, 2025 15:05 31m 29s ic3
ic3
February 19, 2025 15:05 31m 29s
Move L2S Linux build-test-deploy #1970: Commit 46a66aa pushed by mondokm
February 19, 2025 15:05 30m 57s ic3
ic3
February 19, 2025 15:05 30m 57s
IC3 Linux build-test-deploy #1969: Pull request #340 synchronize by mondokm
February 18, 2025 14:26 32m 2s ic3
ic3
February 18, 2025 14:26 32m 2s
Fix formatting Linux build-test-deploy #1968: Commit 324c064 pushed by mondokm
February 18, 2025 14:26 30m 39s ic3
ic3
February 18, 2025 14:26 30m 39s
IC3 Linux build-test-deploy #1967: Pull request #340 synchronize by mondokm
February 18, 2025 14:25 1m 13s ic3
ic3
February 18, 2025 14:25 1m 13s
Add IC3 to XSTS cli Linux build-test-deploy #1966: Commit 58a8fc5 pushed by mondokm
February 18, 2025 14:25 1m 15s ic3
ic3
February 18, 2025 14:25 1m 15s
IC3 Linux build-test-deploy #1965: Pull request #340 synchronize by mondokm
February 18, 2025 14:12 13m 44s ic3
ic3
February 18, 2025 14:12 13m 44s
Add reversed and liveness options to XSTS cli Linux build-test-deploy #1964: Commit 5dc3221 pushed by mondokm
February 18, 2025 14:11 13m 43s ic3
ic3
February 18, 2025 14:11 13m 43s
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point Linux build-test-deploy #1963: 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 Linux build-test-deploy #1962: Pull request #340 synchronize by mondokm
February 18, 2025 13:34 31m 36s ic3
ic3
February 18, 2025 13:34 31m 36s
Bump version Linux build-test-deploy #1961: Commit 404e6b5 pushed by mondokm
February 18, 2025 13:34 31m 0s ic3
ic3
February 18, 2025 13:34 31m 0s