hal
hal copied to clipboard
HAL – The Hardware Analyzer
Hey everyone, I'm always frustrated when dealing with verilog netlists, that have buses as inputs. HAL does not allow me to write a verilog netlist, that has module inputs or...
* significantly improves speed when checking whether a module is parent module of another one * got rid of `recursive` flags here and there, might add their functionality as part...
Hello everyone, HAL can not handle setting too long init strings. When setting an init string of character length 64, hal accepts the string and crashes when selecting the respective...
Hello everyone, Hal can not open netlists, that have a binary integer literal as a net name (e.g.\'1'). In order to reproduce the behaviour, open the netlist bug_literal_showcase, that is...
**Describe the bug** When running a script in the python console that replaces (remove and add) the connection to nets on one pin, HAL crashes with a segfault. **To Reproduce**...
**Describe the bug** After successfully downloading and building the 4.2.0 source tarball, attempting to install with either `make install` or `cmake --install` produces errors. * Errors differ depending on which...
The package name `hal` has historically referred to software from https://www.freedesktop.org/wiki/Software/hal/. While `Debian` and `Ubuntu` do not appear to be using the package name `hal` anymore, packaging this project as...
Without the `rapidjson-dev` package, CMake exits with an error. Can you please add it to `install_dependencies.sh`?
**Describe the bug** Compiling hal with all it's plugins fails when compiling the `communities_fast_greedy` plugin. **To Reproduce** Steps to reproduce the behavior: 1. `git clone https://github.com/emsec/hal.git && cd hal` 1....