Skip to content

Actions: ftsrg/theta

Actions

Sonar analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

IC3 Sonar analysis #2016: Pull request #340 synchronize by mondokm
February 25, 2025 14:56 20s
February 25, 2025 14:56 20s
Fix name collision Sonar analysis #2015: Commit d5aee81 pushed by mondokm
February 25, 2025 14:56 5m 59s ic3
ic3
February 25, 2025 14:56 5m 59s
IC3 Sonar analysis #2014: Pull request #340 synchronize by mondokm
February 25, 2025 14:16 21s
February 25, 2025 14:16 21s
Implicit CEGAR refinement fix, rename abstracted to cegar Sonar analysis #2013: Commit 6b71f5e pushed by mondokm
February 25, 2025 14:16 14m 12s ic3
ic3
February 25, 2025 14:16 14m 12s
IC3 Sonar analysis #2012: Pull request #340 synchronize by leventeBajczi
February 25, 2025 10:33 24s
February 25, 2025 10:33 24s
Fixed bounded, ic3, added xcfa-cli support, etc Sonar analysis #2011: Commit 4addc51 pushed by leventeBajczi
February 25, 2025 10:33 1h 22m 2s ic3
ic3
February 25, 2025 10:33 1h 22m 2s
Nontermination witnesses Sonar analysis #2010: Pull request #338 synchronize by AdamZsofi
February 23, 2025 21:07 14m 32s
February 23, 2025 21:07 14m 32s
xcfa to nonterm lasso based on witness works Sonar analysis #2009: Commit a1f1f28 pushed by AdamZsofi
February 23, 2025 21:07 15m 31s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 15m 31s
Nontermination witnesses Sonar analysis #2008: Pull request #338 synchronize by AdamZsofi
February 23, 2025 19:28 16m 21s
February 23, 2025 19:28 16m 21s
apply witness edge filtering partially works Sonar analysis #2007: Commit f944598 pushed by AdamZsofi
February 23, 2025 19:28 17m 4s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 17m 4s
Fix horn solving for termination Sonar analysis #2006: Pull request #342 labeled by leventeBajczi
February 23, 2025 14:50 6m 39s
February 23, 2025 14:50 6m 39s
Fix horn solving for termination Sonar analysis #2005: Pull request #342 opened by leventeBajczi
February 23, 2025 14:50 19s
February 23, 2025 14:50 19s
Fix horn solving for termination Sonar analysis #2004: Commit f6b0929 pushed by leventeBajczi
February 23, 2025 14:50 6m 38s nontermination-chc
nontermination-chc
February 23, 2025 14:50 6m 38s
IC3 Sonar analysis #2003: Pull request #340 synchronize by mondokm
February 21, 2025 16:08 24s
February 21, 2025 16:08 24s
Bugfixes for abstract ic3 and bounded analyses Sonar analysis #2002: Commit fc9153a pushed by mondokm
February 21, 2025 16:08 13m 50s ic3
ic3
February 21, 2025 16:08 13m 50s
IC3 Sonar analysis #2001: Pull request #340 synchronize by mondokm
February 20, 2025 14:30 23s
February 20, 2025 14:30 23s
Fix trace creation of reversed ic3 Sonar analysis #2000: Commit e5c7a85 pushed by mondokm
February 20, 2025 14:30 13m 56s ic3
ic3
February 20, 2025 14:30 13m 56s
IC3 Sonar analysis #1999: Pull request #340 synchronize by mondokm
February 20, 2025 10:05 24s
February 20, 2025 10:05 24s
Fix IC3 counterexample generation Sonar analysis #1998: Commit e761aa5 pushed by mondokm
February 20, 2025 10:05 5m 56s ic3
ic3
February 20, 2025 10:05 5m 56s
IC3 Sonar analysis #1997: Pull request #340 synchronize by mondokm
February 19, 2025 15:05 25s
February 19, 2025 15:05 25s
Move L2S Sonar analysis #1996: Commit 46a66aa pushed by mondokm
February 19, 2025 15:05 13m 34s ic3
ic3
February 19, 2025 15:05 13m 34s
IC3 Sonar analysis #1995: Pull request #340 synchronize by mondokm
February 18, 2025 14:26 22s
February 18, 2025 14:26 22s
Fix formatting Sonar analysis #1994: Commit 324c064 pushed by mondokm
February 18, 2025 14:26 13m 49s ic3
ic3
February 18, 2025 14:26 13m 49s
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