aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/sem_psl.adb
Commit message (Collapse)AuthorAgeFilesLines
* sem_psl: do not crash on selected element.Tristan Gingold2018-12-011-1/+2
|
* Fix warning: use clause for package has no effectVicente Bergas2018-05-031-1/+0
| | | | | | | With gcc 8.1 the following message appears: warning: use clause for package "*" has no effect gnatmake: "*.adb" compilation error This patch fixes it.
* sem_hdl_expr: handle function call without parameters.Tristan Gingold2018-03-221-1/+3
| | | | Fix #544
* Handle PSL next_event.Tristan Gingold2017-01-131-21/+46
| | | | For #252
* 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
| | | | Fixes #141
* 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
| | | | Fix ticket90.
* Create src/vhdl subdirectory.Tristan Gingold2014-11-041-0/+617