aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-stmts.adb
Commit message (Expand)AuthorAgeFilesLines
...
* synth: add traces for debugging.Tristan Gingold2019-11-171-0/+19
* synth-stmts: improve support of exit statement (static case).Tristan Gingold2019-11-171-2/+20
* synth: initial support of access types.Tristan Gingold2019-11-171-0/+13
* synth: handle subprogram back associations for whole associations.Tristan Gingold2019-11-161-80/+82
* synth: handle untruncated_text_read.Tristan Gingold2019-11-161-58/+75
* synth-stmts: preliminary work for implicit procedure calls.Tristan Gingold2019-11-151-2/+11
* synth: preliminary work to support intrinsic procedures.Tristan Gingold2019-11-141-10/+13
* synth: add some support for access types.Tristan Gingold2019-11-131-5/+11
* synth: renames Is_Const to Is_Static.Tristan Gingold2019-11-131-7/+7
* synth: do not consider impure procedure as static.Tristan Gingold2019-11-131-0/+6
* synth: improve support of integer literals (with aTristan Gingold2019-11-131-1/+2
* synth: introduce synth-static_oper.Tristan Gingold2019-11-131-2/+8
* synth-stmts: handle constant exit in for-loops.Tristan Gingold2019-11-131-0/+4
* synth: add support for interface file.Tristan Gingold2019-11-131-1/+3
* synth: create const default values, adjust assign_value.Tristan Gingold2019-11-121-2/+4
* synth-stmts: improve support of consts inTristan Gingold2019-11-121-0/+2
* synth-stmts: return sub arrays/records forTristan Gingold2019-11-121-7/+13
* synth-stmts: better support of constants (indexed andTristan Gingold2019-11-121-5/+36
* synth: file support (WIP).Tristan Gingold2019-11-121-1/+1
* synth: merge partial assignments before merging phis.Tristan Gingold2019-11-111-1/+1
* synth: handle record assignment for variables. Fix #1011Tristan Gingold2019-11-061-0/+4
* synth-stmts: rewrite target_info to clarify memoryTristan Gingold2019-11-051-18/+56
* synth: add support for inout variable interfaces.Tristan Gingold2019-11-011-3/+3
* synth: handle nested if generate statements.Tristan Gingold2019-11-011-21/+27
* synth: handle attributes in vunit.Tristan Gingold2019-10-301-1/+86
* netlists: change Loc parameter of synth_case.Tristan Gingold2019-10-271-2/+4
* netlists-butils: extract synth_case from synth.stmts.Tristan Gingold2019-10-261-149/+9
* synth: handle concurrent signal assignment in vunits.Tristan Gingold2019-10-251-83/+89
* synth: add support for declarations in vunits.Tristan Gingold2019-10-231-4/+24
* synth: generate cover for assertion precedent.Tristan Gingold2019-10-211-67/+66
* synth-stmts: set location of muxes on case statements.Tristan Gingold2019-10-211-6/+13
* synth: add value_const.Tristan Gingold2019-10-201-5/+9
* synth-stmts: ignore EOS in PSL expressions.Tristan Gingold2019-10-181-1/+8
* synth: fix psl cover - test when the final state is reached.Tristan Gingold2019-10-151-3/+14
* vhdl: handle cover and restrict within vunit.Tristan Gingold2019-10-151-0/+2
* synth: handle constants for condition operator.Tristan Gingold2019-10-131-0/+1
* synth-stmts: fix thinko (need to adjust type for indexed a 1-bit array).Tristan Gingold2019-10-131-2/+5
* synth-stmts: handle const indexed array.Tristan Gingold2019-10-131-0/+5
* synth-stmts: improve support for associations in function calls.Tristan Gingold2019-10-131-19/+92
* Show error on wait without condition (#976)Pepijn de Vos2019-10-131-0/+4
* synth: set name on generate statements.Tristan Gingold2019-10-091-5/+14
* synth: use synth.source for setting location.Tristan Gingold2019-10-091-0/+3
* synth: improve support of procedure calls.Tristan Gingold2019-10-081-20/+25
* synth: handle case statement on bit vectors.Tristan Gingold2019-10-071-0/+23
* synth: handle package bodies.Tristan Gingold2019-10-071-0/+1
* synth: add support for concurrent procedure calls. Fix #969Tristan Gingold2019-10-071-3/+7
* synth: propagate assignments out of subprograms. Fix #960Tristan Gingold2019-10-061-2/+9
* synth: revert patch on synth_subprogram_association.Tristan Gingold2019-10-061-5/+3
* synth: handle subtypes in components. Fix #970Tristan Gingold2019-10-061-4/+6
* netlists: remove renaming of Get_Parent for Net.Tristan Gingold2019-10-061-4/+4