Skip to content

Actions: ftsrg/theta

Actions

Sonar analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Counting vars now Sonar analysis #1920: Commit 6ad63b3 pushed by leventeBajczi
November 29, 2024 10:51 5m 20s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 29, 2024 10:51 5m 20s
Added support in LTS Sonar analysis #1919: Commit ccbbcb4 pushed by leventeBajczi
November 29, 2024 10:47 4m 22s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 29, 2024 10:47 4m 22s
Added low-effort sync Sonar analysis #1918: Commit e89774e pushed by leventeBajczi
November 29, 2024 10:43 4m 9s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 29, 2024 10:43 4m 9s
Added SBEPass with test Sonar analysis #1917: Commit 0be641c pushed by leventeBajczi
November 28, 2024 15:07 5m 20s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 15:07 5m 20s
model also added Sonar analysis #1916: Commit 9796038 pushed by szdan97
November 28, 2024 14:26 5m 24s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:26 5m 24s
draft for rewriting a non-timed xta to xcfa Sonar analysis #1915: Commit 4120e8c pushed by szdan97
November 28, 2024 14:21 4m 51s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:21 4m 51s
LTL checking Sonar analysis #1914: Pull request #311 synchronize by RipplB
November 27, 2024 16:06 4m 17s
November 27, 2024 16:06 4m 17s
LTL checking Sonar analysis #1913: Pull request #311 synchronize by RipplB
November 27, 2024 15:01 4m 11s
November 27, 2024 15:01 4m 11s
LTL checking Sonar analysis #1912: Pull request #311 synchronize by RipplB
November 27, 2024 14:02 4m 3s
November 27, 2024 14:02 4m 3s