aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt
Commit message (Collapse)AuthorAgeFilesLines
* grt and ghdldrv: extract grt-exec.lst from grt.lst. For #640Tristan Gingold2020-04-101-2/+6
|
* grt: separate exec and all link options. For #640Tristan Gingold2020-04-101-5/+21
|
* grt-types: declare ghdl_u8.Tristan Gingold2020-04-061-1/+2
|
* grt/ghdl_main: add comments.Tristan Gingold2020-04-061-0/+7
|
* grt: slightly simplify the interface.Tristan Gingold2020-04-023-18/+4
|
* grt: add code to support systemc co-simulation.Tristan Gingold2020-04-0210-48/+147
|
* vhdl: handle CR+LF for readline in grt. Fix #1145Tristan Gingold2020-02-252-18/+62
| | | | | | | Previously CR+LF was handled in std.textio.readline. But that doesn't work if CR is at position 128 because we would need to read the next character. Now untruncated_text_read handles CR/CR+LF/LF and calls ungetc if needed.
* disable backtrace on android (#1142)umarcor2020-02-191-1/+1
|
* grt: split grt-errors, disp current process.Tristan Gingold2020-02-1018-104/+183
|
* 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
| | | | | | | | | | | | | | | | | | | | | | | | | | * vhdl: make the parser understand PSL assume * assume does not actually have report according to the spec. Just a property. * add SPL assume to semantic analysis * canonicalise PSL assume * add assume to annotations * add PSL assume to simulation code * statement -> directive * add assume to translation files * update ticked24 testcase * correctly parse assume * add assume testcase * refactor chunk of duplicated code
* Remove unused use clause.Tristan Gingold2019-06-061-1/+0
|
* libghdlsynth: fix build failure.Tristan Gingold2019-06-061-1/+1
| | | | Might be worth to add a dedicated grt.modules body.
* 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
| | | | | | | | * VPI: add support for detecting ports and their directions * fix indentation * address gna/issue450: hack to include "ports" in "net" iteration
* 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
| | | | rtis: check number of packages.
* Add --max-stack-alloc option, check stack allocation of complex object.Tristan Gingold2018-11-233-0/+37
| | | | Fix #692
* 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
| | | | Fix #683
* grt Handle_Record: pass address of elements.Tristan Gingold2018-11-111-2/+1
| | | | Fix #685
* Pass time-resolution to grt.Tristan Gingold2018-10-217-43/+97
| | | | | | | | | Use time-resolution for Put_Time. Use time-resolution for --stop-time (Parse_Time). Use time-resolution as VpiTimePrecision and for vcd. TODO: ghw (but needs to update ghwlib and gtkwave) Fix #672
* grt rtis/wave: handle unbounded record subtypes.Tristan Gingold2018-10-214-19/+83
| | | | Fix #668
* 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
| | | | For #654
* 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
|