Skip to content

Actions: ftsrg/theta

Actions

Sonar analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

XCFA-refactor 2023 [draft] Sonar analysis #508: Pull request #198 synchronize by leventeBajczi
November 22, 2023 07:31 10m 14s xcfa-refactor
xcfa-refactor
November 22, 2023 07:31 10m 14s
Added separate portfolio for multithreaded programs Sonar analysis #507: Commit e7f9eca pushed by leventeBajczi
November 22, 2023 07:31 10m 9s xcfa-refactor
xcfa-refactor
November 22, 2023 07:31 10m 9s
Interprocedural verification enhancement Sonar analysis #506: Pull request #244 synchronize by s0mark
November 21, 2023 19:20 36s s0mark:interproc
s0mark:interproc
November 21, 2023 19:20 36s
XCFA-refactor 2023 [draft] Sonar analysis #505: Pull request #198 synchronize by leventeBajczi
November 21, 2023 16:41 10m 6s xcfa-refactor
xcfa-refactor
November 21, 2023 16:41 10m 6s
Fixed problem with empty returns Sonar analysis #504: Commit 16c2cc0 pushed by leventeBajczi
November 21, 2023 16:41 9m 44s xcfa-refactor
xcfa-refactor
November 21, 2023 16:41 9m 44s
XCFA-refactor 2023 [draft] Sonar analysis #503: Pull request #198 synchronize by leventeBajczi
November 21, 2023 12:48 10m 30s xcfa-refactor
xcfa-refactor
November 21, 2023 12:48 10m 30s
Fixed naming of archives Sonar analysis #502: Commit b064ff6 pushed by leventeBajczi
November 21, 2023 12:48 9m 49s xcfa-refactor
xcfa-refactor
November 21, 2023 12:48 9m 49s
XCFA-refactor 2023 [draft] Sonar analysis #501: Pull request #198 synchronize by leventeBajczi
November 21, 2023 12:42 6m 19s xcfa-refactor
xcfa-refactor
November 21, 2023 12:42 6m 19s
Added createThread key to witness Sonar analysis #500: Commit ace1757 pushed by leventeBajczi
November 21, 2023 12:42 6m 15s xcfa-refactor
xcfa-refactor
November 21, 2023 12:42 6m 15s
XCFA-refactor 2023 [draft] Sonar analysis #499: Pull request #198 synchronize by leventeBajczi
November 21, 2023 11:33 9m 34s xcfa-refactor
xcfa-refactor
November 21, 2023 11:33 9m 34s
Formatting Sonar analysis #498: Commit 5a420c7 pushed by leventeBajczi
November 21, 2023 11:33 9m 57s xcfa-refactor
xcfa-refactor
November 21, 2023 11:33 9m 57s
XCFA-refactor 2023 [draft] Sonar analysis #497: Pull request #198 synchronize by leventeBajczi
November 21, 2023 11:30 3m 47s xcfa-refactor
xcfa-refactor
November 21, 2023 11:30 3m 47s
Fixed metadata for witness Sonar analysis #496: Commit 76323a5 pushed by leventeBajczi
November 21, 2023 11:30 3m 53s xcfa-refactor
xcfa-refactor
November 21, 2023 11:30 3m 53s
Interprocedural verification enhancement Sonar analysis #495: Pull request #244 synchronize by s0mark
November 20, 2023 21:25 25s s0mark:interproc
s0mark:interproc
November 20, 2023 21:25 25s
Interprocedural verification enhancement Sonar analysis #494: Pull request #244 synchronize by s0mark
November 20, 2023 21:24 26s s0mark:interproc
s0mark:interproc
November 20, 2023 21:24 26s
Interprocedural verification enhancement Sonar analysis #493: Pull request #244 synchronize by s0mark
November 20, 2023 19:47 27s s0mark:interproc
s0mark:interproc
November 20, 2023 19:47 27s
Interprocedural verification enhancement Sonar analysis #492: Pull request #244 synchronize by s0mark
November 20, 2023 19:41 30s s0mark:interproc
s0mark:interproc
November 20, 2023 19:41 30s
XCFA-refactor 2023 [draft] Sonar analysis #491: Pull request #198 synchronize by leventeBajczi
November 20, 2023 17:33 11m 29s xcfa-refactor
xcfa-refactor
November 20, 2023 17:33 11m 29s
Various fixes Sonar analysis #490: Commit aa8d80d pushed by leventeBajczi
November 20, 2023 17:33 9m 59s xcfa-refactor
xcfa-refactor
November 20, 2023 17:33 9m 59s
XCFA-refactor 2023 [draft] Sonar analysis #489: Pull request #198 synchronize by leventeBajczi
November 20, 2023 09:04 9m 51s xcfa-refactor
xcfa-refactor
November 20, 2023 09:04 9m 51s
Handling empty program Sonar analysis #488: Commit 98eef3a pushed by leventeBajczi
November 20, 2023 09:04 10m 7s xcfa-refactor
xcfa-refactor
November 20, 2023 09:04 10m 7s
XCFA-refactor 2023 [draft] Sonar analysis #487: Pull request #198 synchronize by leventeBajczi
November 19, 2023 20:19 10m 3s xcfa-refactor
xcfa-refactor
November 19, 2023 20:19 10m 3s
Formatted portfolio file Sonar analysis #486: Commit 6b0cc83 pushed by leventeBajczi
November 19, 2023 20:19 9m 59s xcfa-refactor
xcfa-refactor
November 19, 2023 20:19 9m 59s
XCFA-refactor 2023 [draft] Sonar analysis #485: Pull request #198 synchronize by leventeBajczi
November 19, 2023 20:14 4m 24s xcfa-refactor
xcfa-refactor
November 19, 2023 20:14 4m 24s
Fixed problems with portfolio Sonar analysis #484: Commit 1177455 pushed by leventeBajczi
November 19, 2023 20:14 4m 26s xcfa-refactor
xcfa-refactor
November 19, 2023 20:14 4m 26s
ProTip! You can narrow down the results and go further in time using created:<2023-11-19 or the other filters available.