Skip to content

Actions: ftsrg/theta

Actions

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-copyright.yml
1,365 workflow runs
1,365 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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