Provided Plugins

HAL ships with a number of plugins that have mostly been developed for our own research and are now provided as open-source for everyone to try and evaluate them on their own netlists. In addition to these plugins that extend HAL's reverse engineering capabilities (e.g., the Dataflow Analysis), some other plugins implement core HAL functionalities such as netlist and gate library parsing and writing. This allows users to easily create their own parsers and writers depending on their individual needs.