Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
79 workflow run results
79 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #8019: Scheduled
August 3, 2023 02:08 2h 0m 34s master
master
August 3, 2023 02:08 2h 0m 34s
Convert library functions to new specifications locked #8018: Pull request #1079 synchronize by karoliineh
August 2, 2023 19:32 28m 55s libfuns-spec
libfuns-spec
August 2, 2023 19:32 28m 55s
Update src/analyses/libraryFunctions.ml locked #8017: Commit f2fd9b5 pushed by karoliineh
August 2, 2023 19:32 25m 41s libfuns-spec
libfuns-spec
August 2, 2023 19:32 25m 41s
Convert library functions to new specifications locked #8016: Pull request #1079 synchronize by karoliineh
August 2, 2023 19:31 29m 32s libfuns-spec
libfuns-spec
August 2, 2023 19:31 29m 32s
Merge branch 'master' into libfuns-spec locked #8015: Commit 66ab9fb pushed by karoliineh
August 2, 2023 19:31 27m 4s libfuns-spec
libfuns-spec
August 2, 2023 19:31 27m 4s
Improve multi-threaded UAF analysis and add SVComp result generation locked #8014: Pull request #1123 synchronize by mrstanb
August 2, 2023 12:32 26m 25s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 2, 2023 12:32 26m 25s
Convert library functions to new specifications locked #8013: Pull request #1079 synchronize by karoliineh
August 2, 2023 12:20 28m 41s libfuns-spec
libfuns-spec
August 2, 2023 12:20 28m 41s
Implement comments from code review locked #8012: Commit 5c8bcfb pushed by karoliineh
August 2, 2023 12:20 24m 37s libfuns-spec
libfuns-spec
August 2, 2023 12:20 24m 37s
Apply suggestions from code review locked #8010: Commit 1f53318 pushed by karoliineh
August 2, 2023 12:03 30m 10s libfuns-spec
libfuns-spec
August 2, 2023 12:03 30m 10s
Convert library functions to new specifications locked #8011: Pull request #1079 synchronize by karoliineh
August 2, 2023 12:03 32m 14s libfuns-spec
libfuns-spec
August 2, 2023 12:03 32m 14s
Unassume benchmarking fixes locked #8009: Pull request #1124 synchronize by sim642
August 2, 2023 09:10 32m 7s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 2, 2023 09:10 32m 7s
Fix trace-not-in-tracing semgrep rule for conjunctions locked #8008: Commit 22f6061 pushed by sim642
August 2, 2023 09:10 29m 46s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 2, 2023 09:10 29m 46s
Unassume benchmarking fixes locked #8007: Pull request #1124 opened by sim642
August 2, 2023 09:01 31m 47s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 2, 2023 09:01 31m 47s
Special case calloc with count 1 in base locked #8006: Commit 66204e4 pushed by sim642
August 2, 2023 08:49 33m 3s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 2, 2023 08:49 33m 3s
Improve multi-threaded UAF analysis and add SVComp result generation locked #8005: Pull request #1123 synchronize by mrstanb
August 2, 2023 07:55 26m 27s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 2, 2023 07:55 26m 27s
Remove pthread_mutexattr_t from is_mutex_type locked #8004: Commit 2ed68e0 pushed by sim642
August 2, 2023 07:29 30m 46s yaml-witness-unassume-bench-debug
yaml-witness-unassume-bench-debug
August 2, 2023 07:29 30m 46s
locked locked #8003: Scheduled
August 2, 2023 02:06 2h 2m 2s master
master
August 2, 2023 02:06 2h 2m 2s
Analysis tracking equality between calls to math library functions to improve invariant locked #8002: Pull request #1041 synchronize by FelixKrayer
August 1, 2023 20:15 28m 40s FelixKrayer:tmpSpecial
FelixKrayer:tmpSpecial
August 1, 2023 20:15 28m 40s
Analysis tracking equality between calls to math library functions to improve invariant locked #8001: Pull request #1041 synchronize by FelixKrayer
August 1, 2023 20:11 29m 56s FelixKrayer:tmpSpecial
FelixKrayer:tmpSpecial
August 1, 2023 20:11 29m 56s
Replace direct stdout printing with logging locked #8000: Pull request #1117 synchronize by sim642
August 1, 2023 14:51 36m 7s logs
logs
August 1, 2023 14:51 36m 7s
Document logging locked #7999: Commit bf4cb31 pushed by sim642
August 1, 2023 14:51 31m 21s logs
logs
August 1, 2023 14:51 31m 21s
Replace direct stdout printing with logging locked #7998: Pull request #1117 synchronize by sim642
August 1, 2023 14:27 34m 10s logs
logs
August 1, 2023 14:27 34m 10s
Fix dbg.verbose in gobview locked #7997: Commit bb7d504 pushed by sim642
August 1, 2023 14:27 38m 37s logs
logs
August 1, 2023 14:27 38m 37s
Replace direct stdout printing with logging locked #7996: Pull request #1117 synchronize by sim642
August 1, 2023 14:26 47m 5s logs
logs
August 1, 2023 14:26 47m 5s
Remove dbg.verbose option locked #7995: Commit 4c463c7 pushed by sim642
August 1, 2023 14:26 45m 11s logs
logs
August 1, 2023 14:26 45m 11s