aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/parse_psl.adb
Commit message (Expand)AuthorAgeFilesLines
* vhdl: move parse package as vhdl child.Tristan Gingold2019-05-041-867/+0
* vhdl: move scanner under vhdl hierarchy.Tristan Gingold2019-05-041-1/+1
* parse_psl: also convert and/or from PSL to vhdl.Tristan Gingold2018-12-131-4/+21
* Move Error_Msg_Parse from errorout to parse.Tristan Gingold2018-12-051-0/+12
* psl: avoid a crash when PSL is used as vhdl expression.Tristan Gingold2018-12-011-1/+6
* parse_psl: Add property_to_sequence.Tristan Gingold2018-11-301-2/+92
* psl: deals with grammer abiguity about and/or.Tristan Gingold2018-10-271-9/+46
* rework parse_expression to add parse_binary_expression.Tristan Gingold2018-08-041-4/+18
* PSL: add clocked SERE, make endpoints visible from VHDL.Tristan Gingold2016-03-221-0/+19
* psl: cover directive works on a sequence, not on a property.Tristan Gingold2016-02-141-10/+11
* Rename Get_Location_Str to Image.Tristan Gingold2015-05-091-1/+1
* PSL: add comments, scan endpoint.Tristan Gingold2015-01-151-4/+9
* Create src/vhdl subdirectory.Tristan Gingold2014-11-041-0/+667