Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
489 workflow run results
489 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing library functions for large Concrat benchmarks locked #8635: Pull request #1212 opened by sim642
October 9, 2023 13:01 40m 18s libfuns-concrat
libfuns-concrat
October 9, 2023 13:01 40m 18s
Refactor invalidate actions table locked #8634: Commit 599bbb5 pushed by sim642
October 9, 2023 12:54 39m 58s libfuns-duplicate
libfuns-duplicate
October 9, 2023 12:54 39m 58s
Add zError library function for concrat/the_silver_searcher locked #8633: Commit 0af8ba7 pushed by sim642
October 9, 2023 11:39 32m 12s libfuns-concrat
libfuns-concrat
October 9, 2023 11:39 32m 12s
Add warn library function for concrat/the_silver_searcher locked #8632: Commit c630a39 pushed by sim642
October 9, 2023 11:09 33m 47s libfuns-concrat
libfuns-concrat
October 9, 2023 11:09 33m 47s
Add alphasort library function for concrat/ProcDump-for-Linux locked #8631: Commit c222508 pushed by sim642
October 9, 2023 10:22 39m 5s libfuns-concrat
libfuns-concrat
October 9, 2023 10:22 39m 5s
Fix too broad try block in BaseInvariant locked #8630: Commit 8468a5a pushed by sim642
October 9, 2023 09:13 39m 32s master
master
October 9, 2023 09:13 39m 32s
Fix longjmp crash on Uninitialized locked #8629: Pull request #1210 opened by sim642
October 9, 2023 08:50 29m 20s longjmp-top
longjmp-top
October 9, 2023 08:50 29m 20s
Fix longjmp crash on Uninitialized locked #8628: Commit 2224e86 pushed by sim642
October 9, 2023 08:46 31m 5s longjmp-top
longjmp-top
October 9, 2023 08:46 31m 5s
locked locked #8627: Scheduled
October 9, 2023 02:01 2h 19m 9s master
master
October 9, 2023 02:01 2h 19m 9s
locked locked #8626: Scheduled
October 8, 2023 02:03 2h 16m 13s master
master
October 8, 2023 02:03 2h 16m 13s
locked locked #8625: Scheduled
October 7, 2023 01:59 2h 18m 18s master
master
October 7, 2023 01:59 2h 18m 18s
SV-COMP "Memory Safety" benchmark additions locked #8624: Pull request #1201 synchronize by mrstanb
October 6, 2023 21:10 29m 50s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 6, 2023 21:10 29m 50s
SV-COMP "Memory Safety" benchmark additions locked #8623: Pull request #1201 synchronize by mrstanb
October 6, 2023 20:57 14m 31s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 6, 2023 20:57 14m 31s
SV-COMP "Memory Safety" benchmark additions locked #8622: Pull request #1201 synchronize by mrstanb
October 6, 2023 20:57 15m 8s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 6, 2023 20:57 15m 8s
SV-COMP "Memory Safety" benchmark additions locked #8621: Pull request #1201 synchronize by mrstanb
October 6, 2023 20:56 14m 43s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 6, 2023 20:56 14m 43s
SV-COMP "Memory Safety" benchmark additions locked #8620: Pull request #1201 synchronize by mrstanb
October 6, 2023 20:55 15m 45s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 6, 2023 20:55 15m 45s
Add ana.base.strings.domain option and unit string domain locked #8619: Pull request #1208 opened by sim642
October 6, 2023 15:06 36m 7s string-unit-domain
string-unit-domain
October 6, 2023 15:06 36m 7s
Add StringDomain interface locked #8618: Commit 3cb651f pushed by sim642
October 6, 2023 14:57 35m 3s string-unit-domain
string-unit-domain
October 6, 2023 14:57 35m 3s
locked locked #8617: Scheduled
October 6, 2023 02:01 2h 22m 35s master
master
October 6, 2023 02:01 2h 22m 35s
Improve SV-COMP conf for no-data-race locked #8616: Pull request #1207 opened by sim642
October 5, 2023 14:46 38m 42s svcomp24-conf
svcomp24-conf
October 5, 2023 14:46 38m 42s
Add option ana.race.call locked #8615: Commit 94307d0 pushed by sim642
October 5, 2023 14:28 39m 21s svcomp24-conf
svcomp24-conf
October 5, 2023 14:28 39m 21s
Organize some general modules into dune libraries locked #8614: Pull request #1206 opened by sim642
October 5, 2023 13:35 32m 25s goblint-dune-libs
goblint-dune-libs
October 5, 2023 13:35 32m 25s
SV-COMP "Memory Safety" benchmark additions locked #8613: Pull request #1201 synchronize by mrstanb
October 5, 2023 13:25 34m 7s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 13:25 34m 7s
Extract widely used modules to common dune library locked #8612: Commit d723fde pushed by sim642
October 5, 2023 12:48 34m 51s goblint-dune-libs
goblint-dune-libs
October 5, 2023 12:48 34m 51s
SV-COMP "Memory Safety" benchmark additions locked #8611: Pull request #1201 synchronize by mrstanb
October 5, 2023 12:04 31m 26s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 12:04 31m 26s