aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt
Commit message (Expand)AuthorAgeFilesLines
* gcc: allow to build grt-cstdio with c++.Tristan Gingold2019-11-201-0/+8
* synth: handle untruncated_text_read.Tristan Gingold2019-11-162-14/+9
* grt-files_operations: reduce dependencies.Tristan Gingold2019-11-152-19/+20
* grt: split grt-cbinding into grt-cstdio.c and grt-cgnatrts.cTristan Gingold2019-11-153-43/+67
* synth: add support for file declarations.Tristan Gingold2019-11-132-0/+775
* 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