Skip to content

Actions: emsec/hal

Actions

Ubuntu 24.04

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu24.04.yml
353 workflow runs
353 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

small fix to missing include and disabled some debug prints Ubuntu 24.04 #203: Commit f145ed9 pushed by SimonKlx
July 17, 2024 21:48 46m 45s master
master
July 17, 2024 21:48 46m 45s
Block action until execution done only if executed from Python thread Ubuntu 24.04 #202: Commit b8af732 pushed by joern274
July 17, 2024 21:27 44m 29s netlist-modifier-wip
netlist-modifier-wip
July 17, 2024 21:27 44m 29s
Showing evaluated gates in tree view Ubuntu 24.04 #201: Commit 05d9f29 pushed by joern274
July 17, 2024 20:51 46m 29s feature/logic_evaluator
feature/logic_evaluator
July 17, 2024 20:51 46m 29s
deadlock error setGraidPlacement Ubuntu 24.04 #200: Commit 84308c4 pushed by oleeng
July 17, 2024 13:35 46m 33s netlist-modifier-wip
netlist-modifier-wip
July 17, 2024 13:35 46m 33s
added sequential smbolic execution plugin Ubuntu 24.04 #199: Commit eb2261f pushed by SimonKlx
July 17, 2024 13:34 38m 20s master
master
July 17, 2024 13:34 38m 20s
disabled logs for netlist parsing during resynthesis Ubuntu 24.04 #198: Commit ac2298d pushed by SimonKlx
July 17, 2024 10:17 48m 16s master
master
July 17, 2024 10:17 48m 16s
Merge pull request #586 from emsec/feature/genlib_writer Ubuntu 24.04 #197: Commit 2267596 pushed by SimonKlx
July 17, 2024 09:18 47m 20s master
master
July 17, 2024 09:18 47m 20s
updated change log and added genlib writer to resynthesis cmake Ubuntu 24.04 #196: Commit ba8ba02 pushed by SimonKlx
July 17, 2024 09:16 47m 27s feature/genlib_writer
feature/genlib_writer
July 17, 2024 09:16 47m 27s
added first version of the genlib writer Ubuntu 24.04 #195: Commit 17bef8d pushed by SimonKlx
July 16, 2024 16:46 46m 25s feature/genlib_writer
feature/genlib_writer
July 16, 2024 16:46 46m 25s
Merge branch 'master' of github.com:emsec/hal Ubuntu 24.04 #194: Commit 02a1176 pushed by SimonKlx
July 16, 2024 16:17 47m 0s master
master
July 16, 2024 16:17 47m 0s
added z3_utils dep and fixed missing include Ubuntu 24.04 #193: Commit 2824315 pushed by SJulianS
July 16, 2024 16:01 45m 52s master
master
July 16, 2024 16:01 45m 52s
renamed query_local() overload Ubuntu 24.04 #192: Commit 4948797 pushed by SimonKlx
July 16, 2024 14:04 47m 54s master
master
July 16, 2024 14:04 47m 54s
Merge pull request #585 from emsec/feature/netlist_preproc Ubuntu 24.04 #191: Commit 39663a6 pushed by SimonKlx
July 16, 2024 14:02 47m 23s master
master
July 16, 2024 14:02 47m 23s
this should make our scripts work; again, shame on me Ubuntu 24.04 #190: Commit 4dc102d pushed by SJulianS
July 16, 2024 13:34 46m 54s feature/netlist_preproc
feature/netlist_preproc
July 16, 2024 13:34 46m 54s
I am ashamed of this, but stuff has to work soon; I really hope we cl… Ubuntu 24.04 #189: Commit c9ff3c4 pushed by SJulianS
July 16, 2024 13:31 47m 17s feature/netlist_preproc
feature/netlist_preproc
July 16, 2024 13:31 47m 17s
Changes to logic evaluator layout Ubuntu 24.04 #188: Commit 4db3365 pushed by joern274
July 16, 2024 12:56 45m 9s feature/logic_evaluator
feature/logic_evaluator
July 16, 2024 12:56 45m 9s
Merge pull request #582 from emsec/feature/plugin_updates Ubuntu 24.04 #187: Commit 1e8b5de pushed by SimonKlx
July 16, 2024 12:33 1h 1m 1s master
master
July 16, 2024 12:33 1h 1m 1s
Merge branch 'master' into feature/plugin_updates Ubuntu 24.04 #186: Commit ca618c6 pushed by SimonKlx
July 16, 2024 12:33 53m 14s feature/plugin_updates
feature/plugin_updates
July 16, 2024 12:33 53m 14s
started cleanup Ubuntu 24.04 #185: Commit baf29d9 pushed by SJulianS
July 16, 2024 12:32 43m 42s feature/netlist_preproc
feature/netlist_preproc
July 16, 2024 12:32 43m 42s
forgot to save changelog Ubuntu 24.04 #184: Commit f18b39b pushed by SimonKlx
July 16, 2024 12:30 49m 16s feature/plugin_updates
feature/plugin_updates
July 16, 2024 12:30 49m 16s
fixed typo, added API break to change log and adjusted example scripts. Ubuntu 24.04 #183: Commit c944838 pushed by SimonKlx
July 16, 2024 12:24 46m 14s feature/plugin_updates
feature/plugin_updates
July 16, 2024 12:24 46m 14s
small fix in parent module assignment Ubuntu 24.04 #182: Commit f956666 pushed by oleeng
July 16, 2024 12:09 46m 2s netlist-modifier-wip
netlist-modifier-wip
July 16, 2024 12:09 46m 2s
Feature/resynthesis (#583) Ubuntu 24.04 #181: Commit 7575227 pushed by SJulianS
July 16, 2024 12:00 45m 12s master
master
July 16, 2024 12:00 45m 12s
Merge branch 'master' into feature/resynthesis Ubuntu 24.04 #180: Commit 16c9bf1 pushed by SJulianS
July 16, 2024 12:00 46m 25s feature/resynthesis
feature/resynthesis
July 16, 2024 12:00 46m 25s
Feature/gate libs (#584) Ubuntu 24.04 #179: Commit c827850 pushed by SJulianS
July 16, 2024 11:59 47m 54s master
master
July 16, 2024 11:59 47m 54s