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

Fixed backwards compatibility with toolinfo Sonar analysis #545: Commit 2964798 pushed by leventeBajczi
January 7, 2024 17:23 9m 55s xcfa-refactor
xcfa-refactor
January 7, 2024 17:23 9m 55s
XCFA-refactor 2023 [draft] Sonar analysis #544: Pull request #198 synchronize by thetabotmaintainer bot
January 7, 2024 17:04 7m 46s xcfa-refactor
xcfa-refactor
January 7, 2024 17:04 7m 46s
Reapplied copyright Sonar analysis #543: Commit 3388c76 pushed by thetabotmaintainer bot
January 7, 2024 17:04 8m 14s xcfa-refactor
xcfa-refactor
January 7, 2024 17:04 8m 14s
XCFA-refactor 2023 [draft] Sonar analysis #542: Pull request #198 synchronize by thetabotmaintainer bot
January 7, 2024 17:04 49s xcfa-refactor
xcfa-refactor
January 7, 2024 17:04 49s
Reformatted code Sonar analysis #541: Commit 6079958 pushed by thetabotmaintainer bot
January 7, 2024 17:04 48s xcfa-refactor
xcfa-refactor
January 7, 2024 17:04 48s
XCFA-refactor 2023 [draft] Sonar analysis #540: Pull request #198 synchronize by leventeBajczi
January 7, 2024 16:59 4m 31s xcfa-refactor
xcfa-refactor
January 7, 2024 16:59 4m 31s
Added entries to gitignore Sonar analysis #539: Commit 139edf5 pushed by leventeBajczi
January 7, 2024 16:59 4m 27s xcfa-refactor
xcfa-refactor
January 7, 2024 16:59 4m 27s
XCFA-refactor 2023 [draft] Sonar analysis #538: Pull request #198 synchronize by leventeBajczi
January 7, 2024 16:58 1m 20s xcfa-refactor
xcfa-refactor
January 7, 2024 16:58 1m 20s
Fixed some tests Sonar analysis #537: Commit c5677d6 pushed by leventeBajczi
January 7, 2024 16:58 1m 20s xcfa-refactor
xcfa-refactor
January 7, 2024 16:58 1m 20s
Pointer support Sonar analysis #536: Pull request #239 synchronize by sisakb
December 4, 2023 17:01 27s sisakb:pointers
sisakb:pointers
December 4, 2023 17:01 27s
portfolio data-race fix Sonar analysis #532: Commit 31192b7 pushed by leventeBajczi
November 25, 2023 11:41 9m 33s svcomp24
svcomp24
November 25, 2023 11:41 9m 33s
XCFA-refactor 2023 [draft] Sonar analysis #531: Pull request #198 synchronize by csanadtelbisz
November 24, 2023 00:34 9m 54s xcfa-refactor
xcfa-refactor
November 24, 2023 00:34 9m 54s
portfolio data-race fix Sonar analysis #530: Commit 31192b7 pushed by csanadtelbisz
November 24, 2023 00:33 9m 48s xcfa-refactor
xcfa-refactor
November 24, 2023 00:33 9m 48s
XCFA-refactor 2023 [draft] Sonar analysis #529: Pull request #198 synchronize by leventeBajczi
November 23, 2023 22:38 9m 29s xcfa-refactor
xcfa-refactor
November 23, 2023 22:38 9m 29s
Merge pull request #244 from s0mark/interproc Sonar analysis #528: Commit 22257ee pushed by leventeBajczi
November 23, 2023 22:38 10m 5s xcfa-refactor
xcfa-refactor
November 23, 2023 22:38 10m 5s
Interprocedural verification enhancement Sonar analysis #527: Pull request #244 synchronize by s0mark
November 23, 2023 16:13 1m 55s s0mark:interproc
s0mark:interproc
November 23, 2023 16:13 1m 55s
XCFA-refactor 2023 [draft] Sonar analysis #526: Pull request #198 synchronize by leventeBajczi
November 23, 2023 09:13 9m 56s xcfa-refactor
xcfa-refactor
November 23, 2023 09:13 9m 56s
Fixed safe default Sonar analysis #525: Commit 5eeb1ce pushed by leventeBajczi
November 23, 2023 09:13 10m 21s xcfa-refactor
xcfa-refactor
November 23, 2023 09:13 10m 21s
XCFA-refactor 2023 [draft] Sonar analysis #524: Pull request #198 synchronize by leventeBajczi
November 22, 2023 22:05 9m 37s xcfa-refactor
xcfa-refactor
November 22, 2023 22:05 9m 37s
Also downloading LICENSE for cvc5 Sonar analysis #523: Commit 18796ab pushed by leventeBajczi
November 22, 2023 22:05 9m 47s xcfa-refactor
xcfa-refactor
November 22, 2023 22:05 9m 47s
XCFA-refactor 2023 [draft] Sonar analysis #522: Pull request #198 synchronize by leventeBajczi
November 22, 2023 21:24 9m 45s xcfa-refactor
xcfa-refactor
November 22, 2023 21:24 9m 45s
Throwing error when encountering #pragmas Sonar analysis #521: Commit 7f5c7d2 pushed by leventeBajczi
November 22, 2023 21:24 9m 54s xcfa-refactor
xcfa-refactor
November 22, 2023 21:24 9m 54s
XCFA-refactor 2023 [draft] Sonar analysis #520: Pull request #198 synchronize by leventeBajczi
November 22, 2023 20:35 10m 35s xcfa-refactor
xcfa-refactor
November 22, 2023 20:35 10m 35s
Enhanced the triggers in the portfolio Sonar analysis #519: Commit d492a1f pushed by leventeBajczi
November 22, 2023 20:35 10m 14s xcfa-refactor
xcfa-refactor
November 22, 2023 20:35 10m 14s
Interprocedural verification enhancement Sonar analysis #518: Pull request #244 synchronize by s0mark
November 22, 2023 14:39 50s s0mark:interproc
s0mark:interproc
November 22, 2023 14:39 50s
ProTip! You can narrow down the results and go further in time using created:<2023-11-22 or the other filters available.