aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* 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-183-1/+42
|
* 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
|
* testsuite/synth: add a test for #1322Tristan Gingold2020-05-182-0/+115
|
* testsuite/synth: add a test for #1321Tristan Gingold2020-05-182-0/+115
|
* vhdl-sem_psl: handle equal/goto repeat seq. Fix #1321Tristan Gingold2020-05-181-1/+3
|
* testsuite/synth: add a test for #1319Tristan Gingold2020-05-186-0/+205
|
* synth-environment: fix handling of static values in case statements. Fix #1319Tristan Gingold2020-05-181-2/+2
|
* testsuite/synth: add a test for #1317Tristan Gingold2020-05-172-0/+31
|
* netlists-inference: avoid a crash for assertions in case statement. Fix #1317Tristan Gingold2020-05-171-4/+9
|
* testsuite/synth: add a test for #1316Tristan Gingold2020-05-172-0/+24
|
* 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
|
* testsuite/synth: add more tests for static multiplication.Tristan Gingold2020-05-162-8/+23
|
* 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
|
* testsuite/synth: add a test for #1314Tristan Gingold2020-05-162-0/+185
|
* synth: use expanded name for assert labels. Fix #1314Tristan Gingold2020-05-161-8/+11
|
* testsuite/synth: add a test for #1313Tristan Gingold2020-05-163-0/+30
|
* 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-163-106/+116
|
* synth: handle inout ports with default values. For #1312Tristan Gingold2020-05-162-2/+7
|
* testsuite/synth: add a test for #1307Tristan Gingold2020-05-166-0/+1168
|
* testsuite/synth: add a test for #1310Tristan Gingold2020-05-151-0/+2
|
* synth-static_oper: handle eq_sgn_int comparision. For #1310Tristan Gingold2020-05-151-0/+56
|
* trans-chap3: factorize code.Tristan Gingold2020-05-151-11/+1
|
* synth: handle non-text file (add signatures).Tristan Gingold2020-05-156-10/+90
|
* vhdl-utils: factorize Get_File_Signature.Tristan Gingold2020-05-154-134/+113
|
* 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
|
* testsuite/synth: add tests for #1310Tristan Gingold2020-05-153-0/+50
|
* synth-static_oper: handle more comparisons. Fix #1310Tristan Gingold2020-05-151-0/+41
|
* testsuite/synth: add a test for #1311Tristan Gingold2020-05-153-0/+38
|
* synth: handle null array comparison. Fix #1311Tristan Gingold2020-05-153-11/+45
|
* testsuite/synth: add a test for previous commit.Tristan Gingold2020-05-152-0/+25
|
* synth-stmts: ignore choices with L/H/W/X/Z/-/U values.Tristan Gingold2020-05-151-6/+86
|
* Makefile.in: also copy grt-severity.ads for gcc.Tristan Gingold2020-05-141-0/+1
|
* push.yml: comment upload code.Tristan Gingold2020-05-141-4/+4
|
* 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
|
* grt: move severity levels from errors to grt.severity.Tristan Gingold2020-05-146-8/+40
|
* push.yaml: fix artifact path. From eine.Tristan Gingold2020-05-131-1/+2
|