Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | vhdl: recognize div operators. | Tristan Gingold | 2019-09-30 | 1 | -90/+96 |
| | |||||
* | vhdl: recognize rotate functions. | Tristan Gingold | 2019-09-22 | 2 | -217/+223 |
| | |||||
* | vhdl: add exit/next flags. | Tristan Gingold | 2019-09-18 | 2 | -95/+115 |
| | |||||
* | vhdl: recognize numeric_std shift_left. | Tristan Gingold | 2019-09-11 | 2 | -217/+223 |
| | |||||
* | vhdl: recognize numeric_std mul. | Tristan Gingold | 2019-09-07 | 1 | -82/+88 |
| | |||||
* | vhdl: renames Conditional_Expression to Conditional_Expression_Chain. | Tristan Gingold | 2019-09-02 | 2 | -5/+5 |
| | |||||
* | vhdl synth: recognize more operators (add uns log). | Tristan Gingold | 2019-09-02 | 1 | -91/+95 |
| | |||||
* | vhdl: recognize ieee.numeric_std std_match. | Tristan Gingold | 2019-08-30 | 2 | -196/+202 |
| | |||||
* | vhdl: recognize 1164 condition operator, handle in synth. | Tristan Gingold | 2019-08-30 | 2 | -109/+118 |
| | |||||
* | synth: handle verification units. | Tristan Gingold | 2019-08-20 | 2 | -245/+253 |
| | |||||
* | vhdl: parse verification unit (WIP). | Tristan Gingold | 2019-08-17 | 1 | -242/+243 |
| | |||||
* | vhdl: declare verification units (WIP). | Tristan Gingold | 2019-08-16 | 3 | -479/+510 |
| | |||||
* | vhdl: recognize PSL units reserved words. | Tristan Gingold | 2019-08-16 | 3 | -723/+745 |
| | |||||
* | libghdl: preliminary work to also support synth. | Tristan Gingold | 2019-08-13 | 1 | -0/+1 |
| | |||||
* | vhdl: remove unused Get/Set_Choice_Order. | Tristan Gingold | 2019-08-09 | 2 | -276/+268 |
| | |||||
* | pnodes.py: be strict about comments, refactoring. | Tristan Gingold | 2019-08-07 | 1 | -42/+62 |
| | |||||
* | Add support for PSL assumptions, used in formal verification (#880) | Pepijn de Vos | 2019-08-07 | 2 | -110/+117 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | * vhdl: make the parser understand PSL assume * assume does not actually have report according to the spec. Just a property. * add SPL assume to semantic analysis * canonicalise PSL assume * add assume to annotations * add PSL assume to simulation code * statement -> directive * add assume to translation files * update ticked24 testcase * correctly parse assume * add assume testcase * refactor chunk of duplicated code | ||||
* | python: regenerate files. | Tristan Gingold | 2019-07-26 | 3 | -287/+302 |
| | |||||
* | libghdl: import Free_Dependence_List. | Tristan Gingold | 2019-07-11 | 1 | -0/+2 |
| | |||||
* | libghdl: automatically set the prefix from shared library | Tristan Gingold | 2019-07-09 | 1 | -12/+17 |
| | |||||
* | python: add errorout_console, disp_config. | Tristan Gingold | 2019-07-08 | 2 | -0/+6 |
| | |||||
* | Fix a merge collision. | Tristan Gingold | 2019-07-08 | 1 | -154/+84 |
| | |||||
* | vhdl: rename Cover_Statement to Cover_Directive. | Tristan Gingold | 2019-07-04 | 1 | -3/+3 |
| | |||||
* | vhdl: parse and analyze restrict directive. | Tristan Gingold | 2019-07-04 | 2 | -21/+96 |
| | |||||
* | Move pnodes.py.py to xtools directory. | Tristan Gingold | 2019-07-04 | 1 | -3/+0 |
| | |||||
* | vhdl: add anonymous_signal_declaration. | Tristan Gingold | 2019-07-03 | 2 | -340/+401 |
| | |||||
* | python: refine the result of set_option. | Tristan Gingold | 2019-06-26 | 1 | -1/+2 |
| | |||||
* | python: add __init__.py files. | Tristan Gingold | 2019-06-25 | 2 | -0/+0 |
| | |||||
* | libghdl: fix support for non-posix OS. | Tristan Gingold | 2019-06-24 | 1 | -1/+2 |
| | |||||
* | python: add version.py, check it in configure. | Tristan Gingold | 2019-06-24 | 3 | -21/+4 |
| | |||||
* | libraries.py: add more bindings. | Tristan Gingold | 2019-06-24 | 1 | -0/+4 |
| | |||||
* | setup.py: rework version extraction. | Tristan Gingold | 2019-06-21 | 2 | -3/+37 |
| | |||||
* | libghdl: just put the version in config.py | Tristan Gingold | 2019-06-20 | 1 | -23/+33 |
| | |||||
* | libghdl/__init__.py: rework prefix search. | Tristan Gingold | 2019-06-20 | 1 | -23/+55 |
| | |||||
* | Move setup.py | Tristan Gingold | 2019-06-20 | 1 | -2/+2 |
| | |||||
* | fix: move src/xtools to python/xtools (#846) | 1138-4EB | 2019-06-17 | 1 | -0/+929 |
| | | | | | | * fix: move src/xtools to python/xtools * fix Makefiles affected by xtools and pnodes being moved | ||||
* | Rework libghdl build/install procedure (#840) | 1138-4EB | 2019-06-17 | 27 | -0/+5864 |
* feat(libghdl): add libghdl_pkg.py, add option to generate libghdl-py.tgz with dist/travis/build.sh * libghdl*.so is now part of GHDL * move python sources to python/libghdl and python/pnodes * rename src/vhdl/python to src/vhdl/libghdl * add generation of tarball for libghdl-py to the makefile * deprecate --enable-python and --disable-python * add configuration option --disable-libghdl * feat(python/libghdl): add support for LIBGHDL_PREFIX (#844) * fix(travis): disable libghdl on mac * feat(python/libghdl): add support for GHDL_BIN_PATH and VUNIT_GHDL_PATH |