aboutsummaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* llvm6: add generation of more debug info, improve compatibilityTristan Gingold2020-06-194-196/+535
|
* synth: handle std_logic_signed.conv_integer. For ghdl/ghdl-yosys-plugin#126Tristan Gingold2020-06-193-84/+94
|
* synth: handle to_x01. For ghdl/ghdl-yosys-plugin#126Tristan Gingold2020-06-191-6/+10
|
* vhdl: decode to_x01 (from ieee.std_logic_1164)Tristan Gingold2020-06-194-18/+52
|
* synth: avoid crash on invalid range. For ghdl/ghdl-yosys-plugin#126Tristan Gingold2020-06-192-9/+15
|
* vhdl: slightly improve error message for libraries.Tristan Gingold2020-06-191-0/+14
|
* llvm6: adjust code to support llvm 6 and llvm 7.Tristan Gingold2020-06-191-2/+7
|
* synth-oper: handle add_uns_int_slv. For ghdl/ghdl-yosys-plugin#126Tristan Gingold2020-06-181-1/+2
|
* vhdl: add ghdl_integer_index_check_failed. For #1257Tristan Gingold2020-06-1712-52/+157
| | | | Improve error message in case of (integer) index not in bounds.
* src/ortho: add new_convert.Tristan Gingold2020-06-1729-82/+228
|
* vhdl/translate: minor refactoring.Tristan Gingold2020-06-173-67/+64
|
* ghdlsynth: add --no-formal and help.Tristan Gingold2020-06-163-0/+52
|
* vhdl psl: add support for equivalence operator. Fix #1371Tristan Gingold2020-06-1612-230/+316
|
* vhdl: create default configuration for a vunit. Fix #1372Tristan Gingold2020-06-157-393/+478
|
* vhdl-evaluation: handle to_string for floating point types. Fix #1354Tristan Gingold2020-06-131-0/+3
|
* vhdl/translate: simplify some variable assignments. Fix #1361Tristan Gingold2020-06-132-8/+23
| | | | | When the expression is an aggregate of the form (others => X), do not use intermediate variables.
* vhdl: --std93c is now an alias for --std=93 -frelaxedTristan Gingold2020-06-1317-48/+58
| | | | This simplifies the definition of --std=93c
* vhdl-parse: always keep parentheses in case expression. For #1364Tristan Gingold2020-06-132-3/+22
|
* vhdl-sem_expr: use -frelaxed for parentheses aggregates. For #1364Tristan Gingold2020-06-121-14/+39
|
* synth: handle slices for PSL prev and stable. Fix #1367Tristan Gingold2020-06-121-2/+2
|
* vhdl: analyze and synth concurrent statements in vunit. Fix #1366Tristan Gingold2020-06-125-16/+41
|
* vhdl: parse statements in verification units.Tristan Gingold2020-06-112-103/+98
|
* llvm6 - add support for llvm 3.5Tristan Gingold2020-06-111-2/+35
|
* llvm6: adjust assertions and unreachable.Tristan Gingold2020-06-112-11/+11
|
* grt-fst: padd time resolution. Fix #1365Tristan Gingold2020-06-111-2/+3
|
* vhdl: allows --work between files for -c. Fix #1362Tristan Gingold2020-06-097-36/+65
|
* vhdl: handle aggregates in choices. Fix #1360Tristan Gingold2020-06-092-0/+10
|
* ortho/llvm4-nodebug: fix a comment.Tristan Gingold2020-06-091-1/+1
|
* src/ortho/oread/tests: adjust some tests (keyword in upper case).Tristan Gingold2020-06-094-43/+43
|
* LLVM backend with debug info (in C/C++)Tristan Gingold2020-06-099-0/+4047
|
* Add PSL built-in prev() function to allowed expressionstmeissner2020-06-071-0/+1
|
* Synthesis of PSL built-in fell() function.tmeissner2020-06-075-5/+94
|
* std_names: remove extra blank.Tristan Gingold2020-06-061-1/+1
|
* Synthesis of PSL built-in rose() function.tmeissner2020-06-065-2/+92
|
* Synthesis of PSL stable() function.tmeissner2020-06-065-12/+107
|
* trans-chap8: handle accesses like scalar in return statement.Tristan Gingold2020-06-041-10/+4
| | | | So that stack2 is released if needed.
* trans-chap8: handle stack2 in condition of control statement.Tristan Gingold2020-06-041-14/+43
| | | | | Be sure the stack2 is released if used in the condition of a control statement, as the statement may no execute the normal release of stack2.
* grt: add check for empty stack2.Tristan Gingold2020-06-043-4/+27
|
* grt-lib: minor reformatting.Tristan Gingold2020-06-041-5/+3
|
* grt: do not export disp_process_name.Tristan Gingold2020-06-043-6/+4
|
* netlists-memories: simplify addresses when using a 'to' range. Fix #1348Tristan Gingold2020-06-021-0/+264
|
* netlists-gates.ads: add comments.Tristan Gingold2020-06-021-6/+8
|
* netlists-memories: clean up: remove handling of dff/idff in chains.Tristan Gingold2020-06-021-57/+28
| | | | They aren't present anymore.
* netlists-memories: handle another merge of dff in read ports. For #1348Tristan Gingold2020-06-021-3/+154
|
* grt: add and document option --assertsTristan Gingold2020-06-023-22/+40
|
* Synthesis of PSL prev function.Tristan Gingold2020-06-0212-231/+436
|
* vhdl: parse PSL prev/stable/rose/fell builtin calls. For #662Tristan Gingold2020-06-0214-261/+606
|
* netlists-dump: shorten UB32 constants.Tristan Gingold2020-05-311-1/+5
|
* grt: call finalizer after std.env.finish/stop. For #1347Tristan Gingold2020-05-312-1/+3
|
* synth: improve support of true dual port rams. For #1069Tristan Gingold2020-05-313-7/+9
|