aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth
Commit message (Expand)AuthorAgeFilesLines
* synth: add a check for bounds compatibilityTristan Gingold2023-01-251-4/+39
* elab-vhdl_debug: add 'info lib' and 'info units'Tristan Gingold2023-01-211-0/+78
* elab-vhdl_debug: disp generate block declarationsTristan Gingold2023-01-201-2/+4
* elab-vhdl_debug: disp process declarationsTristan Gingold2023-01-201-0/+10
* synth: create sub-instace for processesTristan Gingold2023-01-204-6/+17
* elab: Rename Get/Set_Info to Get/Set_AnnTristan Gingold2023-01-204-58/+59
* synth: add partial support of foreign subprogramsTristan Gingold2023-01-203-2/+341
* simul: handle PSL endpointsTristan Gingold2023-01-182-0/+9
* synth-vhdl_eval: add an overflow checkTristan Gingold2023-01-161-2/+6
* synth: emit an error message on foreign subprogram callsTristan Gingold2023-01-161-0/+11
* synth: handle invididual assoc with unbounded formalsTristan Gingold2023-01-161-6/+130
* synth: avoid a crash on instantiationTristan Gingold2023-01-151-4/+19
* synth: avoid a crash on use before elaborationTristan Gingold2023-01-151-8/+16
* synth: add Debug_Backtrace debug procedureTristan Gingold2023-01-152-0/+19
* synth: more refactoringTristan Gingold2023-01-145-40/+40
* synth: improve error propagation on slicesTristan Gingold2023-01-144-8/+27
* synth-vhdl_stmts: introduce synth_individual_formalTristan Gingold2023-01-141-18/+107
* synth-vhdl_stmts: refactoringTristan Gingold2023-01-141-103/+131
* elab-vhdl_types(synth_record_type_definition): create unbounded recordTristan Gingold2023-01-141-3/+8
* elab-vhdl_debug: add option /t to print result typeTristan Gingold2023-01-141-5/+6
* synth-vhdl_eval: remove useless type unsharing for concatTristan Gingold2023-01-141-12/+4
* synth: handle protected functions in conversion functionsTristan Gingold2023-01-122-7/+15
* synth: improve handling of 2008 aggregatesTristan Gingold2023-01-121-27/+142
* elab-vhdl_values-debug: improve output for array unboundedTristan Gingold2023-01-121-14/+21
* synth: handle generic mapped interface packageTristan Gingold2023-01-121-5/+17
* vhdl: clear associated_type in Sem_Generic_Association_ChainTristan Gingold2023-01-121-0/+7
* elab-vhdl_annotations(annotate_interface_list_subtype): adjustTristan Gingold2023-01-121-3/+15
* synth: fix handle of protected type bodies within instantiated packages.Tristan Gingold2023-01-121-2/+8
* elab-vhdl_types: improve handling of record subtypesTristan Gingold2023-01-122-18/+27
* synth: handle operator as conversion functionTristan Gingold2023-01-121-1/+13
* synth: report values in bound errorsTristan Gingold2023-01-121-8/+23
* synth: use same wording for direction mismatch as simulationTristan Gingold2023-01-121-1/+2
* synth-vhdl_eval: handle to_X01 for bit to std_ulogic.Tristan Gingold2023-01-112-0/+12
* synth: handle entity attributesTristan Gingold2023-01-111-2/+18
* synth: handle universal r*i and i*r mul, physical mod.Tristan Gingold2023-01-111-1/+9
* synth: handle element attributeTristan Gingold2023-01-114-9/+39
* synth: fix matching comparaison tablesTristan Gingold2023-01-111-27/+27
* synth: rework error handling in file operationsTristan Gingold2023-01-113-43/+63
* synth: improve support of PSL endpointsTristan Gingold2023-01-113-3/+6
* synth: avoid a crash on very large object typesTristan Gingold2023-01-111-0/+3
* synth: check float ranges in subtype conversionTristan Gingold2023-01-113-2/+25
* synth: add a check for v87 concatenationsTristan Gingold2023-01-111-1/+6
* synth: support constant declarations in protected typesTristan Gingold2023-01-111-0/+1
* synth: handle file subtypeTristan Gingold2023-01-112-1/+9
* simul: improve support of psl in debuggerTristan Gingold2023-01-111-0/+3
* synth: allow file declaration in protected objectsTristan Gingold2023-01-111-1/+2
* elab-vhdl_files: remove incorrect assertionTristan Gingold2023-01-111-1/+0
* simul: improve assertion messages for pslTristan Gingold2023-01-111-23/+30
* synth: avoid a crash after error on signal associationTristan Gingold2023-01-111-2/+6
* synth: also elaborate dependencies of configurationsTristan Gingold2023-01-111-0/+4