aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/translate
Commit message (Collapse)AuthorAgeFilesLines
...
* vhdl/translate: adjust slice names for unbounded arrays. Fir #1836Tristan Gingold2021-09-033-4/+25
|
* trans-chap9.adb: handle async_abort, sync_abort. Fix #1654Tristan Gingold2021-08-301-35/+111
|
* vhdl-evaluation: check integer evaluations fit in base type. Fix #1834Tristan Gingold2021-08-261-4/+9
|
* vhdl: remove iir_kind_anonymous_signal_declaration (now unused)Tristan Gingold2021-08-244-35/+15
|
* Rework inertial associations.Tristan Gingold2021-08-237-43/+223
| | | | | Fix #1625 Fix #1672
* trans-chap3: handle (ignore) use clauses in protected types. Fix #1833Tristan Gingold2021-08-141-1/+2
|
* vhdl: introduce iir_kind_association_element_by_nameTristan Gingold2021-08-064-9/+11
|
* trans-chap7: handle strings in static array. Fix #1637Tristan Gingold2021-08-061-2/+2
|
* trans-chap3: do not create same range_var for enumeration subtype.Tristan Gingold2021-08-061-27/+41
| | | | | | As there is not ranges for enumerated type, a range_var was always created for subtypes of enumerated types even if they had the same range. Create the range_var for bool types.
* vhdl: adjust ownership of agrgegate element subtypes. Fix #1419Tristan Gingold2021-08-051-12/+28
| | | | | Disable transfer of array aggregate element subtype ownership, but create the info of aggregate element subtype.
* vhdl-sem_expr.adb: build element subtype for aggregate when possible.Tristan Gingold2021-08-031-1/+1
| | | | | | | | In case of array aggregate whose element subtype is not bounded, extract it from the aggregate elements. Fix #1055 Fix #1455
* trans-chap9: set line number for gcc. Fix #1817Tristan Gingold2021-07-191-2/+5
|
* vhdl-nodes: remove Identifier from Psl_Default_ClockTristan Gingold2021-06-301-3/+16
|
* vhdl: handle mod/rem for physical. Fix #1810Tristan Gingold2021-06-301-1/+5
|
* trans-chap3: add commentsTristan Gingold2021-06-071-2/+10
|
* trans-chap6: add a commentTristan Gingold2021-05-191-0/+1
|
* trans-chap4: add commentsTristan Gingold2021-05-161-0/+4
|
* trans-chap6: handle alias of unbounded record. For #641Tristan Gingold2021-05-131-1/+2
|
* vhdl: handle object interface using an interface type. Fix #1726Tristan Gingold2021-04-171-0/+6
|
* trans-chap9: handle N_Imp_Bool for PSL. For #1721Tristan Gingold2021-04-131-0/+21
|
* trans-chap9.adb: fix out of scope reference.Tristan Gingold2021-04-101-2/+3
|
* ghdldrv,configure: allow LIB.UNIT name for -e/-r commands. Fix #1718Tristan Gingold2021-04-101-8/+24
|
* src: Fix PSL start count assignment for PSL endpoints.Ondrej Ille2021-04-081-9/+9
|
* src: Introduce two separate PSL counters (Finish and Start).Ondrej Ille2021-04-084-12/+43
| | | | | | Finish counter corresponds to legacy count. Start counter corresponds to number of times start state is left (assertion is triggered).
* src: Define PSL type RTI with simplified assertion state.Ondrej Ille2021-04-084-6/+94
|
* src: Move --psl-report-uncovered to run options, not analysis options.Ondrej Ille2021-03-221-1/+1
|
* Revert "src: Add -Wpsl-uncovered option to optionally warn about uncovered ↵Ondrej Ille2021-03-221-11/+9
| | | | | | PSL sequences at the end of simulation." This reverts commit e20d4477f9b55f897d4f9008d6c94db8d8c3a54f.
* Revert "src: Fix build warning for redundant comparison."Ondrej Ille2021-03-221-1/+1
| | | | This reverts commit 575d36067953ae20e76d64bc95d8b3c4577995db.
* Revert "src: Fix notes on pull-request."Ondrej Ille2021-03-221-1/+1
| | | | This reverts commit c7a6eda4640ae235c944168ca6c536434808ece8.
* src: Fix notes on pull-request.Ondrej Ille2021-03-221-1/+1
|
* src: Fix build warning for redundant comparison.Ondrej Ille2021-03-221-1/+1
|
* src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL ↵Ondrej Ille2021-03-221-9/+11
| | | | sequences at the end of simulation.
* vhdl: handle alias of protected objects. Fix #1688Tristan Gingold2021-03-191-2/+4
|
* vhdl-evaluation.adb: use is_overflow_literal.Tristan Gingold2021-02-111-0/+3
| | | | Avoid crash in Eval_Discrete_Range_Length on overflow.
* trans-chap7.adb: handle universal integer/real multiplication. Fix #1624Tristan Gingold2021-01-291-0/+4
|
* trans-chap5: use value mode to get object bounds. Fix #1612Tristan Gingold2021-01-191-1/+1
|
* update license headersumarcor2021-01-1440-440/+360
|
* trans-chap3: also compute the size of record constraints for unbounded subtypesTristan Gingold2020-12-311-2/+23
|
* trans-chap3: compute size of subelements for unconstrained parent subtypesTristan Gingold2020-12-291-8/+39
| | | | Fix #1549
* libraries: Load_Std_Library: now return a status.Tristan Gingold2020-12-261-1/+3
| | | | | | Propagate this change to libghdl and python binding to avoid abort. For #1551
* vhdl: handle locally static attributes on entity/architecture/configurationsTristan Gingold2020-12-081-10/+20
| | | | | | | | | | | | | Attributes of entity/architecture/configurations are expected to be locally static so that they can be referenced from outside (so on the non-instantiated entity). But many designs break this assumption. In relaxed mode, non-locally static attributes are allowed but now cannot be referenced outside the entity. Locally static attributes can be referenced from outside. Fix #1528
* trans-rtis: adjust max_depth of records. For #1404Tristan Gingold2020-08-261-3/+7
|
* vhdl/translate: handle vhdl-93 'last_value. Fix #1440Tristan Gingold2020-08-266-75/+207
|
* vhdl: renaming in vhdl-canon.Tristan Gingold2020-08-082-2/+2
|
* trans-chap6: fix reuse violation of a node.Tristan Gingold2020-08-061-0/+1
|
* translate: minor changes.Tristan Gingold2020-08-043-4/+2
|
* vhdl: handle force/release statements in translate and grt. For #1416Tristan Gingold2020-08-033-18/+205
|
* vhdl: parse and analyze force/release signal assignment statements.Tristan Gingold2020-08-013-0/+5
| | | | For #1416
* translate: add a function to get allocation kind of layout var.Tristan Gingold2020-07-293-1/+15
| | | | Fix #1415
* trans-chap6: adjust types in translate_selected_element.Tristan Gingold2020-07-281-24/+28
|