aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/sem_psl.adb
Commit message (Expand)AuthorAgeFilesLines
* Handle PSL next_event.Tristan Gingold2017-01-131-21/+46
* sem_psl: evaluate condition of normal assertion statement.Tristan Gingold2016-12-191-0/+2
* Avoid a crash with postponed assertions in vhdl08Tristan Gingold2016-08-271-4/+9
* Also consider 'not' for non-psl assert statement.Tristan Gingold2016-08-261-1/+1
* Rewrite error messages.Tristan Gingold2016-08-021-15/+17
* Fix indentation and English mistakes.Tristan Gingold2016-07-051-2/+2
* PSL: add clocked SERE, make endpoints visible from VHDL.Tristan Gingold2016-03-221-14/+44
* wip.Tristan Gingold2016-03-201-1/+3
* psl: cover directive works on a sequence, not on a property.Tristan Gingold2016-02-141-17/+51
* PSL: handle and/or in boolean assertion.Tristan Gingold2016-02-091-7/+64
* vhdl08: maybe insert implicit condition operator in concurrent statement.Tristan Gingold2016-01-111-11/+21
* Convert psl assertion to normal assertion if simple expression.Tristan Gingold2015-07-101-2/+23
* Create src/vhdl subdirectory.Tristan Gingold2014-11-041-0/+617