aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl
Commit message (Expand)AuthorAgeFilesLines
* fix: move src/xtools to python/xtools (#846)1138-4EB2019-06-171-1/+1
* vhdl-prints: handle PSL, add psl tokens for strong and inclusive variants.Tristan Gingold2019-05-301-0/+2
* vhdl: renames disp_vhdl to printsTristan Gingold2019-05-302-0/+2
* vhdl-disp_vhdl: fixes for psl.Tristan Gingold2019-05-251-2/+16
* psl: can keep parenthesis during parse.Tristan Gingold2019-05-245-32/+74
* errorout: add messages group instead of continuation.Tristan Gingold2019-05-121-1/+1
* vhdl: decouple errorouts a bit more.Tristan Gingold2019-05-102-1/+14
* psl: add psl-types, psl-nodes_priv.Tristan Gingold2019-05-1015-3/+72
* Extract psl-errors from errorout.Tristan Gingold2019-05-102-0/+64
* psl-rewrites: handle and/or seq.Tristan Gingold2018-11-301-1/+3
* psl: adjust after pnodes.py changes and regenerate.Tristan Gingold2017-10-282-12/+12
* PSL: add clocked SERE, make endpoints visible from VHDL.Tristan Gingold2016-03-226-20/+48
* wip.Tristan Gingold2016-03-201-2/+3
* psl: cover directive works on a sequence, not on a property.Tristan Gingold2016-02-144-8/+15
* Improve mixed dump of PSL and VHDL nodes.Tristan Gingold2016-02-092-18/+8
* psl: use Tables instead of GNAT.Table, regenerate, add copyrights.Tristan Gingold2016-01-2731-59/+609
* Add missing psl files.Tristan Gingold2015-05-105-0/+2008
* psl: add generated files.Tristan Gingold2015-05-103-1555/+750
* Regenerate psl-dump_tree.adb. Fix build failure (ticket 42).Tristan Gingold2015-05-101-180/+68
* Move sources to src/ subdirectory.Tristan Gingold2014-11-0430-0/+7521