Skip to content

Actions: ftsrg/theta

Actions

Sonar analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #325 from ftsrg/fix-memloc Sonar analysis #1911: Commit bd69e1c pushed by leventeBajczi
November 27, 2024 10:03 15m 23s master
master
November 27, 2024 10:03 15m 23s
fixed --traces and --summary in xsts cli Sonar analysis #1910: Commit ec1a632 pushed by AdamZsofi
November 25, 2024 12:53 14m 19s trace-generation
trace-generation
November 25, 2024 12:53 14m 19s
Fix memloc Sonar analysis #1909: Pull request #325 synchronize by leventeBajczi
November 20, 2024 22:54 12m 55s
November 20, 2024 22:54 12m 55s
adding back theta-short.xml Sonar analysis #1908: Commit 04ee836 pushed by leventeBajczi
November 20, 2024 22:54 13m 11s fix-memloc
fix-memloc
November 20, 2024 22:54 13m 11s
Fix memloc Sonar analysis #1907: Pull request #325 synchronize by leventeBajczi
November 20, 2024 21:37 12m 51s
November 20, 2024 21:37 12m 51s
Added possibility to do longer benchmark checks Sonar analysis #1906: Commit ef82259 pushed by leventeBajczi
November 20, 2024 21:37 14m 22s fix-memloc
fix-memloc
November 20, 2024 21:37 14m 22s
Fix memloc Sonar analysis #1905: Pull request #325 labeled by leventeBajczi
November 20, 2024 21:36 39s
November 20, 2024 21:36 39s
Fix memloc Sonar analysis #1904: Pull request #325 labeled by leventeBajczi
November 20, 2024 21:20 13m 7s
November 20, 2024 21:20 13m 7s
Fix memloc Sonar analysis #1903: Pull request #325 synchronize by leventeBajczi
November 20, 2024 20:46 25s
November 20, 2024 20:46 25s
fix theta-start.sh Sonar analysis #1902: Commit 50f43fe pushed by leventeBajczi
November 20, 2024 20:46 13m 49s fix-memloc
fix-memloc
November 20, 2024 20:46 13m 49s
Fix memloc Sonar analysis #1901: Pull request #325 synchronize by leventeBajczi
November 20, 2024 20:10 22s
November 20, 2024 20:10 22s
Fixed tests Sonar analysis #1900: Commit e11abb6 pushed by leventeBajczi
November 20, 2024 20:10 13m 30s fix-memloc
fix-memloc
November 20, 2024 20:10 13m 30s
Fix memloc Sonar analysis #1899: Pull request #325 synchronize by leventeBajczi
November 20, 2024 19:45 21s
November 20, 2024 19:45 21s
Removing old assertions Sonar analysis #1898: Commit a48e089 pushed by leventeBajczi
November 20, 2024 19:45 7m 44s fix-memloc
fix-memloc
November 20, 2024 19:45 7m 44s
Fix memloc Sonar analysis #1897: Pull request #325 synchronize by leventeBajczi
November 20, 2024 19:37 29s
November 20, 2024 19:37 29s
Fixed property-based violation node detection Sonar analysis #1896: Commit f070ea0 pushed by leventeBajczi
November 20, 2024 19:37 7m 20s fix-memloc
fix-memloc
November 20, 2024 19:37 7m 20s