aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-vhdl_stmts.adb
Commit message (Expand)AuthorAgeFilesLines
* synth-vhdl_stmts: emit an error message on missing return. Fix #2019Tristan Gingold2022-04-061-1/+3
* synth: add debug_btTristan Gingold2022-03-081-0/+1
* synth: handle concatenation of unbounded types. Fix #1993Tristan Gingold2022-03-081-2/+2
* synth: properly propagate bound errors. Fix #1972Tristan Gingold2022-02-171-2/+5
* synth: adjust handling of subprogram calls in package instantiation. Fix #1947Tristan Gingold2022-01-161-3/+14
* vhdl/psl: handle PSL inherit spec. For #1899Tristan Gingold2021-11-051-15/+17
* synth: Support alias declarations in vunittmeissner2021-11-021-2/+7
* synth: do full elaboration before synthesisTristan Gingold2021-11-011-146/+85
* synth: reject wait statement. Fix #1903Tristan Gingold2021-10-291-0/+3
* synth: Support PSL declarations in inline PSLtmeissner2021-10-141-1/+2
* synth: add support for sequence instance in vunit. Fix #1889Tristan Gingold2021-10-131-2/+4
* vhdl-canon: recurse for default block configuration of a vunit.Tristan Gingold2021-09-121-7/+2
* synth-vhdl_stmts: fix crash on nested if-generate statement in vunits.Tristan Gingold2021-09-111-2/+5
* vhdl: allow constants in vunit declarations. Fix #1856Tristan Gingold2021-09-081-0/+2
* synth-vhdl_stmts.adb: do not expect configuration for vunit.Tristan Gingold2021-09-011-3/+3
* synth: handle PSL async_abort and sync_abort. For #1654Tristan Gingold2021-08-311-1/+33
* synth-vhdl_stmts: fix a crash on never triggered PSL assertion.Tristan Gingold2021-08-291-0/+6
* synth: improve result of is_positiveTristan Gingold2021-08-291-1/+4
* synth: do not remove signals with a keep attribute.Tristan Gingold2021-08-271-1/+2
* vhdl: remove iir_kind_anonymous_signal_declaration (now unused)Tristan Gingold2021-08-241-2/+0
* synth-vhdl_stmts: add location on AddidxTristan Gingold2021-06-211-0/+2
* synth-vhdl_stmts: merge static extract before dyn_extract.Tristan Gingold2021-06-211-4/+2
* synth: file renaming for decls, expr, insts and stmts.Tristan Gingold2021-04-281-0/+3856