aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt
Commit message (Collapse)AuthorAgeFilesLines
* grt: add analog_solver (work in progress)Tristan Gingold2022-07-204-9/+197
|
* grt: add real now variable.Tristan Gingold2022-07-203-0/+16
|
* configure: add --with-sundials (preliminary work)Tristan Gingold2022-07-202-0/+44
|
* grt-types: add Mode_AboveTristan Gingold2022-07-164-7/+15
|
* 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
| | | | Not available on windows.
* 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-readline is now a renaming of grt-readline_gnut
* 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
| | | | | | | | This patch is based on one from the Debian ghdl packaging. We use it to support coinstallability of the different ghdl backend executables. Force prepending ghdl/ to the include path really doesn't help us with that any. Note this effectively reverts 786ca17ce.
* 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
| | | | For #1913
* 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
| | | | | | 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 08:14:45 +0000