Skip to content

Actions: ftsrg/theta

Actions

Sonar analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point Sonar analysis #1945: Pull request #335 synchronize by KlevisImeri
January 29, 2025 22:44 25s
January 29, 2025 22:44 25s
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point Sonar analysis #1944: Pull request #335 synchronize by KlevisImeri
January 28, 2025 00:45 23s
January 28, 2025 00:45 23s
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point Sonar analysis #1943: Pull request #335 opened by KlevisImeri
January 27, 2025 23:48 23s
January 27, 2025 23:48 23s
fixed coverage vs equality issue in bad end remover Sonar analysis #1942: Commit d7db9d4 pushed by AdamZsofi
January 26, 2025 20:08 14m 4s trace-generation
trace-generation
January 26, 2025 20:08 14m 4s
Merge pull request #311 from RipplB/ltl2 Sonar analysis #1941: Commit b513261 pushed by mondokm
January 23, 2025 21:15 17m 45s master
master
January 23, 2025 21:15 17m 45s
reformat Sonar analysis #1940: Commit ce57c6d pushed by AdamZsofi
January 23, 2025 19:00 13m 47s trace-generation
trace-generation
January 23, 2025 19:00 13m 47s
LTL checking Sonar analysis #1939: Pull request #311 synchronize by RipplB
January 23, 2025 16:18 14m 37s
January 23, 2025 16:18 14m 37s
LTL checking Sonar analysis #1938: Pull request #311 synchronize by RipplB
January 23, 2025 15:40 16m 47s
January 23, 2025 15:40 16m 47s
LTL checking Sonar analysis #1937: Pull request #311 synchronize by RipplB
January 23, 2025 15:35 7m 15s
January 23, 2025 15:35 7m 15s
LTL checking Sonar analysis #1936: Pull request #311 synchronize by RipplB
December 17, 2024 11:16 13m 54s
December 17, 2024 11:16 13m 54s
LTL checking Sonar analysis #1935: Pull request #311 synchronize by RipplB
December 14, 2024 17:21 13m 49s
December 14, 2024 17:21 13m 49s
Merge pull request #325 from ftsrg/fix-memloc Sonar analysis #1934: Commit bd69e1c pushed by leventeBajczi
December 10, 2024 10:46 12m 41s svcomp25
svcomp25
December 10, 2024 10:46 12m 41s
re-added tracegen as a separate test method Sonar analysis #1933: Commit aeeb0b2 pushed by szdan97
December 4, 2024 21:29 5m 14s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 4, 2024 21:29 5m 14s
LTL checking Sonar analysis #1932: Pull request #311 synchronize by RipplB
December 4, 2024 13:17 14m 1s
December 4, 2024 13:17 14m 1s
LTL checking Sonar analysis #1931: Pull request #311 synchronize by RipplB
December 4, 2024 12:44 13m 50s
December 4, 2024 12:44 13m 50s
LTL checking Sonar analysis #1930: Pull request #311 synchronize by RipplB
December 4, 2024 10:44 2m 55s
December 4, 2024 10:44 2m 55s
LTL checking Sonar analysis #1929: Pull request #311 synchronize by RipplB
December 4, 2024 08:58 13m 14s
December 4, 2024 08:58 13m 14s
LTL checking Sonar analysis #1928: Pull request #311 synchronize by RipplB
December 4, 2024 07:37 4m 41s
December 4, 2024 07:37 4m 41s
Added trace generation to Thyssen model Sonar analysis #1927: Commit 24f5c6f pushed by leventeBajczi
December 2, 2024 14:19 4m 56s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 2, 2024 14:19 4m 56s
Merged, removed gen folder, formatted Sonar analysis #1926: Commit a520e15 pushed by leventeBajczi
December 2, 2024 13:54 12m 42s trace-generation
trace-generation
December 2, 2024 13:54 12m 42s
Trace generation (#330) Sonar analysis #1925: Commit 0fd5bbe pushed by leventeBajczi
December 2, 2024 13:53 5m 0s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 2, 2024 13:53 5m 0s
sync fixes + toStrings Sonar analysis #1924: Commit 1bf5fdd pushed by szdan97
December 2, 2024 13:50 3m 44s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 2, 2024 13:50 3m 44s
Merged, removed gen folder, formatted Sonar analysis #1923: Commit a520e15 pushed by leventeBajczi
December 2, 2024 13:43 11m 5s trace-generation
trace-generation
December 2, 2024 13:43 11m 5s
Trace generation Sonar analysis #1922: Pull request #330 synchronize by leventeBajczi
December 2, 2024 13:43 20s
December 2, 2024 13:43 20s
Trace generation Sonar analysis #1921: Pull request #330 opened by leventeBajczi
December 2, 2024 12:57 29s
December 2, 2024 12:57 29s