aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* synth-values: tentatively try to fix warnings. For #1308Tristan Gingold2020-05-131-8/+12
* push.yml: fix syntax error (tab) in previous commit.Tristan Gingold2020-05-131-1/+1
* push.yml: save win build to investigate MINGW64,llvm CI failureTristan Gingold2020-05-131-0/+3
* synth-objtypes: tentatively try to fix warnings. For #1308Tristan Gingold2020-05-131-32/+48
* testsuite/synth: add a test for #1298Tristan Gingold2020-05-132-0/+56
* vhdl-configuration: handle overrides of slv. Fix #1298Tristan Gingold2020-05-131-1/+15
* trans-chap7: add a comment.Tristan Gingold2020-05-131-0/+3
* synth-objtypes: use Address to avoid compiler warnings. For #1308.Tristan Gingold2020-05-131-23/+22