Skip to content

Actions: ftsrg/theta

Actions

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-copyright.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 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
IC3 Check copyright #1963: Pull request #340 synchronize by mondokm
February 18, 2025 13:33 30s ic3
ic3
February 18, 2025 13:33 30s
Fix formatting Check copyright #1962: Commit 11766e6 pushed by mondokm
February 18, 2025 13:33 29s ic3
ic3
February 18, 2025 13:33 29s
IC3 Check copyright #1961: Pull request #340 opened by mondokm
February 18, 2025 13:28 33s ic3
ic3
February 18, 2025 13:28 33s
Merge pull request #339 from kszi2/ic3-base Check copyright #1960: Commit 0005bd3 pushed by mondokm
February 18, 2025 13:27 32s ic3
ic3
February 18, 2025 13:27 32s
Added monolthic l2s conversion (#337) Check copyright #1959: Commit 4ea4856 pushed by mondokm
February 18, 2025 13:26 31s ic3
ic3
February 18, 2025 13:26 31s
Added IC3 Check copyright #1958: Pull request #339 opened by dantpu
February 17, 2025 22:14 29s kszi2:ic3-base
kszi2:ic3-base
February 17, 2025 22:14 29s
Nontermination witnesses Check copyright #1957: Pull request #338 synchronize by leventeBajczi
February 17, 2025 16:31 33s nontermination-witnesses
nontermination-witnesses
February 17, 2025 16:31 33s
fixed witness formats Check copyright #1956: Commit a26a51f pushed by leventeBajczi
February 17, 2025 16:31 34s nontermination-witnesses
nontermination-witnesses
February 17, 2025 16:31 34s
Nontermination witnesses Check copyright #1955: Pull request #338 synchronize by leventeBajczi
February 16, 2025 20:54 29s nontermination-witnesses
nontermination-witnesses
February 16, 2025 20:54 29s
fixed var naming and inductive/invariant flags Check copyright #1954: Commit 64f828a pushed by leventeBajczi
February 16, 2025 20:54 31s nontermination-witnesses
nontermination-witnesses
February 16, 2025 20:54 31s
Nontermination witnesses Check copyright #1953: Pull request #338 synchronize by AdamZsofi
February 16, 2025 20:13 29s nontermination-witnesses
nontermination-witnesses
February 16, 2025 20:13 29s
formatting Check copyright #1952: Commit 35652ff pushed by AdamZsofi
February 16, 2025 20:13 29s nontermination-witnesses
nontermination-witnesses
February 16, 2025 20:13 29s
Nontermination witnesses Check copyright #1951: Pull request #338 synchronize by AdamZsofi
February 16, 2025 19:58 27s nontermination-witnesses
nontermination-witnesses
February 16, 2025 19:58 27s
improve cycle head content Check copyright #1950: Commit f8beed5 pushed by AdamZsofi
February 16, 2025 19:58 32s nontermination-witnesses
nontermination-witnesses
February 16, 2025 19:58 32s
Nontermination witnesses Check copyright #1949: Pull request #338 synchronize by AdamZsofi
February 16, 2025 19:38 29s nontermination-witnesses
nontermination-witnesses
February 16, 2025 19:38 29s
added cycles and cycle heads to yml witness Check copyright #1948: Commit adbcd3f pushed by AdamZsofi
February 16, 2025 19:37 32s nontermination-witnesses
nontermination-witnesses
February 16, 2025 19:37 32s
Nontermination witnesses Check copyright #1947: Pull request #338 synchronize by leventeBajczi
February 16, 2025 18:14 28s nontermination-witnesses
nontermination-witnesses
February 16, 2025 18:14 28s
Fixed trace in L2S Check copyright #1946: Commit 7936e18 pushed by leventeBajczi
February 16, 2025 18:14 32s nontermination-witnesses
nontermination-witnesses
February 16, 2025 18:14 32s
Nontermination witnesses Check copyright #1945: Pull request #338 synchronize by leventeBajczi
February 16, 2025 17:50 27s nontermination-witnesses
nontermination-witnesses
February 16, 2025 17:50 27s
Fixed M2LS traces Check copyright #1944: Commit ec8bf91 pushed by leventeBajczi
February 16, 2025 17:50 26s nontermination-witnesses
nontermination-witnesses
February 16, 2025 17:50 26s
Fixed M2LS traces Check copyright #1943: Commit 08eb20c pushed by leventeBajczi
February 16, 2025 17:49 30s nontermination-witnesses
nontermination-witnesses
February 16, 2025 17:49 30s