Skip to content

Actions: emsec/hal

Ubuntu 20.04

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
432 workflow runs
432 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: Add directory JSON
Ubuntu 20.04 #1685: Commit b5ae89a pushed by ailujezi
February 5, 2024 22:30 37m 23s feature/migrate_views_to_basetreemodel
February 5, 2024 22:30 37m 23s
added function to get input nets of a subgraph
Ubuntu 20.04 #1684: Commit 3c047db pushed by SJulianS
February 5, 2024 13:21 39m 37s feature/word_level_structures
February 5, 2024 13:21 39m 37s
added filter parameter to remove_redundant_logic
Ubuntu 20.04 #1683: Commit 43b2bb5 pushed by SJulianS
February 3, 2024 14:16 37m 44s feature/word_level_structures
February 3, 2024 14:16 37m 44s
Fix renaming of directory
Ubuntu 20.04 #1682: Commit b2a6abc pushed by ailujezi
February 2, 2024 21:19 37m 9s feature/migrate_views_to_basetreemodel
February 2, 2024 21:19 37m 9s
benchmarking bitwuzla utils
Ubuntu 20.04 #1680: Commit 566022d pushed by SimonKlx
February 1, 2024 15:56 37m 50s feature/word_level_structures
February 1, 2024 15:56 37m 50s
Merge pull request #556 from emsec/feature/move_multi_nodes
Ubuntu 20.04 #1679: Commit 21c660c pushed by joern274
February 1, 2024 15:14 41m 40s master
February 1, 2024 15:14 41m 40s
bugfix: don't iterate over volatile list
Ubuntu 20.04 #1675: Commit d1f4279 pushed by joern274
January 30, 2024 16:53 41m 42s feature/module_pin_pingroup_actions
January 30, 2024 16:53 41m 42s
Merge branch 'master' into feature/move_multi_nodes
Ubuntu 20.04 #1674: Commit f71c050 pushed by joern274
January 29, 2024 13:47 40m 8s feature/move_multi_nodes
January 29, 2024 13:47 40m 8s
bugfix: must not decrement 'busy'-counter on Python created views
Ubuntu 20.04 #1673: Commit 31a7e7f pushed by joern274
January 29, 2024 11:22 36m 48s master
January 29, 2024 11:22 36m 48s
January 28, 2024 11:53 1h 1m 44s
Merge branch 'master' into feature/move_multi_nodes
Ubuntu 20.04 #1666: Commit 159a96e pushed by joern274
January 25, 2024 16:25 39m 19s feature/move_multi_nodes
January 25, 2024 16:25 39m 19s
bitorder propagation fixes
Ubuntu 20.04 #1665: Commit bf38b2c pushed by SimonKlx
January 25, 2024 15:36 12m 29s feature/word_level_structures
January 25, 2024 15:36 12m 29s
all bitwuzla and z3 test green
Ubuntu 20.04 #1664: Commit 956b583 pushed by SimonKlx
January 25, 2024 13:07 12m 5s feature/word_level_structures
January 25, 2024 13:07 12m 5s