Skip to content

Actions: goblint/cil

Actions

build and run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add attribute goblint_cil_nested to local varinfos that are not declared at top scope build and run tests #661: Pull request #155 opened by michael-schwarz
October 1, 2023 10:49 2h 48m 8s attribute_scope
attribute_scope
October 1, 2023 10:49 2h 48m 8s
Cleanup, set default for new attribute to false build and run tests #660: Commit ae25165 pushed by michael-schwarz
October 1, 2023 10:36 1h 6m 39s attribute_scope
attribute_scope
October 1, 2023 10:36 1h 6m 39s
Rewrite code to be a bit more efficient build and run tests #659: Commit dbf7fcd pushed by michael-schwarz
October 1, 2023 10:35 18m 53s attribute_scope
attribute_scope
October 1, 2023 10:35 18m 53s
bump threshold build and run tests #658: Commit df6a5fc pushed by michael-schwarz
October 1, 2023 10:19 34m 51s attribute_scope
attribute_scope
October 1, 2023 10:19 34m 51s
Attempt add adding attribute when nested build and run tests #657: Commit 86cec52 pushed by michael-schwarz
October 1, 2023 10:15 39m 7s attribute_scope
attribute_scope
October 1, 2023 10:15 39m 7s
Update Imprint URL build and run tests #656: Commit 70a4198 pushed by michael-schwarz
October 1, 2023 09:31 52m 54s develop
develop
October 1, 2023 09:31 52m 54s
Expose Cil.typeSigAddAttrs build and run tests #655: Commit 398dca3 pushed by sim642
September 29, 2023 13:51 1h 8m 27s develop
develop
September 29, 2023 13:51 1h 8m 27s
Add parsing support for 'asm inline', a few gcc builtin's and an erro… build and run tests #654: Commit 3ea254e pushed by michael-schwarz
September 19, 2023 19:37 56m 57s develop
develop
September 19, 2023 19:37 56m 57s
Add parsing support for 'asm inline', a few gcc builtin's and an error-state reset function build and run tests #653: Pull request #151 opened by emiljapelt
September 16, 2023 11:38 1h 9m 2s emiljapelt:error-reset
emiljapelt:error-reset
September 16, 2023 11:38 1h 9m 2s
Merge pull request #147 from goblint/fix-syntactic-search build and run tests #652: Commit 0d7db1c pushed by michael-schwarz
September 15, 2023 18:50 56m 56s develop
develop
September 15, 2023 18:50 56m 56s
Fix syntactic search build and run tests #650: Pull request #147 synchronize by stilscher
September 15, 2023 14:18 1h 0m 22s fix-syntactic-search
fix-syntactic-search
September 15, 2023 14:18 1h 0m 22s
fix indentation build and run tests #651: Commit 34fecf4 pushed by stilscher
September 15, 2023 14:18 1h 47m 57s fix-syntactic-search
fix-syntactic-search
September 15, 2023 14:18 1h 47m 57s
Add parsing support for 'asm goto' build and run tests #649: Pull request #150 opened by emiljapelt
September 14, 2023 12:11 56m 51s emiljapelt:develop
emiljapelt:develop
September 14, 2023 12:11 56m 51s
Bump version to 2.0.2 build and run tests #648: Commit 98598d9 pushed by sim642
September 11, 2023 09:14 58m 2s 2.0.2
2.0.2
September 11, 2023 09:14 58m 2s
Bump version to 2.0.2 build and run tests #647: Commit 98598d9 pushed by sim642
September 11, 2023 07:53 1h 13m 29s develop
develop
September 11, 2023 07:53 1h 13m 29s