Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
440 workflow run results
440 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extract thread-const-array-join example from level-ip options #6085: Commit 4800dc2 pushed by sim642
September 20, 2023 08:20 26s race-challenges
race-challenges
September 20, 2023 08:20 26s
Extract thread-alive-counter example from C-Thread-Pool options #6084: Commit beaa91f pushed by sim642
September 20, 2023 08:05 24s race-challenges
race-challenges
September 20, 2023 08:05 24s
Add and fix library functions for Concrat benchmarks options #6083: Pull request #1174 synchronize by sim642
September 20, 2023 07:26 27s libfuns-concrat
libfuns-concrat
September 20, 2023 07:26 27s
Add test for atexit soundness options #6082: Commit 71035d2 pushed by sim642
September 20, 2023 07:26 34s libfuns-concrat
libfuns-concrat
September 20, 2023 07:26 34s
Fix trace calls outside of if tracing options #6081: Commit d0e9064 pushed by michael-schwarz
September 19, 2023 19:49 19s master
master
September 19, 2023 19:49 19s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis options #6080: Pull request #1176 opened by sim642
September 19, 2023 14:50 20s race-null
race-null
September 19, 2023 14:50 20s
Fix ReachableFrom precision loss with int argument in 68-longjmp/41-p… options #6079: Commit 204594e pushed by sim642
September 19, 2023 14:45 1m 35s race-null
race-null
September 19, 2023 14:45 1m 35s
Add and fix library functions for Concrat benchmarks options #6078: Pull request #1174 synchronize by sim642
September 19, 2023 12:06 32s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 32s
Add some missing library functions for shairport options #6077: Commit a4772d6 pushed by sim642
September 19, 2023 12:06 24s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 24s
Remove VFB and B domains options #6076: Commit 0d4d713 pushed by karoliineh
September 19, 2023 11:46 19s region-mallocfresh-try2
region-mallocfresh-try2
September 19, 2023 11:46 19s
Add tests for library function races via NULL options #6075: Commit c5136d1 pushed by sim642
September 19, 2023 11:28 25s race-null
race-null
September 19, 2023 11:28 25s
Fix Cilfacade.pretty_typsig_like_typ forgetting pointers from name on… options #6074: Commit 0f59ac9 pushed by sim642
September 19, 2023 10:50 21s master
master
September 19, 2023 10:50 21s
Move duplicated BS module definition to top options #6073: Commit d35519b pushed by karoliineh
September 19, 2023 10:12 23s region-mallocfresh-try2
region-mallocfresh-try2
September 19, 2023 10:12 23s
Merge pull request #1173 from goblint/thread-self-create options #6072: Commit 8ec8c31 pushed by sim642
September 19, 2023 08:13 27s master
master
September 19, 2023 08:13 27s
Use BoolDomain instead of SetDomain options #6071: Commit b64b65f pushed by karoliineh
September 18, 2023 18:47 23s region-mallocfresh
region-mallocfresh
September 18, 2023 18:47 23s
Simplify domains in regionDomain options #6070: Commit 04bbbc7 pushed by karoliineh
September 18, 2023 18:47 26s region-mallocfresh-try2
region-mallocfresh-try2
September 18, 2023 18:47 26s
Add and fix library functions for Concrat benchmarks options #6069: Pull request #1174 opened by sim642
September 18, 2023 15:03 25s libfuns-concrat
libfuns-concrat
September 18, 2023 15:03 25s
Remove old library function classify options #6068: Commit 4e83af9 pushed by sim642
September 18, 2023 14:51 27s libfuns-concrat
libfuns-concrat
September 18, 2023 14:51 27s
Merge pull request #1172 from goblint/races_sjlj options #6067: Commit 851c6b3 pushed by michael-schwarz
September 18, 2023 14:10 22s master
master
September 18, 2023 14:10 22s
Use AddressDomain for queries options #6066: Pull request #1144 synchronize by karoliineh
September 18, 2023 12:48 24s queries-ad-cont
queries-ad-cont
September 18, 2023 12:48 24s
Use VS domain instead of AD for MustProtectedVars options #6065: Commit 2917999 pushed by karoliineh
September 18, 2023 12:48 25s queries-ad-cont
queries-ad-cont
September 18, 2023 12:48 25s
Null Byte Array Domain options #6064: Pull request #1076 synchronize by nathanschmidt
September 18, 2023 10:14 26s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 18, 2023 10:14 26s
Merge pull request #1142 from goblint/queries-ad options #6063: Commit 3666c92 pushed by sim642
September 18, 2023 09:05 8m 54s master
master
September 18, 2023 09:05 8m 54s
Use AddressDomain for MayPointTo and ReachableFrom queries options #6062: Pull request #1142 synchronize by sim642
September 18, 2023 09:05 1m 0s queries-ad
queries-ad
September 18, 2023 09:05 1m 0s
Merge branch 'master' into queries-ad options #6061: Commit 64a0a6f pushed by sim642
September 18, 2023 09:05 41s queries-ad
queries-ad
September 18, 2023 09:05 41s
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.