aboutsummaryrefslogtreecommitdiffstats
path: root/python/libghdl/thin
Commit message (Expand)AuthorAgeFilesLines
* vhdl: recognize 1164 condition operator, handle in synth.Tristan Gingold2019-08-302-109/+118
* synth: handle verification units.Tristan Gingold2019-08-202-245/+253
* vhdl: parse verification unit (WIP).Tristan Gingold2019-08-171-242/+243
* vhdl: declare verification units (WIP).Tristan Gingold2019-08-163-479/+510
* vhdl: recognize PSL units reserved words.Tristan Gingold2019-08-163-723/+745
* vhdl: remove unused Get/Set_Choice_Order.Tristan Gingold2019-08-092-276/+268
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-072-110/+117
* python: regenerate files.Tristan Gingold2019-07-263-287/+302
* libghdl: import Free_Dependence_List.Tristan Gingold2019-07-111-0/+2
* python: add errorout_console, disp_config.Tristan Gingold2019-07-081-0/+3
* Fix a merge collision.Tristan Gingold2019-07-081-154/+84
* vhdl: rename Cover_Statement to Cover_Directive.Tristan Gingold2019-07-041-3/+3
* vhdl: parse and analyze restrict directive.Tristan Gingold2019-07-042-21/+96
* vhdl: add anonymous_signal_declaration.Tristan Gingold2019-07-032-340/+401
* python: add __init__.py files.Tristan Gingold2019-06-252-0/+0
* libraries.py: add more bindings.Tristan Gingold2019-06-241-0/+4
* Rework libghdl build/install procedure (#840)1138-4EB2019-06-1724-0/+5540