Skip to content

Actions: mrstanb/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check that addresses in struct fields are singletons and not top indentation #154: Commit 80492cc pushed by mrstanb
November 18, 2023 14:27 4m 57s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:27 4m 57s
Use unrollType and GVarDecl for global vars indentation #153: Commit 6cc01b5 pushed by mrstanb
November 18, 2023 14:23 5m 17s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:23 5m 17s
Use solely local state for multi-threaded valid-memcleanup indentation #152: Commit 7289ec3 pushed by mrstanb
November 18, 2023 13:38 5m 0s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 18, 2023 13:38 5m 0s
Add regr. test cases for multi-threaded valid-memcleanup indentation #151: Commit c0fe89e pushed by mrstanb
November 16, 2023 06:54 3s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 16, 2023 06:54 3s
Fix semgrep warning for using List.length for an emptiness check indentation #150: Commit 8459104 pushed by mrstanb
November 15, 2023 22:34 5m 12s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:34 5m 12s
Merge branch 'improve-valid-memtrack-for-single-threaded-programs' of… indentation #149: Commit 0bec1ac pushed by mrstanb
November 15, 2023 22:27 5m 1s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:27 5m 1s
Merge branch 'master' into improve-valid-memtrack-for-single-threaded… indentation #148: Commit 24fd4e8 pushed by michael-schwarz
November 15, 2023 14:49 5m 21s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 14:49 5m 21s
Add 3 regr. tests for trying out global struct variables indentation #147: Commit f343d74 pushed by mrstanb
November 8, 2023 21:52 5m 57s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 21:52 5m 57s
Don't set InvalidMemTrack flag a second time indentation #146: Commit 05e4892 pushed by mrstanb
November 8, 2023 19:53 5m 5s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:53 5m 5s
Don't set InvalidMemTrack flag a second time indentation #145: Commit 175b003 pushed by mrstanb
November 8, 2023 19:52 5m 42s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:52 5m 42s
Remove //TODO comment from 76/09 indentation #144: Commit c056b32 pushed by mrstanb
November 8, 2023 19:51 6m 7s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:51 6m 7s
Merge pull request #1236 from goblint/issue-1235 indentation #143: Commit 3fd60ec pushed by mrstanb
November 7, 2023 21:00 5m 7s master
master
November 7, 2023 21:00 5m 7s
Add test cases for unreachable heap memory from globals indentation #142: Commit 9f7224e pushed by mrstanb
November 7, 2023 20:47 3s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 7, 2023 20:47 3s
Merge pull request #1187 from goblint/issue_843 indentation #141: Commit 5f4f94b pushed by mrstanb
November 5, 2023 17:27 5m 55s master
master
November 5, 2023 17:27 5m 55s
Activate cil.addNestedScopeAttr when memOutOfBounds analysis is a… indentation #140: Commit 910a11f pushed by michael-schwarz
October 12, 2023 12:50 6m 22s svcomp-memsafety-benchmarks
svcomp-memsafety-benchmarks
October 12, 2023 12:50 6m 22s
Merge branch 'master' into svcomp-memsafety-benchmarks indentation #139: Commit 7fad157 pushed by michael-schwarz
October 12, 2023 12:32 6m 7s svcomp-memsafety-benchmarks
svcomp-memsafety-benchmarks
October 12, 2023 12:32 6m 7s
Merge branch 'master' into svcomp-memsafety-benchmarks indentation #138: Commit 33e69af pushed by mrstanb
October 11, 2023 14:52 7m 13s svcomp-memsafety-benchmarks
svcomp-memsafety-benchmarks
October 11, 2023 14:52 7m 13s
Add names to region analysis domains indentation #137: Commit d9afd55 pushed by mrstanb
October 11, 2023 14:48 6m 38s master
master
October 11, 2023 14:48 6m 38s
Reorganize memsafety regr. tests indentation #136: Commit a2f36fb pushed by mrstanb
October 11, 2023 14:46 6m 46s svcomp-memsafety-benchmarks
svcomp-memsafety-benchmarks
October 11, 2023 14:46 6m 46s
Reduce duplication indentation #135: Commit f018ea3 pushed by michael-schwarz
October 11, 2023 09:36 6m 11s svcomp-memsafety-benchmarks
svcomp-memsafety-benchmarks
October 11, 2023 09:36 6m 11s
Remove unnecessary stuff from test case 74/15 indentation #134: Commit e339ed1 pushed by mrstanb
October 11, 2023 08:59 6m 53s svcomp-memsafety-benchmarks
svcomp-memsafety-benchmarks
October 11, 2023 08:59 6m 53s
Remove commented out code from enter in UAF analysis indentation #133: Commit 072f99d pushed by mrstanb
October 11, 2023 08:58 7m 29s svcomp-memsafety-benchmarks
svcomp-memsafety-benchmarks
October 11, 2023 08:58 7m 29s
Remove unnecessary pin indentation #132: Commit e98911d pushed by mrstanb
October 11, 2023 08:53 6m 27s svcomp-memsafety-benchmarks
svcomp-memsafety-benchmarks
October 11, 2023 08:53 6m 27s