aboutsummaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* 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
* trans-chap8: handle stack2 in condition of control statement.Tristan Gingold2020-06-041-14/+43
* 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
* 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
* netlists-inference: minor refactoring.Tristan Gingold2020-05-311-79/+64
* netlists-inference: add comments, reorder subprograms.Tristan Gingold2020-05-311-70/+63
* synth: refine -dm debug option. Add -dm2Tristan Gingold2020-05-314-4/+11
* netlists-memories: cleanup.Tristan Gingold2020-05-292-47/+4
* netlists: rework clock handling in memories.Tristan Gingold2020-05-294-83/+108
* netlists: handle UL32 in memory initial value.Tristan Gingold2020-05-292-4/+27
* netlists-inference: factorize code.Tristan Gingold2020-05-291-54/+45
* psl-nodes: set a location on false/true/one/EOS nodes. Fix #1345Tristan Gingold2020-05-294-18/+28
* ortho/gcc: convert boolean and enums to int on interfaces.Tristan Gingold2020-05-285-0/+10
* vhdl-utils: minor style changes.Tristan Gingold2020-05-281-4/+2
* ortho: add a length parameter to start_array_aggr.Tristan Gingold2020-05-2829-236/+327
* synth: handle reduction operators. Fix #1342Tristan Gingold2020-05-278-27/+72
* synth-oper: add support for conv_vector.Tristan Gingold2020-05-271-2/+3
* vhdl-scanner: makes -C part of -frelaxedTristan Gingold2020-05-251-1/+3
* grt: implement --backtrace-severity. For #1338Tristan Gingold2020-05-254-13/+50
* ghdlsynth.h: add API for attributes. For #1318Tristan Gingold2020-05-231-0/+7
* 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
* grt: fix warnings from gnatgpl2020.Tristan Gingold2020-05-235-17/+24
* Rewrite dyn_interning using Dyn_Maps.Tristan Gingold2020-05-222-140/+34
* netlists: use dyn_maps package for attributes.Tristan Gingold2020-05-224-40/+19
* Add dyn_maps packageTristan Gingold2020-05-222-0/+249
* 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
* dyn_interning: add a Modify method.Tristan Gingold2020-05-212-1/+14
* 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