aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt
Commit message (Expand)AuthorAgeFilesLines
* Fix nested commentssudden62022-06-261-41/+41
* deleted pragma messagesGuiltybyte2022-06-091-2/+0
* Only enable backtrace on linux if glibc is presentGuiltybyte2022-06-091-1/+3
* grt-readline_none.adb: do not use getline(3)Tristan Gingold2022-05-151-19/+24
* configure: generate grt-readline.adsTristan Gingold2022-05-151-2/+0
* grt: add grt-readline_gnu and grt-readline_noneTristan Gingold2022-05-155-14/+105
* grt: simplifies grt-readline, adjust casingTristan Gingold2022-05-154-11/+9
* grt-readline.ads: use types from grt-typesTristan Gingold2022-03-301-16/+5
* Add chkstk-x64 for windows x64Tristan Gingold2022-03-302-0/+58
* translate: adjust null access check: add an explicit check.Tristan Gingold2022-03-262-0/+12
* grt: extract grt-vhdl_types from grt-typesTristan Gingold2022-03-2229-138/+190
* mk: Introduce configure options for inc/libdirsuffixDaniel Gröber2022-03-111-13/+13
* grt-signals.adb: Suppress overflow check before manual check. Fix #1994Tristan Gingold2022-03-051-6/+11
* grt: refactoring to fix build failure. For #1913Tristan Gingold2021-11-174-392/+442
* vhdl-evaluation: use grt to compute value attribute for integers.Tristan Gingold2021-11-172-27/+80
* grt/Makefile.inc: add a dependency for grt-cgnatrts.Tristan Gingold2021-11-161-2/+3
* 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
* 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
* 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 enumer...Ondrej Ille2021-04-081-5/+483
* src: Introduce two separate PSL counters (Finish and Start).Ondrej Ille2021-04-081-7/+14
* 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 Get_Path...Ondrej Ille2021-04-081-0/+12
* 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 PS...Ondrej Ille2021-03-221-1/+2
* src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL sequen...Ondrej Ille2021-03-221-2/+1
* VHPI: add initial minimal implementationMarlon James2021-03-0411-12/+3200
* VPI: support loading multiple librariesMarlon James2021-03-021-13/+51
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-07 00:49:43 +0000