| Commit message (Expand) | Author | Age | Files | Lines |
* | synth-insts.adb: avoid a crash after an error during instantiation. Fix #1734 | Tristan Gingold | 2021-04-23 | 2 | -1/+9 |
* | move ghwlib and ghwdump sources to subdir 'ghw' | umarcor | 2021-04-23 | 3 | -3020/+0 |
* | Makefile: add and use all.ghw, install.ghw and uninstall.ghw targets | umarcor | 2021-04-23 | 1 | -10/+0 |
* | src: Minor clarifications in Error messages for Warning and VHDL std options. | Ondrej Ille | 2021-04-22 | 1 | -4/+6 |
* | grt: Use GRTs sort for dump table. | Ondrej Ille | 2021-04-22 | 1 | -9/+19 |
* | grt-avls: optimize, disable debug check after insert | Martin Jeřábek | 2021-04-22 | 1 | -4/+4 |
* | grt: optimize wave dump | Martin Jeřábek | 2021-04-22 | 4 | -11/+49 |
* | synth-vhdl_oper.adb: handle resize uns/uns. For #1731 | Tristan Gingold | 2021-04-21 | 1 | -0/+12 |
* | synth-vhdl_oper.adb: adjust previous patch and test | Tristan Gingold | 2021-04-21 | 1 | -1/+12 |
* | synth-vhdl_oper.adb: handle resize sgn/sgn. Fix #1731 | Tristan Gingold | 2021-04-21 | 1 | -0/+1 |
* | synth: extract synth-memtype from synth-objtypes | Tristan Gingold | 2021-04-21 | 15 | -124/+193 |
* | VHPI: improve C enum interop | Marlon James | 2021-04-19 | 3 | -66/+113 |
* | VHPI: add tracing | Marlon James | 2021-04-18 | 2 | -141/+706 |
* | Update license header | Marlon James | 2021-04-18 | 2 | -36/+19 |
* | vhdl: handle object interface using an interface type. Fix #1726 | Tristan Gingold | 2021-04-17 | 3 | -4/+56 |
* | vhdl-sem_names: avoid a crash for invalid user attribute prefix. Fix #1727 | Tristan Gingold | 2021-04-16 | 1 | -1/+2 |
* | synth: renaming (synth-heap -> synth-vhdl_heap) | Tristan Gingold | 2021-04-16 | 5 | -11/+11 |
* | synth: renaming (synth-static_proc -> synth-vhdl_static_proc) | Tristan Gingold | 2021-04-16 | 3 | -6/+6 |
* | synth: refactoring (synth.files_operations -> synth.vhdl_files) | Tristan Gingold | 2021-04-16 | 6 | -11/+11 |
* | synth: renaming (synth.oper -> synth.vhdl_oper) | Tristan Gingold | 2021-04-16 | 4 | -11/+11 |
* | synth: refactoring (synth.aggr -> synth.vhdl_aggr) | Tristan Gingold | 2021-04-16 | 3 | -7/+7 |
* | synth: rename synth-context to synth-vhdl_context | Tristan Gingold | 2021-04-16 | 16 | -25/+25 |
* | vhdl: also allow type and subtype declarations in vunit. For #1724 | Tristan Gingold | 2021-04-15 | 2 | -0/+4 |
* | synth: avoid crash in case of non-elaboratable generic. | Tristan Gingold | 2021-04-15 | 2 | -4/+10 |
* | vhdl-canon_psl: handle imp_bool | Tristan Gingold | 2021-04-15 | 1 | -2/+3 |
* | vhdl: handle constant declarations in PSL vunit. Fix #1724 | Tristan Gingold | 2021-04-15 | 2 | -0/+2 |
* | trans-chap9: handle N_Imp_Bool for PSL. For #1721 | Tristan Gingold | 2021-04-13 | 1 | -0/+21 |
* | psl: suffix implication are properties (for simple subset). For #1721 | Tristan Gingold | 2021-04-13 | 3 | -6/+5 |
* | vhdl-sem_psl.adb: can also extract clock from SERE. For #1721 | Tristan Gingold | 2021-04-13 | 1 | -1/+5 |
* | vhdl-sem_names.adb: fix check for object prefix of subtype attribute. Fix #1717 | Tristan Gingold | 2021-04-11 | 1 | -3/+1 |
* | src: Clarify error for conditional signal assignment. | Ondrej Ille | 2021-04-11 | 1 | -1/+2 |
* | src: Allow case generate only in VHDL 2008. | Ondrej Ille | 2021-04-11 | 1 | -0/+1 |
* | src: Unify check for VHDL at least 2008 | Ondrej Ille | 2021-04-11 | 1 | -47/+25 |
* | trans-chap9.adb: fix out of scope reference. | Tristan Gingold | 2021-04-10 | 1 | -2/+3 |
* | ghdldrv,configure: allow LIB.UNIT name for -e/-r commands. Fix #1718 | Tristan Gingold | 2021-04-10 | 8 | -38/+129 |
* | src/grt: Avhpi - Specify enum numbers as in VHDL LRM. Add 2008 version enumer... | Ondrej Ille | 2021-04-08 | 1 | -5/+483 |
* | src: Fix PSL start count assignment for PSL endpoints. | Ondrej Ille | 2021-04-08 | 1 | -9/+9 |
* | src: Introduce two separate PSL counters (Finish and Start). | Ondrej Ille | 2021-04-08 | 5 | -19/+57 |
* | src: Adjust grt-psl to use PSL RTI type. | Ondrej Ille | 2021-04-08 | 1 | -5/+5 |
* | src: Adjust disp-rti for new PSL RTI type. | Ondrej Ille | 2021-04-08 | 1 | -12/+27 |
* | src: grt-utils. Fix path look-up fo PSL RTis since they now have Parent. | Ondrej Ille | 2021-04-08 | 2 | -8/+7 |
* | src: Define PSL type RTI with simplified assertion state. | Ondrej Ille | 2021-04-08 | 5 | -6/+110 |
* | grt: Dont build path for PSL RTIs. They dont have parents, therefore Get_Path... | Ondrej Ille | 2021-04-08 | 1 | -0/+12 |
* | vhdl-sem_decls.adb: handle both anonymous signal and signal attribute. Fix #... | Tristan Gingold | 2021-04-07 | 1 | -0/+2 |
* | src: Set fcaret-diagnostics to be on by default. Clean unused Warn_Undriven. | Ondrej Ille | 2021-04-05 | 1 | -4/+1 |
* | src: Remove obsolete FIXME, file_open_information parsed. Default "IN"/"READ_... | Ondrej Ille | 2021-04-05 | 1 | -1/+0 |
* | ghdlsynth.adb: fix a previous commit | Tristan Gingold | 2021-04-05 | 1 | -1/+1 |
* | vhdl-sem_psl.adb: handle goto/equal repeated sequence. For #1708 | Tristan Gingold | 2021-04-05 | 1 | -8/+20 |
* | vhdl-parse_psl.adb: handle parenthesis boolean prefixes. For #1708 | Tristan Gingold | 2021-04-05 | 1 | -29/+62 |
* | vhdl and libraries: add support for binding to a foreign module | Tristan Gingold | 2021-04-05 | 7 | -124/+237 |