aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | The operand is simply 0-extended.
* 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
| | | | | Use intermediate type Address to convert between Memory_Ptr and scalar types, as Address has no alignment.
* synth: handle any constant as edge value. Fix #1302Tristan Gingold2020-05-131-27/+37
|
* synth_stmts: handle ranges in case. Fix ghdl/ghdl-yosys-plugin#104Tristan Gingold2020-05-091-9/+53
|