Skip to content

Actions: fkie-cad/dewolf

Add PR to project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
8 workflow run results
8 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Black update
Add PR to project #24: Pull request #381 opened by fnhartmann
January 29, 2024 12:40 13s black-update
January 29, 2024 12:40 13s
Improve performance of common subexpression elimination and parallel testing
Add PR to project #23: Pull request #380 opened by rihi
January 25, 2024 10:43 13s cse-optimization
January 25, 2024 10:43 13s
[Code Quality] Remove wildcard import
Add PR to project #22: Pull request #371 opened by blattm
November 29, 2023 15:04 15s remove_wildcard_import
November 29, 2023 15:04 15s
Improve collapse_add_neg simplifcation rule
Add PR to project #21: Pull request #355 opened by rihi
October 18, 2023 13:42 16s improve-collapse-add-neg
October 18, 2023 13:42 16s
Fix that pipeline also crashes when black is not applied
Add PR to project #20: Pull request #354 opened by ebehner
October 18, 2023 06:26 14s fix_format_check
October 18, 2023 06:26 14s
[Lifter] Complex type bugfixes
Add PR to project #19: Pull request #353 opened by blattm
October 17, 2023 13:07 13s ComplexType_bugfixes
October 17, 2023 13:07 13s
Add configuration option for allowing for-loops
Add PR to project #17: Pull request #351 opened by ebehner
October 16, 2023 08:50 14s config_option_no_for_loop
October 16, 2023 08:50 14s