Skip to content

Actions: fkie-cad/dewolf

Actions

Pipeline

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pipeline.yml
283 workflow run results
283 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Condition Based Refinement] Runtime Improvements Pipeline #1269: Pull request #394 synchronize by ebehner
March 28, 2024 10:28 12m 12s issue-393-_Condition_Based_Refinement_Runtime_Improvements
issue-393-_Condition_Based_Refinement_Runtime_Improvements
March 28, 2024 10:28 12m 12s
fix (#402) Pipeline #1268: Commit 4d9cd14 pushed by ebehner
March 28, 2024 10:22 12m 46s main
main
March 28, 2024 10:22 12m 46s
Fix ordering of inserted common subexpressions Pipeline #1267: Pull request #403 synchronize by ebehner
March 28, 2024 10:09 13m 50s fix-cse-ordering
fix-cse-ordering
March 28, 2024 10:09 13m 50s
Fix missing definitions with global variables Pipeline #1266: Pull request #402 synchronize by ebehner
March 28, 2024 10:07 12m 45s mdef-gvariables
mdef-gvariables
March 28, 2024 10:07 12m 45s
Recover additional Switch cases (if switch in sequcence of branch) (#… Pipeline #1265: Commit d9b8337 pushed by steffenenders
March 28, 2024 09:29 13m 16s main
main
March 28, 2024 09:29 13m 16s
[CAR] Improve Finding Missing Cases in Conditions Pipeline #1264: Pull request #396 synchronize by steffenenders
March 28, 2024 09:15 13m 57s improve_insert_missing_cases
improve_insert_missing_cases
March 28, 2024 09:15 13m 57s
Fix Global Variables BNinja 4.0 (#401) Pipeline #1263: Commit 43c19d9 pushed by blattm
March 28, 2024 09:02 13m 15s main
main
March 28, 2024 09:02 13m 15s
Fix Global Variables BNinja 4.0 Pipeline #1262: Pull request #401 synchronize by NeoQuix
March 28, 2024 08:47 13m 19s refactor_global_variables_2
refactor_global_variables_2
March 28, 2024 08:47 13m 19s
[Condition Based Refinement] Runtime Improvements Pipeline #1261: Pull request #394 synchronize by ebehner
March 28, 2024 08:44 7m 56s issue-393-_Condition_Based_Refinement_Runtime_Improvements
issue-393-_Condition_Based_Refinement_Runtime_Improvements
March 28, 2024 08:44 7m 56s
Fix Global Variables BNinja 4.0 Pipeline #1260: Pull request #401 synchronize by blattm
March 28, 2024 07:46 13m 39s refactor_global_variables_2
refactor_global_variables_2
March 28, 2024 07:46 13m 39s
Fix Global Variables BNinja 4.0 Pipeline #1259: Pull request #401 synchronize by NeoQuix
March 27, 2024 10:16 1m 39s refactor_global_variables_2
refactor_global_variables_2
March 27, 2024 10:16 1m 39s
Fix Global Variables BNinja 4.0 Pipeline #1258: Pull request #401 synchronize by NeoQuix
March 27, 2024 09:15 13m 30s refactor_global_variables_2
refactor_global_variables_2
March 27, 2024 09:15 13m 30s
[Condition Based Refinement] Runtime Improvements Pipeline #1257: Pull request #394 synchronize by ebehner
March 26, 2024 13:59 1m 48s issue-393-_Condition_Based_Refinement_Runtime_Improvements
issue-393-_Condition_Based_Refinement_Runtime_Improvements
March 26, 2024 13:59 1m 48s
Fix Global Variables BNinja 4.0 Pipeline #1256: Pull request #401 synchronize by NeoQuix
March 26, 2024 10:41 13m 18s refactor_global_variables_2
refactor_global_variables_2
March 26, 2024 10:41 13m 18s
[Condition Based Refinement] Runtime Improvements Pipeline #1255: Pull request #394 synchronize by ebehner
March 21, 2024 15:27 2m 7s issue-393-_Condition_Based_Refinement_Runtime_Improvements
issue-393-_Condition_Based_Refinement_Runtime_Improvements
March 21, 2024 15:27 2m 7s
Fix Global Variables BNinja 4.0 Pipeline #1254: Pull request #401 synchronize by NeoQuix
March 21, 2024 11:24 12m 42s refactor_global_variables_2
refactor_global_variables_2
March 21, 2024 11:24 12m 42s
Fix Global Variables BNinja 4.0 Pipeline #1253: Pull request #401 synchronize by NeoQuix
March 21, 2024 11:19 1m 36s refactor_global_variables_2
refactor_global_variables_2
March 21, 2024 11:19 1m 36s
Fix ordering of inserted common subexpressions Pipeline #1252: Pull request #403 synchronize by rihi
March 21, 2024 11:10 7m 53s fix-cse-ordering
fix-cse-ordering
March 21, 2024 11:10 7m 53s
Fix ordering of inserted common subexpressions Pipeline #1251: Pull request #403 opened by rihi
March 20, 2024 12:31 8m 0s fix-cse-ordering
fix-cse-ordering
March 20, 2024 12:31 8m 0s
Fix missing definitions with global variables Pipeline #1250: Pull request #402 opened by rihi
March 20, 2024 12:02 8m 22s mdef-gvariables
mdef-gvariables
March 20, 2024 12:02 8m 22s
Fix Global Variables BNinja 4.0 Pipeline #1249: Pull request #401 synchronize by NeoQuix
March 19, 2024 21:03 25m 31s refactor_global_variables_2
refactor_global_variables_2
March 19, 2024 21:03 25m 31s
Fix Global Variables BNinja 4.0 Pipeline #1248: Pull request #401 synchronize by NeoQuix
March 19, 2024 17:01 6m 24s refactor_global_variables_2
refactor_global_variables_2
March 19, 2024 17:01 6m 24s
[Condition Based Refinement] Runtime Improvements Pipeline #1247: Pull request #394 synchronize by ebehner
March 19, 2024 14:44 2m 7s issue-393-_Condition_Based_Refinement_Runtime_Improvements
issue-393-_Condition_Based_Refinement_Runtime_Improvements
March 19, 2024 14:44 2m 7s
Fix Global Variables BNinja 4.0 Pipeline #1246: Pull request #401 synchronize by NeoQuix
March 19, 2024 08:58 13m 1s refactor_global_variables_2
refactor_global_variables_2
March 19, 2024 08:58 13m 1s
Fix Global Variables BNinja 4.0 Pipeline #1245: Pull request #401 opened by NeoQuix
March 19, 2024 08:50 3m 19s refactor_global_variables_2
refactor_global_variables_2
March 19, 2024 08:50 3m 19s