emsec / hal

HAL – The Hardware Analyzer
MIT License
622 stars 76 forks source link

Bugfix: liberty parser now handles the NOT suffix character ' correctly. #455

Closed SJulianS closed 2 years ago

SJulianS commented 2 years ago

The liberty file format allows for a NOT suffix that inverts the previous expression in infix notation. We now handle the NOT suffix correctly for general expressions and not only for variable inversions.