| Commit message (Expand) | Author | Age | Files | Lines |
* | vhdl: add ghdl_integer_index_check_failed. For #1257 | Tristan Gingold | 2020-06-17 | 12 | -52/+157 |
* | src/ortho: add new_convert. | Tristan Gingold | 2020-06-17 | 29 | -82/+228 |
* | vhdl/translate: minor refactoring. | Tristan Gingold | 2020-06-17 | 3 | -67/+64 |
* | ghdlsynth: add --no-formal and help. | Tristan Gingold | 2020-06-16 | 3 | -0/+52 |
* | vhdl psl: add support for equivalence operator. Fix #1371 | Tristan Gingold | 2020-06-16 | 12 | -230/+316 |
* | vhdl: create default configuration for a vunit. Fix #1372 | Tristan Gingold | 2020-06-15 | 7 | -393/+478 |
* | vhdl-evaluation: handle to_string for floating point types. Fix #1354 | Tristan Gingold | 2020-06-13 | 1 | -0/+3 |
* | vhdl/translate: simplify some variable assignments. Fix #1361 | Tristan Gingold | 2020-06-13 | 2 | -8/+23 |
* | vhdl: --std93c is now an alias for --std=93 -frelaxed | Tristan Gingold | 2020-06-13 | 17 | -48/+58 |
* | vhdl-parse: always keep parentheses in case expression. For #1364 | Tristan Gingold | 2020-06-13 | 2 | -3/+22 |
* | vhdl-sem_expr: use -frelaxed for parentheses aggregates. For #1364 | Tristan Gingold | 2020-06-12 | 1 | -14/+39 |
* | synth: handle slices for PSL prev and stable. Fix #1367 | Tristan Gingold | 2020-06-12 | 1 | -2/+2 |
* | vhdl: analyze and synth concurrent statements in vunit. Fix #1366 | Tristan Gingold | 2020-06-12 | 5 | -16/+41 |
* | vhdl: parse statements in verification units. | Tristan Gingold | 2020-06-11 | 2 | -103/+98 |
* | llvm6 - add support for llvm 3.5 | Tristan Gingold | 2020-06-11 | 1 | -2/+35 |
* | llvm6: adjust assertions and unreachable. | Tristan Gingold | 2020-06-11 | 2 | -11/+11 |
* | grt-fst: padd time resolution. Fix #1365 | Tristan Gingold | 2020-06-11 | 1 | -2/+3 |
* | vhdl: allows --work between files for -c. Fix #1362 | Tristan Gingold | 2020-06-09 | 7 | -36/+65 |
* | vhdl: handle aggregates in choices. Fix #1360 | Tristan Gingold | 2020-06-09 | 2 | -0/+10 |
* | ortho/llvm4-nodebug: fix a comment. | Tristan Gingold | 2020-06-09 | 1 | -1/+1 |
* | src/ortho/oread/tests: adjust some tests (keyword in upper case). | Tristan Gingold | 2020-06-09 | 4 | -43/+43 |
* | LLVM backend with debug info (in C/C++) | Tristan Gingold | 2020-06-09 | 9 | -0/+4047 |
* | Add PSL built-in prev() function to allowed expressions | tmeissner | 2020-06-07 | 1 | -0/+1 |
* | Synthesis of PSL built-in fell() function. | tmeissner | 2020-06-07 | 5 | -5/+94 |
* | std_names: remove extra blank. | Tristan Gingold | 2020-06-06 | 1 | -1/+1 |
* | Synthesis of PSL built-in rose() function. | tmeissner | 2020-06-06 | 5 | -2/+92 |
* | Synthesis of PSL stable() function. | tmeissner | 2020-06-06 | 5 | -12/+107 |
* | trans-chap8: handle accesses like scalar in return statement. | Tristan Gingold | 2020-06-04 | 1 | -10/+4 |
* | trans-chap8: handle stack2 in condition of control statement. | Tristan Gingold | 2020-06-04 | 1 | -14/+43 |
* | grt: add check for empty stack2. | Tristan Gingold | 2020-06-04 | 3 | -4/+27 |
* | grt-lib: minor reformatting. | Tristan Gingold | 2020-06-04 | 1 | -5/+3 |
* | grt: do not export disp_process_name. | Tristan Gingold | 2020-06-04 | 3 | -6/+4 |
* | netlists-memories: simplify addresses when using a 'to' range. Fix #1348 | Tristan Gingold | 2020-06-02 | 1 | -0/+264 |
* | netlists-gates.ads: add comments. | Tristan Gingold | 2020-06-02 | 1 | -6/+8 |
* | netlists-memories: clean up: remove handling of dff/idff in chains. | Tristan Gingold | 2020-06-02 | 1 | -57/+28 |
* | netlists-memories: handle another merge of dff in read ports. For #1348 | Tristan Gingold | 2020-06-02 | 1 | -3/+154 |
* | grt: add and document option --asserts | Tristan Gingold | 2020-06-02 | 3 | -22/+40 |
* | Synthesis of PSL prev function. | Tristan Gingold | 2020-06-02 | 12 | -231/+436 |
* | vhdl: parse PSL prev/stable/rose/fell builtin calls. For #662 | Tristan Gingold | 2020-06-02 | 14 | -261/+606 |
* | netlists-dump: shorten UB32 constants. | Tristan Gingold | 2020-05-31 | 1 | -1/+5 |
* | grt: call finalizer after std.env.finish/stop. For #1347 | Tristan Gingold | 2020-05-31 | 2 | -1/+3 |
* | synth: improve support of true dual port rams. For #1069 | Tristan Gingold | 2020-05-31 | 3 | -7/+9 |
* | netlists-inference: minor refactoring. | Tristan Gingold | 2020-05-31 | 1 | -79/+64 |
* | netlists-inference: add comments, reorder subprograms. | Tristan Gingold | 2020-05-31 | 1 | -70/+63 |
* | synth: refine -dm debug option. Add -dm2 | Tristan Gingold | 2020-05-31 | 4 | -4/+11 |
* | netlists-memories: cleanup. | Tristan Gingold | 2020-05-29 | 2 | -47/+4 |
* | netlists: rework clock handling in memories. | Tristan Gingold | 2020-05-29 | 4 | -83/+108 |
* | netlists: handle UL32 in memory initial value. | Tristan Gingold | 2020-05-29 | 2 | -4/+27 |
* | netlists-inference: factorize code. | Tristan Gingold | 2020-05-29 | 1 | -54/+45 |
* | psl-nodes: set a location on false/true/one/EOS nodes. Fix #1345 | Tristan Gingold | 2020-05-29 | 4 | -18/+28 |