aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt
Commit message (Collapse)AuthorAgeFilesLines
* grt-change_generics: handle subtype for elements. Fix #1386Tristan Gingold2021-10-031-2/+8
|
* grt-vcd.adb: add option --vcd-4states to dump a strict vcd file. Fix #1759Tristan Gingold2021-09-301-7/+17
|
* grt-vcd: exclude arrays from dump. Fix #1881Tristan Gingold2021-09-291-59/+67
|
* grt-change_generics: handle array subtypes. Fix #1876Tristan Gingold2021-09-241-6/+20
|
* Add explicit ?>= and ?> functions for translation.Brian Padalino2021-09-222-0/+18
| | | | | | Instead of swapping L/R arguments to try to create ?>= and ?>, create a function for each which performs the not operation of ?< and ?<= as defined by the LRM.
* vpi: handle get_value for indexed names. Fix #237Tristan Gingold2021-06-105-164/+411
|
* grt-vpi: add more traces for vpi_register_systfTristan Gingold2021-06-082-5/+19
|
* grt-vcd: add get_vcd_value_kindTristan Gingold2021-06-083-35/+47
|
* grt-vpi: improve support of arraysTristan Gingold2021-06-075-22/+66
|
* grt: preliminary work to support arrays in vpiTristan Gingold2021-06-065-77/+142
|
* vpi: handle integer32 signals for vpi_put_value. Fix #1779Tristan Gingold2021-06-052-26/+51
|
* grt-table.adb: avoid overflow for computing memory size. For #1761Tristan Gingold2021-05-151-5/+8
|
* grt/Makefile: use CFLAGSXiretza2021-05-101-2/+2
|
* grt: fix warning about possible constant declarationXiretza2021-05-101-1/+1
|
* move ghwlib and ghwdump sources to subdir 'ghw'umarcor2021-04-233-3020/+0
|
* Makefile: add and use all.ghw, install.ghw and uninstall.ghw targetsumarcor2021-04-231-10/+0
|
* grt: Use GRTs sort for dump table.Ondrej Ille2021-04-221-9/+19
|
* grt-avls: optimize, disable debug check after insertMartin Jeřábek2021-04-221-4/+4
|
* grt: optimize wave dumpMartin Jeřábek2021-04-224-11/+49
| | | | | | | | Instead of walking through all the signals every cycle, keep an array of changed signals (without duplicates). Before dumping, sort the array. Afterwards clear it. This massively improves performance on big designs.
* VHPI: improve C enum interopMarlon James2021-04-193-66/+113
|
* VHPI: add tracingMarlon James2021-04-182-141/+706
|
* Update license headerMarlon James2021-04-182-36/+19
|
* src/grt: Avhpi - Specify enum numbers as in VHDL LRM. Add 2008 version ↵Ondrej Ille2021-04-081-5/+483
| | | | enumerations. Update "DEPRECATED" suffices.
* src: Introduce two separate PSL counters (Finish and Start).Ondrej Ille2021-04-081-7/+14
| | | | | | Finish counter corresponds to legacy count. Start counter corresponds to number of times start state is left (assertion is triggered).
* src: Adjust grt-psl to use PSL RTI type.Ondrej Ille2021-04-081-5/+5
|
* src: Adjust disp-rti for new PSL RTI type.Ondrej Ille2021-04-081-12/+27
|
* src: grt-utils. Fix path look-up fo PSL RTis since they now have Parent.Ondrej Ille2021-04-082-8/+7
|
* src: Define PSL type RTI with simplified assertion state.Ondrej Ille2021-04-081-0/+16
|
* grt: Dont build path for PSL RTIs. They dont have parents, therefore ↵Ondrej Ille2021-04-081-0/+12
| | | | Get_Path_Name crashes.
* src: Move --psl-report-uncovered to run options, not analysis options.Ondrej Ille2021-03-223-2/+11
|
* Revert "src: Add -Wpsl-uncovered option to optionally warn about uncovered ↵Ondrej Ille2021-03-221-1/+2
| | | | | | PSL sequences at the end of simulation." This reverts commit e20d4477f9b55f897d4f9008d6c94db8d8c3a54f.
* src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL ↵Ondrej Ille2021-03-221-2/+1
| | | | sequences at the end of simulation.
* VHPI: add initial minimal implementationMarlon James2021-03-0411-12/+3200
| | | | | | | | Minimal implementation of VHPI provides library loading and error support. Calling most vhpi_* functions will raise a VHPI error condition. Incorporates VHPI thunks into libghdlvpi for linking.
* VPI: support loading multiple librariesMarlon James2021-03-021-13/+51
|
* grt-signals.adb: fix access. Fix #1652Tristan Gingold2021-02-181-1/+1
|
* grt: add Error_NF to report final error status. Fix #803Tristan Gingold2021-01-263-2/+13
|
* update 'vpi_user.h' to IEEE Std 1800-2017umarcor2021-01-171-189/+272
| | | | Co-Authored-By: Kamyar Mohajerani <kammoh@gmail.com>
* update license headersumarcor2021-01-14145-1595/+1305
|
* Fix #1524: 'ghdl build produces an executable with RWX sections'Erik Zscheile2020-11-271-0/+4
|
* win32: add fprintf to grt_save_backtrace (#1516)eine2020-11-211-0/+8
| | | Co-authored-by: eine <eine@users.noreply.github.com>
* Slightly improve error messages for unknown optionTristan Gingold2020-11-211-1/+1
|
* Ignore plusargs options (that starts with a '+'). For #1517Tristan Gingold2020-11-211-0/+3
|
* Add argc and argv to vpi_get_vlog_info()Marlon James2020-11-191-2/+4
|
* src/grt/Makefile.inc: support clang -dumpmachine on Windowsumarcor2020-10-241-1/+1
|
* grt-disp_signals: add code to display last value (disabled).Tristan Gingold2020-08-261-0/+8
|
* grt: import changes from gtkwave to ghwlibTristan Gingold2020-08-052-1/+8
|
* ghwlib: minor change to verbose.Tristan Gingold2020-08-051-1/+1
|
* grt: adjust previous patch on grt-wavesTristan Gingold2020-08-054-20/+35
| | | | Write bounds only when the element subtype of the base type is unbounded.
* grt: handle more unbounded types in disp_rti and ghw.Tristan Gingold2020-08-047-253/+390
| | | | Fix #1131
* grt-disp_signals: fix handling of unbounded aggregates.Tristan Gingold2020-08-043-10/+6
| | | | For #1420