Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sem_psl: do not crash on selected element. | Tristan Gingold | 2018-12-01 | 1 | -1/+2 |
| | |||||
* | Fix warning: use clause for package has no effect | Vicente Bergas | 2018-05-03 | 1 | -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 Gingold | 2018-03-22 | 1 | -1/+3 |
| | | | | Fix #544 | ||||
* | Handle PSL next_event. | Tristan Gingold | 2017-01-13 | 1 | -21/+46 |
| | | | | For #252 | ||||
* | sem_psl: evaluate condition of normal assertion statement. | Tristan Gingold | 2016-12-19 | 1 | -0/+2 |
| | |||||
* | Avoid a crash with postponed assertions in vhdl08 | Tristan Gingold | 2016-08-27 | 1 | -4/+9 |
| | |||||
* | Also consider 'not' for non-psl assert statement. | Tristan Gingold | 2016-08-26 | 1 | -1/+1 |
| | | | | Fixes #141 | ||||
* | Rewrite error messages. | Tristan Gingold | 2016-08-02 | 1 | -15/+17 |
| | |||||
* | Fix indentation and English mistakes. | Tristan Gingold | 2016-07-05 | 1 | -2/+2 |
| | |||||
* | PSL: add clocked SERE, make endpoints visible from VHDL. | Tristan Gingold | 2016-03-22 | 1 | -14/+44 |
| | |||||
* | wip. | Tristan Gingold | 2016-03-20 | 1 | -1/+3 |
| | |||||
* | psl: cover directive works on a sequence, not on a property. | Tristan Gingold | 2016-02-14 | 1 | -17/+51 |
| | |||||
* | PSL: handle and/or in boolean assertion. | Tristan Gingold | 2016-02-09 | 1 | -7/+64 |
| | |||||
* | vhdl08: maybe insert implicit condition operator in concurrent statement. | Tristan Gingold | 2016-01-11 | 1 | -11/+21 |
| | |||||
* | Convert psl assertion to normal assertion if simple expression. | Tristan Gingold | 2015-07-10 | 1 | -2/+23 |
| | | | | Fix ticket90. | ||||
* | Create src/vhdl subdirectory. | Tristan Gingold | 2014-11-04 | 1 | -0/+617 |