Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Add comments | Tristan Gingold | 2021-11-17 | 1 | -0/+2 | |
| | ||||||
* | trans-chap7: convert to base type for array-element operation. For #1898 | Tristan Gingold | 2021-11-03 | 1 | -3/+5 | |
| | ||||||
* | trans.adb: increased maximum identifier length. Fix #1894 | Tristan Gingold | 2021-10-16 | 1 | -1/+1 | |
| | ||||||
* | Add explicit ?>= and ?> functions for translation. | Brian Padalino | 2021-09-22 | 3 | -4/+8 | |
| | | | | | | Instead of swapping L/R arguments to try to create ?>= and ?>, create a function for each which performs the not operation of ?< and ?<= as defined by the LRM. | |||||
* | trans-chap8: fix iteration on an enumeration type with only one literal. | Tristan Gingold | 2021-09-18 | 1 | -3/+9 | |
| | | | | Fix #1514 | |||||
* | trans-chap8.adb: refactoring and clean-up. For #1514 | Tristan Gingold | 2021-09-18 | 2 | -46/+12 | |
| | ||||||
* | trans-chap4: handle unbounded aggregate initial value to unbounded signal. | Tristan Gingold | 2021-09-16 | 1 | -1/+30 | |
| | | | | Fix #1857 | |||||
* | Fixed some typos (#1868) | Patrick Lehmann | 2021-09-16 | 3 | -3/+3 | |
| | ||||||
* | trans-chap7: improve handling of vector in aggregates. Fix #1493 | Tristan Gingold | 2021-09-14 | 1 | -32/+58 | |
| | ||||||
* | trans-chap3: improve comment | Tristan Gingold | 2021-09-14 | 1 | -4/+4 | |
| | ||||||
* | ortho: for slices, get element size from the result type | Tristan Gingold | 2021-09-14 | 2 | -5/+11 | |
| | | | | | | and not from the object type. Fix #1862 | |||||
* | trans-chap7: improve handling of vector in aggregates. Fix #1453 | Tristan Gingold | 2021-09-12 | 1 | -23/+27 | |
| | ||||||
* | trans-chap8: fix crash for slice in target aggregate. Fix #786 | Tristan Gingold | 2021-09-12 | 1 | -0/+4 | |
| | ||||||
* | trans-chap7: improve support of aggregate. Fix #1843 | Tristan Gingold | 2021-09-10 | 1 | -10/+29 | |
| | ||||||
* | trans-chap7: Handle unbounded elements in Translate_Concatenation | Tristan Gingold | 2021-09-07 | 1 | -27/+98 | |
| | | | | | Fix #1831 Fix #1657 | |||||
* | trans-chap3: add a stride parameter to index_array. For #1831 | Tristan Gingold | 2021-09-07 | 2 | -18/+21 | |
| | ||||||
* | vhdl/translate: adjust slice names for unbounded arrays. Fir #1836 | Tristan Gingold | 2021-09-03 | 3 | -4/+25 | |
| | ||||||
* | trans-chap9.adb: handle async_abort, sync_abort. Fix #1654 | Tristan Gingold | 2021-08-30 | 1 | -35/+111 | |
| | ||||||
* | vhdl-evaluation: check integer evaluations fit in base type. Fix #1834 | Tristan Gingold | 2021-08-26 | 1 | -4/+9 | |
| | ||||||
* | vhdl: remove iir_kind_anonymous_signal_declaration (now unused) | Tristan Gingold | 2021-08-24 | 4 | -35/+15 | |
| | ||||||
* | Rework inertial associations. | Tristan Gingold | 2021-08-23 | 7 | -43/+223 | |
| | | | | | Fix #1625 Fix #1672 | |||||
* | trans-chap3: handle (ignore) use clauses in protected types. Fix #1833 | Tristan Gingold | 2021-08-14 | 1 | -1/+2 | |
| | ||||||
* | vhdl: introduce iir_kind_association_element_by_name | Tristan Gingold | 2021-08-06 | 4 | -9/+11 | |
| | ||||||
* | trans-chap7: handle strings in static array. Fix #1637 | Tristan Gingold | 2021-08-06 | 1 | -2/+2 | |
| | ||||||
* | trans-chap3: do not create same range_var for enumeration subtype. | Tristan Gingold | 2021-08-06 | 1 | -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 #1419 | Tristan Gingold | 2021-08-05 | 1 | -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 Gingold | 2021-08-03 | 1 | -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 #1817 | Tristan Gingold | 2021-07-19 | 1 | -2/+5 | |
| | ||||||
* | vhdl-nodes: remove Identifier from Psl_Default_Clock | Tristan Gingold | 2021-06-30 | 1 | -3/+16 | |
| | ||||||
* | vhdl: handle mod/rem for physical. Fix #1810 | Tristan Gingold | 2021-06-30 | 1 | -1/+5 | |
| | ||||||
* | trans-chap3: add comments | Tristan Gingold | 2021-06-07 | 1 | -2/+10 | |
| | ||||||
* | trans-chap6: add a comment | Tristan Gingold | 2021-05-19 | 1 | -0/+1 | |
| | ||||||
* | trans-chap4: add comments | Tristan Gingold | 2021-05-16 | 1 | -0/+4 | |
| | ||||||
* | trans-chap6: handle alias of unbounded record. For #641 | Tristan Gingold | 2021-05-13 | 1 | -1/+2 | |
| | ||||||
* | vhdl: handle object interface using an interface type. Fix #1726 | Tristan Gingold | 2021-04-17 | 1 | -0/+6 | |
| | ||||||
* | trans-chap9: handle N_Imp_Bool for PSL. For #1721 | Tristan Gingold | 2021-04-13 | 1 | -0/+21 | |
| | ||||||
* | trans-chap9.adb: fix out of scope reference. | Tristan Gingold | 2021-04-10 | 1 | -2/+3 | |
| | ||||||
* | ghdldrv,configure: allow LIB.UNIT name for -e/-r commands. Fix #1718 | Tristan Gingold | 2021-04-10 | 1 | -8/+24 | |
| | ||||||
* | src: Fix PSL start count assignment for PSL endpoints. | Ondrej Ille | 2021-04-08 | 1 | -9/+9 | |
| | ||||||
* | src: Introduce two separate PSL counters (Finish and Start). | Ondrej Ille | 2021-04-08 | 4 | -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 Ille | 2021-04-08 | 4 | -6/+94 | |
| | ||||||
* | src: Move --psl-report-uncovered to run options, not analysis options. | Ondrej Ille | 2021-03-22 | 1 | -1/+1 | |
| | ||||||
* | Revert "src: Add -Wpsl-uncovered option to optionally warn about uncovered ↵ | Ondrej Ille | 2021-03-22 | 1 | -11/+9 | |
| | | | | | | PSL sequences at the end of simulation." This reverts commit e20d4477f9b55f897d4f9008d6c94db8d8c3a54f. | |||||
* | Revert "src: Fix build warning for redundant comparison." | Ondrej Ille | 2021-03-22 | 1 | -1/+1 | |
| | | | | This reverts commit 575d36067953ae20e76d64bc95d8b3c4577995db. | |||||
* | Revert "src: Fix notes on pull-request." | Ondrej Ille | 2021-03-22 | 1 | -1/+1 | |
| | | | | This reverts commit c7a6eda4640ae235c944168ca6c536434808ece8. | |||||
* | src: Fix notes on pull-request. | Ondrej Ille | 2021-03-22 | 1 | -1/+1 | |
| | ||||||
* | src: Fix build warning for redundant comparison. | Ondrej Ille | 2021-03-22 | 1 | -1/+1 | |
| | ||||||
* | src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL ↵ | Ondrej Ille | 2021-03-22 | 1 | -9/+11 | |
| | | | | sequences at the end of simulation. | |||||
* | vhdl: handle alias of protected objects. Fix #1688 | Tristan Gingold | 2021-03-19 | 1 | -2/+4 | |
| | ||||||
* | vhdl-evaluation.adb: use is_overflow_literal. | Tristan Gingold | 2021-02-11 | 1 | -0/+3 | |
| | | | | Avoid crash in Eval_Discrete_Range_Length on overflow. |