Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
247 workflow run results
247 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use AddressDomain for queries indentation #7912: Pull request #1144 synchronize by karoliineh
August 29, 2023 17:23 3m 45s queries-ad-cont
queries-ad-cont
August 29, 2023 17:23 3m 45s
Rename MayBeTaintedA -> MayBeTainted indentation #7911: Commit 0d3af6c pushed by karoliineh
August 29, 2023 17:23 3m 40s queries-ad-cont
queries-ad-cont
August 29, 2023 17:23 3m 40s
Use AddressDomain for queries indentation #7910: Pull request #1144 synchronize by karoliineh
August 29, 2023 15:31 4m 36s queries-ad-cont
queries-ad-cont
August 29, 2023 15:31 4m 36s
Use MayBeTaintedA in base indentation #7909: Commit 392834b pushed by karoliineh
August 29, 2023 15:31 4m 17s queries-ad-cont
queries-ad-cont
August 29, 2023 15:31 4m 17s
Use AddressDomain for queries indentation #7908: Pull request #1144 synchronize by karoliineh
August 29, 2023 12:42 3m 42s queries-ad-cont
queries-ad-cont
August 29, 2023 12:42 3m 42s
Rename EvalFunvarA -> EvalFunvar indentation #7907: Commit 9fef594 pushed by karoliineh
August 29, 2023 12:42 4m 29s queries-ad-cont
queries-ad-cont
August 29, 2023 12:42 4m 29s
Use AddressDomain for queries indentation #7906: Pull request #1144 opened by karoliineh
August 29, 2023 09:33 3s queries-ad-cont
queries-ad-cont
August 29, 2023 09:33 3s
Use MustLocksetA and MustProtectedVarsA in mutexAnalysis indentation #7905: Commit 326b8e6 pushed by karoliineh
August 29, 2023 09:28 3s queries-ad-cont
queries-ad-cont
August 29, 2023 09:28 3s
Improve multi-threaded UAF analysis and add SVComp result generation indentation #7904: Pull request #1123 synchronize by mrstanb
August 28, 2023 21:32 3m 51s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 28, 2023 21:32 3m 51s
Improve multi-threaded UAF analysis and add SVComp result generation indentation #7903: Pull request #1123 synchronize by mrstanb
August 28, 2023 20:19 3m 47s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 28, 2023 20:19 3m 47s
fix: copying of files to GobView in projects with subdirectories indentation #7902: Pull request #1143 opened by sallto
August 28, 2023 14:53 4s sallto:master
sallto:master
August 28, 2023 14:53 4s
Remove unneccessary module calls before AD and Addr in base indentation #7901: Commit 5938225 pushed by karoliineh
August 28, 2023 12:02 3m 57s queries-ad
queries-ad
August 28, 2023 12:02 3m 57s
Improve multi-threaded UAF analysis and add SVComp result generation indentation #7900: Pull request #1123 synchronize by mrstanb
August 27, 2023 12:00 3m 51s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 27, 2023 12:00 3m 51s
Improve multi-threaded UAF analysis and add SVComp result generation indentation #7899: Pull request #1123 synchronize by mrstanb
August 26, 2023 12:38 3m 41s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 26, 2023 12:38 3m 41s
Improve multi-threaded UAF analysis and add SVComp result generation indentation #7898: Pull request #1123 synchronize by mrstanb
August 26, 2023 10:30 3m 48s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 26, 2023 10:30 3m 48s
Memory Out-Of-Bounds Access Analysis indentation #7897: Pull request #1094 synchronize by mrstanb
August 25, 2023 16:52 5m 19s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
August 25, 2023 16:52 5m 19s
Memory Out-Of-Bounds Access Analysis indentation #7896: Pull request #1094 synchronize by mrstanb
August 25, 2023 16:51 4m 16s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
August 25, 2023 16:51 4m 16s
Memory Out-Of-Bounds Access Analysis indentation #7895: Pull request #1094 synchronize by mrstanb
August 25, 2023 16:46 4m 29s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
August 25, 2023 16:46 4m 29s
Memory Out-Of-Bounds Access Analysis indentation #7894: Pull request #1094 synchronize by mrstanb
August 25, 2023 16:41 4m 8s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
August 25, 2023 16:41 4m 8s
Use AddressDomain for MayPointTo and ReachableFrom queries indentation #7893: Pull request #1142 synchronize by karoliineh
August 25, 2023 16:38 3m 38s queries-ad
queries-ad
August 25, 2023 16:38 3m 38s
Simplify cardinal > 0 to not is_empty indentation #7892: Commit 57549d0 pushed by karoliineh
August 25, 2023 16:38 4m 47s queries-ad
queries-ad
August 25, 2023 16:38 4m 47s
Use AddressDomain for MayPointTo and ReachableFrom queries indentation #7891: Pull request #1142 synchronize by karoliineh
August 25, 2023 16:09 5m 9s queries-ad
queries-ad
August 25, 2023 16:09 5m 9s
Rename ReachableFromA -> ReachableFrom indentation #7890: Commit 43223d0 pushed by karoliineh
August 25, 2023 16:09 3m 40s queries-ad
queries-ad
August 25, 2023 16:09 3m 40s
Use AddressDomain for MayPointTo and ReachableFrom queries indentation #7889: Pull request #1142 synchronize by karoliineh
August 25, 2023 14:26 3m 46s queries-ad
queries-ad
August 25, 2023 14:26 3m 46s
Use MayPointToA and ReachableFromA in taindPartialContexts indentation #7888: Commit f3c3d18 pushed by karoliineh
August 25, 2023 14:26 3m 53s queries-ad
queries-ad
August 25, 2023 14:26 3m 53s