Skip to content

Actions: ftsrg/theta

Actions

Sonar analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sonar.yml
1,482 workflow runs
1,482 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

IC3 Sonar analysis #1993: Pull request #340 synchronize by mondokm
February 18, 2025 14:25 24s
February 18, 2025 14:25 24s
Add IC3 to XSTS cli Sonar analysis #1992: Commit 58a8fc5 pushed by mondokm
February 18, 2025 14:25 59s ic3
ic3
February 18, 2025 14:25 59s
IC3 Sonar analysis #1991: Pull request #340 synchronize by mondokm
February 18, 2025 14:12 25s
February 18, 2025 14:12 25s
Add reversed and liveness options to XSTS cli Sonar analysis #1990: Commit 5dc3221 pushed by mondokm
February 18, 2025 14:11 13m 28s ic3
ic3
February 18, 2025 14:11 13m 28s
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point Sonar analysis #1989: Pull request #335 synchronize by KlevisImeri
February 18, 2025 13:50 22s
February 18, 2025 13:50 22s
IC3 Sonar analysis #1988: Pull request #340 synchronize by mondokm
February 18, 2025 13:34 19s
February 18, 2025 13:34 19s
Bump version Sonar analysis #1987: Commit 404e6b5 pushed by mondokm
February 18, 2025 13:34 13m 42s ic3
ic3
February 18, 2025 13:34 13m 42s
IC3 Sonar analysis #1986: Pull request #340 synchronize by mondokm
February 18, 2025 13:33 19s
February 18, 2025 13:33 19s
Fix formatting Sonar analysis #1985: Commit 11766e6 pushed by mondokm
February 18, 2025 13:33 1m 10s ic3
ic3
February 18, 2025 13:33 1m 10s
IC3 Sonar analysis #1984: Pull request #340 opened by mondokm
February 18, 2025 13:28 19s
February 18, 2025 13:28 19s
Merge pull request #339 from kszi2/ic3-base Sonar analysis #1983: Commit 0005bd3 pushed by mondokm
February 18, 2025 13:27 5m 51s ic3
ic3
February 18, 2025 13:27 5m 51s
Added monolthic l2s conversion (#337) Sonar analysis #1982: Commit 4ea4856 pushed by mondokm
February 18, 2025 13:26 43s ic3
ic3
February 18, 2025 13:26 43s
Added IC3 Sonar analysis #1981: Pull request #339 opened by dantpu
February 17, 2025 22:14 23s
February 17, 2025 22:14 23s
Nontermination witnesses Sonar analysis #1980: Pull request #338 synchronize by leventeBajczi
February 17, 2025 16:31 13m 12s
February 17, 2025 16:31 13m 12s
fixed witness formats Sonar analysis #1979: Commit a26a51f pushed by leventeBajczi
February 17, 2025 16:31 13m 59s nontermination-witnesses
nontermination-witnesses
February 17, 2025 16:31 13m 59s
Nontermination witnesses Sonar analysis #1978: Pull request #338 synchronize by leventeBajczi
February 16, 2025 20:54 12m 11s
February 16, 2025 20:54 12m 11s
fixed var naming and inductive/invariant flags Sonar analysis #1977: Commit 64f828a pushed by leventeBajczi
February 16, 2025 20:54 13m 15s nontermination-witnesses
nontermination-witnesses
February 16, 2025 20:54 13m 15s
Nontermination witnesses Sonar analysis #1976: Pull request #338 synchronize by AdamZsofi
February 16, 2025 20:13 12m 29s
February 16, 2025 20:13 12m 29s
formatting Sonar analysis #1975: Commit 35652ff pushed by AdamZsofi
February 16, 2025 20:13 14m 5s nontermination-witnesses
nontermination-witnesses
February 16, 2025 20:13 14m 5s
Nontermination witnesses Sonar analysis #1974: Pull request #338 synchronize by AdamZsofi
February 16, 2025 19:58 12m 47s
February 16, 2025 19:58 12m 47s
improve cycle head content Sonar analysis #1973: Commit f8beed5 pushed by AdamZsofi
February 16, 2025 19:58 13m 57s nontermination-witnesses
nontermination-witnesses
February 16, 2025 19:58 13m 57s
Nontermination witnesses Sonar analysis #1972: Pull request #338 synchronize by AdamZsofi
February 16, 2025 19:37 12m 26s
February 16, 2025 19:37 12m 26s
added cycles and cycle heads to yml witness Sonar analysis #1971: Commit adbcd3f pushed by AdamZsofi
February 16, 2025 19:37 13m 47s nontermination-witnesses
nontermination-witnesses
February 16, 2025 19:37 13m 47s
Nontermination witnesses Sonar analysis #1970: Pull request #338 synchronize by leventeBajczi
February 16, 2025 18:14 12m 55s
February 16, 2025 18:14 12m 55s
Fixed trace in L2S Sonar analysis #1969: Commit 7936e18 pushed by leventeBajczi
February 16, 2025 18:14 14m 14s nontermination-witnesses
nontermination-witnesses
February 16, 2025 18:14 14m 14s