aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth
Commit message (Expand)AuthorAgeFilesLines
...
* netlists: disp attributes in vhdl output (as comments). For #1318Tristan Gingold2020-05-233-20/+97
* netlists: complete support of attributes. For #1318Tristan Gingold2020-05-235-5/+102
* netlists: use dyn_maps package for attributes.Tristan Gingold2020-05-222-27/+19
* netlists: add param_pval_boolean.Tristan Gingold2020-05-223-8/+12
* netlists-memories: set location on utrunc. Fix #1332Tristan Gingold2020-05-213-11/+13
* synth: add support for ascending attribute. Fix #1333Tristan Gingold2020-05-211-0/+15
* netlists: initial support of attributes.Tristan Gingold2020-05-213-27/+123
* synth-oper: fix handle of add/sub with std_logic.Tristan Gingold2020-05-211-21/+21
* netlists-disp_vhdl: fix id_sextend for 1 bit.Tristan Gingold2020-05-211-1/+1
* synth: handle more operators from std_logic_arith. Fix synth121Tristan Gingold2020-05-211-13/+19
* netlists-inference: Fix sequential assertions at init. Fix #1330Tristan Gingold2020-05-211-12/+17
* synth: create abstractions for Pval (from synth-insts to synth-decls)Tristan Gingold2020-05-203-43/+59
* synth-decls: handle unbounded record subtypes. Fix #1324Tristan Gingold2020-05-191-33/+15
* vhdl-nodes: Rename and move shift/rotate predefined functions. Fix #1325Tristan Gingold2020-05-192-13/+10
* netlists: initial infrastructure for attributes. For #1318Tristan Gingold2020-05-192-7/+62
* WIP: netlists: reuse free instances.Tristan Gingold2020-05-181-37/+220
* netlists: make free_instance private and remove_instance public.Tristan Gingold2020-05-181-6/+4
* netlists: improve stats.Tristan Gingold2020-05-181-3/+73
* netlits: Use Remove_Instance instead of Free_Instance.Tristan Gingold2020-05-185-44/+11
* netlists: add disp_stats.Tristan Gingold2020-05-182-0/+33
* netlists: add more flags in Module_Record.Tristan Gingold2020-05-182-15/+27
* synth-expr: synth_subtype_conversion: add more assertions.Tristan Gingold2020-05-181-6/+7
* synth-aggr: use constrainted type to build record aggregate.Tristan Gingold2020-05-181-1/+1
* netlists-expands: remove memidx gates after expansion.Tristan Gingold2020-05-182-13/+29
* synth-environment: fix handling of static values in case statements. Fix #1319Tristan Gingold2020-05-181-2/+2
* netlists-inference: avoid a crash for assertions in case statement. Fix #1317Tristan Gingold2020-05-171-4/+9
* synth-static_oper: detect integer overflow on arith operators. Fix #1316Tristan Gingold2020-05-171-13/+66
* synth-ieee-std-logic_1164: remove unused std_logic_vector declaration.Tristan Gingold2020-05-171-4/+0
* synth: move static comparison functions to synth.ieee.numericTristan Gingold2020-05-173-310/+304
* synth: handle static shift in synth.ieee.numeric_std.Tristan Gingold2020-05-173-63/+78
* synth-expr: handle array attribute on functions.Tristan Gingold2020-05-171-4/+7
* synth-decls: can initialize a static variable with a constant.Tristan Gingold2020-05-161-0/+1
* synth-ieee-numeric_std: also use memtyp for negation.Tristan Gingold2020-05-163-30/+20
* synth: use memtyp for synth-ieee-numeric_std, add more signed mul.Tristan Gingold2020-05-165-486/+350
* synth: use expanded name for assert labels. Fix #1314Tristan Gingold2020-05-161-8/+11
* synth: handle static calls to signed numeric_std + -. Fix #1313Tristan Gingold2020-05-163-3/+119
* synth: handle functional call to numeric_std binary operators. For #1313Tristan Gingold2020-05-161-1/+2
* synth: handle inout ports with default values. For #1312Tristan Gingold2020-05-162-2/+7
* synth-static_oper: handle eq_sgn_int comparision. For #1310Tristan Gingold2020-05-151-0/+56
* synth: handle non-text file (add signatures).Tristan Gingold2020-05-156-10/+90
* synth: handle initialized inout port. For #1312Tristan Gingold2020-05-155-39/+72
* synth-flags: consider severity error as an error.Tristan Gingold2020-05-151-1/+1
* synth-static_oper: handle more comparisons. Fix #1310Tristan Gingold2020-05-151-0/+41
* synth: handle null array comparison. Fix #1311Tristan Gingold2020-05-153-11/+45
* synth-stmts: ignore choices with L/H/W/X/Z/-/U values.Tristan Gingold2020-05-151-6/+86
* synth-aggr: create constrained record type if needed.Tristan Gingold2020-05-142-8/+28
* synth-stmts: factorize code for assertion errors, use a level.Tristan Gingold2020-05-142-33/+27
* synth-values: tentatively try to fix warnings. For #1308Tristan Gingold2020-05-131-8/+12
* synth-objtypes: tentatively try to fix warnings. For #1308Tristan Gingold2020-05-131-32/+48
* synth-objtypes: use Address to avoid compiler warnings. For #1308.Tristan Gingold2020-05-131-23/+22