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., Dataflow Analysis, Netlist Simulator, and Graph Algorithms), some other plugins implement core HAL functionalities such as netlist and gate library parsing and writing. This allows users to easily extend HAL with their own parsers and writers depending on their individual needs. Furthermore, the default gate library files are currently shipped within a plugin.