Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
55 workflow run results
55 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions locked #8320: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:37 31m 51s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 31m 51s
Apply suggestions from code review locked #8319: Commit 684cfa8 pushed by karoliineh
September 18, 2023 08:37 34m 7s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 34m 7s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions locked #8318: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:36 33m 31s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:36 33m 31s
Remove duplicate vsprintf and add vsnprintf locked #8317: Commit 4444284 pushed by karoliineh
September 18, 2023 08:36 34m 54s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:36 34m 54s
Fix Cilfacade.split_anoncomp_name for empty names (closes #1171) locked #8316: Commit 1feb75e pushed by sim642
September 18, 2023 08:32 40m 55s master
master
September 18, 2023 08:32 40m 55s
locked locked #8315: Scheduled
September 18, 2023 02:00 2h 20m 26s master
master
September 18, 2023 02:00 2h 20m 26s
locked locked #8314: Scheduled
September 17, 2023 02:01 2h 13m 25s master
master
September 17, 2023 02:01 2h 13m 25s
Add some setjump/longjump tests for race detection locked #8313: Pull request #1172 synchronize by michael-schwarz
September 16, 2023 14:48 29m 6s races_sjlj
races_sjlj
September 16, 2023 14:48 29m 6s
68/[52-55] Don't include goblint.h, it is unused locked #8312: Commit 18fe6d1 pushed by michael-schwarz
September 16, 2023 14:47 30m 41s races_sjlj
races_sjlj
September 16, 2023 14:47 30m 41s
Add some setjump/longjump tests for race detection locked #8311: Pull request #1172 opened by michael-schwarz
September 16, 2023 14:39 31m 30s races_sjlj
races_sjlj
September 16, 2023 14:39 31m 30s
Add some setjump/longjump test for race detection locked #8310: Commit fb7159c pushed by michael-schwarz
September 16, 2023 14:33 29m 27s races_sjlj
races_sjlj
September 16, 2023 14:33 29m 27s
Null Byte Array Domain locked #8309: Pull request #1076 synchronize by nathanschmidt
September 16, 2023 12:48 32m 9s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 16, 2023 12:48 32m 9s
locked locked #8308: Scheduled
September 16, 2023 01:57 2h 21m 12s master
master
September 16, 2023 01:57 2h 21m 12s
Simplify add_set in regionDomain locked #8307: Commit 3bf5268 pushed by karoliineh
September 15, 2023 15:12 35m 31s region-mallocfresh
region-mallocfresh
September 15, 2023 15:12 35m 31s
Use SetDomain instead of PartitionDomain.Set in RS locked #8306: Commit cc781cc pushed by karoliineh
September 15, 2023 14:25 46m 10s region-mallocfresh
region-mallocfresh
September 15, 2023 14:25 46m 10s
Merge pull request #1170 from goblint/acc-record locked #8305: Commit eb48502 pushed by sim642
September 15, 2023 08:04 47m 47s master
master
September 15, 2023 08:04 47m 47s
Use AddressDomain for queries locked #8304: Pull request #1144 synchronize by sim642
September 15, 2023 08:03 49m 26s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 49m 26s
Simplify some AD conversions, add TODOs locked #8303: Commit cb08d33 pushed by sim642
September 15, 2023 08:03 36m 6s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 36m 6s
Use AddressDomain for queries locked #8302: Pull request #1144 synchronize by sim642
September 15, 2023 07:45 30m 53s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 30m 53s
Merge branch 'queries-ad' into queries-ad-cont locked #8301: Commit fb1be83 pushed by sim642
September 15, 2023 07:45 37m 59s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 37m 59s
Use record as Access.A type instead of a quintuple locked #8300: Pull request #1170 synchronize by karoliineh
September 15, 2023 07:34 38m 49s acc-record
acc-record
September 15, 2023 07:34 38m 49s
Pass access as a variable instead of destructing the record locked #8299: Commit 60952d9 pushed by karoliineh
September 15, 2023 07:34 37m 43s acc-record
acc-record
September 15, 2023 07:34 37m 43s
locked locked #8298: Scheduled
September 15, 2023 02:00 2h 22m 12s master
master
September 15, 2023 02:00 2h 22m 12s
Use record as Access.A type instead of a quintuple locked #8297: Pull request #1170 synchronize by karoliineh
September 14, 2023 19:00 33m 15s acc-record
acc-record
September 14, 2023 19:00 33m 15s
Inline d_msg () to doc in access locked #8296: Commit 929b658 pushed by karoliineh
September 14, 2023 18:58 40m 31s acc-record
acc-record
September 14, 2023 18:58 40m 31s