aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt
Commit message (Expand)AuthorAgeFilesLines
* vhdl: remove severity from cover, report and severity from assume.Tristan Gingold2019-08-082-11/+6
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-075-0/+38
* Remove unused use clause.Tristan Gingold2019-06-061-1/+0
* libghdlsynth: fix build failure.Tristan Gingold2019-06-061-1/+1
* grt: remove more useless use clauses.Tristan Gingold2019-06-031-2/+0
* grt-vstrings: do not depend on grt.errorsTristan Gingold2019-06-021-3/+4
* grt-vstrings: refactor.Tristan Gingold2019-06-022-26/+13
* grt: extract grt-vstrings_io from grt-vstrings.Tristan Gingold2019-06-026-24/+92
* grt: extract grt.to_strings from grt.imagesTristan Gingold2019-06-0110-180/+237
* grt: add grt-dynload.adsTristan Gingold2019-04-271-0/+39
* grt: rename grt-dynload.[ch] to grt-cdynload.[ch]Tristan Gingold2019-04-274-4/+4
* add some version to grt.ver (#800)umarcor2019-04-241-1/+1
* grt: extract grt-dynload from grt-cvpiTristan Gingold2019-04-244-59/+78
* move algos to grt.Tristan Gingold2019-03-202-0/+83
* Partial revert of #753.Tristan Gingold2019-02-231-1/+1
* grt-vpi: add more properties, decode them, fix style.Tristan Gingold2019-02-232-50/+69
* VPI: add support for detecting ports and their directions (#753)Kammie2019-02-142-5/+39
* simul: fix handling of time resolution.Tristan Gingold2019-01-062-16/+25
* grt/rtis: fix use of bounds for unbounded subelements.Tristan Gingold2019-01-042-2/+7
* grt-signals: do not read beyond value for driver transaction.Tristan Gingold2019-01-012-67/+41
* Extract grt.astdio.vhdl from grt.astdio.Tristan Gingold2018-12-1610-69/+130
* Improve help and doc for --max-stack-alloc.Tristan Gingold2018-12-031-1/+6
* grt: set time for elaboration.Tristan Gingold2018-11-261-1/+8
* trans-rtis: take into account instances in the count of packages.Tristan Gingold2018-11-241-3/+6
* Add --max-stack-alloc option, check stack allocation of complex object.Tristan Gingold2018-11-233-0/+37
* grt-lib: work-around for bug in old compilers.Tristan Gingold2018-11-141-4/+8
* grt-vpi.ads: fix a warning.Tristan Gingold2018-11-141-0/+1
* Fix overflow detection for **, implement ** for i64.Tristan Gingold2018-11-143-15/+68
* grt Handle_Record: pass address of elements.Tristan Gingold2018-11-111-2/+1
* Pass time-resolution to grt.Tristan Gingold2018-10-217-43/+97
* grt rtis/wave: handle unbounded record subtypes.Tristan Gingold2018-10-214-19/+83
* Rework translation of unbounded and complex types.Tristan Gingold2018-10-2110-93/+183
* fix filter to generate GRT_EXTRA_LIB on arm-linux-gnueabihf1138-4EB2018-10-111-1/+1
* Improve info message for --stop-delta.Tristan Gingold2018-09-163-7/+18
* grt: adjust grt-wave_opt error API.Tristan Gingold2018-09-164-46/+32
* grt: rework error API (WIP) - rework report, add warning.Tristan Gingold2018-09-166-124/+95
* grt: rework error API (WIP).Tristan Gingold2018-09-1618-186/+177
* Remove -gnat05, always use GNATFLAGS.Tristan Gingold2018-09-151-1/+1
* Add comment.Tristan Gingold2018-08-151-0/+2
* grt-files: improve error messages, check access mode. Fix #634Tristan Gingold2018-08-133-42/+134
* waves: handled unbounded records. Fix #561Tristan Gingold2018-08-101-0/+16
* Add support for --time-resolution (jit only). Fix #613Tristan Gingold2018-08-103-167/+0
* ghwlib: handle correctly with null-range. For #615Tristan Gingold2018-08-071-10/+22
* vcd: add global scope.Tristan Gingold2018-07-251-33/+32
* grt: use 64-bit type for Nbr_Cycles.Tristan Gingold2018-06-282-6/+4
* grt: add declaration to fill the gap with gcc 8.1Tristan Gingold2018-06-021-0/+10
* Add No_Secondary_Stack restriction.Tristan Gingold2018-06-011-0/+2
* Remove redundant use-clauses for gcc 8.1 compatibilityTruls Asheim2018-05-301-1/+0
* fix 'occured' typo1138-4EB2018-05-264-5/+5
* src/grt/Makefile.inc: grt/grt-files: Remove CR from line endsChristian Cornelssen2018-05-201-1/+1