Skip to content

Actions: ftsrg/theta

Actions

Sonar analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix memloc Sonar analysis #1861: Pull request #325 synchronize by leventeBajczi
November 14, 2024 17:50 2m 27s
November 14, 2024 17:50 2m 27s
Merge branch 'master' into fix-memloc Sonar analysis #1860: Commit 63dee56 pushed by leventeBajczi
November 14, 2024 17:50 2m 30s fix-memloc
fix-memloc
November 14, 2024 17:50 2m 30s
Merge pull request #322 from ftsrg/memsafety Sonar analysis #1859: Commit f8e0617 pushed by leventeBajczi
November 14, 2024 17:49 3m 26s master
master
November 14, 2024 17:49 3m 26s
Fix memloc Sonar analysis #1858: Pull request #325 opened by leventeBajczi
November 14, 2024 15:04 20s
November 14, 2024 15:04 20s
version bump Sonar analysis #1857: Commit d38f2ba pushed by leventeBajczi
November 14, 2024 15:04 13m 52s fix-memloc
fix-memloc
November 14, 2024 15:04 13m 52s
Memsafety and memcleanup Sonar analysis #1856: Pull request #322 synchronize by leventeBajczi
November 14, 2024 12:48 20s
November 14, 2024 12:48 20s
Merge branch 'master' into memsafety Sonar analysis #1855: Commit 577d4d6 pushed by leventeBajczi
November 14, 2024 12:48 13m 27s memsafety
memsafety
November 14, 2024 12:48 13m 27s
Memsafety and memcleanup Sonar analysis #1854: Pull request #322 synchronize by leventeBajczi
November 14, 2024 12:34 2m 46s
November 14, 2024 12:34 2m 46s
Instead of exception, only working when scope is found Sonar analysis #1853: Commit b36d87f pushed by leventeBajczi
November 14, 2024 12:34 13m 43s memsafety
memsafety
November 14, 2024 12:34 13m 43s
Merge pull request #324 from csanadtelbisz/oc-optimizer-fix Sonar analysis #1852: Commit c2d8ae3 pushed by leventeBajczi
November 14, 2024 12:27 9m 54s master
master
November 14, 2024 12:27 9m 54s
Xcfa oc checker optimization fix Sonar analysis #1851: Pull request #324 synchronize by leventeBajczi
November 14, 2024 12:21 27s
November 14, 2024 12:21 27s
Memsafety and memcleanup Sonar analysis #1850: Pull request #322 synchronize by leventeBajczi
November 14, 2024 12:01 20s
November 14, 2024 12:01 20s
Handling unknowns better Sonar analysis #1849: Commit 99427b5 pushed by leventeBajczi
November 14, 2024 12:01 3m 15s memsafety
memsafety
November 14, 2024 12:01 3m 15s
Memsafety and memcleanup Sonar analysis #1848: Pull request #322 synchronize by leventeBajczi
November 14, 2024 11:52 20s
November 14, 2024 11:52 20s
Fixed reference elimination when params are dereffd Sonar analysis #1847: Commit 62dd365 pushed by leventeBajczi
November 14, 2024 11:52 3m 9s memsafety
memsafety
November 14, 2024 11:52 3m 9s
Xcfa oc checker optimization fix Sonar analysis #1846: Pull request #324 synchronize by leventeBajczi
November 14, 2024 10:35 25s
November 14, 2024 10:35 25s
Xcfa oc checker optimization fix Sonar analysis #1845: Pull request #324 synchronize by leventeBajczi
November 13, 2024 23:30 22s
November 13, 2024 23:30 22s
Xcfa oc checker optimization fix Sonar analysis #1844: Pull request #324 synchronize by leventeBajczi
November 13, 2024 23:28 23s
November 13, 2024 23:28 23s
LTL checking Sonar analysis #1843: Pull request #311 synchronize by RipplB
November 13, 2024 20:13 23s
November 13, 2024 20:13 23s
Memsafety and memcleanup Sonar analysis #1842: Pull request #322 synchronize by leventeBajczi
November 13, 2024 19:51 20s
November 13, 2024 19:51 20s
Added comment on assumptions and dereferences Sonar analysis #1841: Commit 82efcc2 pushed by leventeBajczi
November 13, 2024 19:51 3m 24s memsafety
memsafety
November 13, 2024 19:51 3m 24s
Xcfa oc checker optimization fix Sonar analysis #1840: Pull request #324 synchronize by leventeBajczi
November 13, 2024 19:09 21s
November 13, 2024 19:09 21s
Memsafety and memcleanup Sonar analysis #1839: Pull request #322 synchronize by leventeBajczi
November 13, 2024 18:51 23s
November 13, 2024 18:51 23s
Fix bug and better memtrack Sonar analysis #1838: Commit 3165862 pushed by leventeBajczi
November 13, 2024 18:51 3m 5s memsafety
memsafety
November 13, 2024 18:51 3m 5s
Memsafety and memcleanup Sonar analysis #1837: Pull request #322 synchronize by leventeBajczi
November 13, 2024 17:57 24s
November 13, 2024 17:57 24s