aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl
Commit message (Expand)AuthorAgeFilesLines
* vhdl psl: add support for equivalence operator. Fix #1371Tristan Gingold2020-06-167-177/+237
* psl-nodes: set a location on false/true/one/EOS nodes. Fix #1345Tristan Gingold2020-05-292-2/+11
* psl: set locations in CSE. Fix #1272Tristan Gingold2020-04-292-14/+4
* psl: keep locations.Tristan Gingold2020-04-266-16/+46
* psl-rewrites: handle N_Paren_Prop (simply discard).Tristan Gingold2020-03-131-0/+3
* psl: keep denoting names in the PSL ast.Tristan Gingold2020-03-1311-21/+91
* psl-nfa-utils: move active state in merge_state.Tristan Gingold2019-10-311-0/+5
* psl: add active state.Tristan Gingold2019-10-214-20/+71
* psl-nfas-utils: reuse True_Node.Tristan Gingold2019-10-211-4/+2
* vhdl: Add the implicit [*] at start of PSL cover sequence.Tristan Gingold2019-10-152-0/+30
* 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