Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | vhdl: recognize 1164 condition operator, handle in synth. | Tristan Gingold | 2019-08-30 | 1 | -10/+16 |
* | vhdl: recognize PSL units reserved words. | Tristan Gingold | 2019-08-16 | 1 | -44/+47 |
* | Add support for PSL assumptions, used in formal verification (#880) | Pepijn de Vos | 2019-08-07 | 1 | -23/+24 |
* | vhdl: parse and analyze restrict directive. | Tristan Gingold | 2019-07-04 | 1 | -20/+22 |
* | Rework libghdl build/install procedure (#840) | 1138-4EB | 2019-06-17 | 1 | -0/+203 |