Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | grt and ghdldrv: extract grt-exec.lst from grt.lst. For #640 | Tristan Gingold | 2020-04-10 | 1 | -2/+6 |
| | |||||
* | grt: separate exec and all link options. For #640 | Tristan Gingold | 2020-04-10 | 1 | -5/+21 |
| | |||||
* | grt-types: declare ghdl_u8. | Tristan Gingold | 2020-04-06 | 1 | -1/+2 |
| | |||||
* | grt/ghdl_main: add comments. | Tristan Gingold | 2020-04-06 | 1 | -0/+7 |
| | |||||
* | grt: slightly simplify the interface. | Tristan Gingold | 2020-04-02 | 3 | -18/+4 |
| | |||||
* | grt: add code to support systemc co-simulation. | Tristan Gingold | 2020-04-02 | 10 | -48/+147 |
| | |||||
* | vhdl: handle CR+LF for readline in grt. Fix #1145 | Tristan Gingold | 2020-02-25 | 2 | -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) | umarcor | 2020-02-19 | 1 | -1/+1 |
| | |||||
* | grt: split grt-errors, disp current process. | Tristan Gingold | 2020-02-10 | 18 | -104/+183 |
| | |||||
* | gcc: allow to build grt-cstdio with c++. | Tristan Gingold | 2019-11-20 | 1 | -0/+8 |
| | |||||
* | synth: handle untruncated_text_read. | Tristan Gingold | 2019-11-16 | 2 | -14/+9 |
| | |||||
* | grt-files_operations: reduce dependencies. | Tristan Gingold | 2019-11-15 | 2 | -19/+20 |
| | |||||
* | grt: split grt-cbinding into grt-cstdio.c and grt-cgnatrts.c | Tristan Gingold | 2019-11-15 | 3 | -43/+67 |
| | |||||
* | synth: add support for file declarations. | Tristan Gingold | 2019-11-13 | 2 | -0/+775 |
| | |||||
* | vhdl: remove severity from cover, report and severity from assume. | Tristan Gingold | 2019-08-08 | 2 | -11/+6 |
| | |||||
* | Add support for PSL assumptions, used in formal verification (#880) | Pepijn de Vos | 2019-08-07 | 5 | -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 Gingold | 2019-06-06 | 1 | -1/+0 |
| | |||||
* | libghdlsynth: fix build failure. | Tristan Gingold | 2019-06-06 | 1 | -1/+1 |
| | | | | Might be worth to add a dedicated grt.modules body. | ||||
* | grt: remove more useless use clauses. | Tristan Gingold | 2019-06-03 | 1 | -2/+0 |
| | |||||
* | grt-vstrings: do not depend on grt.errors | Tristan Gingold | 2019-06-02 | 1 | -3/+4 |
| | |||||
* | grt-vstrings: refactor. | Tristan Gingold | 2019-06-02 | 2 | -26/+13 |
| | |||||
* | grt: extract grt-vstrings_io from grt-vstrings. | Tristan Gingold | 2019-06-02 | 6 | -24/+92 |
| | |||||
* | grt: extract grt.to_strings from grt.images | Tristan Gingold | 2019-06-01 | 10 | -180/+237 |
| | |||||
* | grt: add grt-dynload.ads | Tristan Gingold | 2019-04-27 | 1 | -0/+39 |
| | |||||
* | grt: rename grt-dynload.[ch] to grt-cdynload.[ch] | Tristan Gingold | 2019-04-27 | 4 | -4/+4 |
| | |||||
* | add some version to grt.ver (#800) | umarcor | 2019-04-24 | 1 | -1/+1 |
| | |||||
* | grt: extract grt-dynload from grt-cvpi | Tristan Gingold | 2019-04-24 | 4 | -59/+78 |
| | |||||
* | move algos to grt. | Tristan Gingold | 2019-03-20 | 2 | -0/+83 |
| | |||||
* | Partial revert of #753. | Tristan Gingold | 2019-02-23 | 1 | -1/+1 |
| | |||||
* | grt-vpi: add more properties, decode them, fix style. | Tristan Gingold | 2019-02-23 | 2 | -50/+69 |
| | |||||
* | VPI: add support for detecting ports and their directions (#753) | Kammie | 2019-02-14 | 2 | -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 Gingold | 2019-01-06 | 2 | -16/+25 |
| | |||||
* | grt/rtis: fix use of bounds for unbounded subelements. | Tristan Gingold | 2019-01-04 | 2 | -2/+7 |
| | |||||
* | grt-signals: do not read beyond value for driver transaction. | Tristan Gingold | 2019-01-01 | 2 | -67/+41 |
| | |||||
* | Extract grt.astdio.vhdl from grt.astdio. | Tristan Gingold | 2018-12-16 | 10 | -69/+130 |
| | |||||
* | Improve help and doc for --max-stack-alloc. | Tristan Gingold | 2018-12-03 | 1 | -1/+6 |
| | |||||
* | grt: set time for elaboration. | Tristan Gingold | 2018-11-26 | 1 | -1/+8 |
| | |||||
* | trans-rtis: take into account instances in the count of packages. | Tristan Gingold | 2018-11-24 | 1 | -3/+6 |
| | | | | rtis: check number of packages. | ||||
* | Add --max-stack-alloc option, check stack allocation of complex object. | Tristan Gingold | 2018-11-23 | 3 | -0/+37 |
| | | | | Fix #692 | ||||
* | grt-lib: work-around for bug in old compilers. | Tristan Gingold | 2018-11-14 | 1 | -4/+8 |
| | |||||
* | grt-vpi.ads: fix a warning. | Tristan Gingold | 2018-11-14 | 1 | -0/+1 |
| | |||||
* | Fix overflow detection for **, implement ** for i64. | Tristan Gingold | 2018-11-14 | 3 | -15/+68 |
| | | | | Fix #683 | ||||
* | grt Handle_Record: pass address of elements. | Tristan Gingold | 2018-11-11 | 1 | -2/+1 |
| | | | | Fix #685 | ||||
* | Pass time-resolution to grt. | Tristan Gingold | 2018-10-21 | 7 | -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 Gingold | 2018-10-21 | 4 | -19/+83 |
| | | | | Fix #668 | ||||
* | Rework translation of unbounded and complex types. | Tristan Gingold | 2018-10-21 | 10 | -93/+183 |
| | |||||
* | fix filter to generate GRT_EXTRA_LIB on arm-linux-gnueabihf | 1138-4EB | 2018-10-11 | 1 | -1/+1 |
| | |||||
* | Improve info message for --stop-delta. | Tristan Gingold | 2018-09-16 | 3 | -7/+18 |
| | | | | For #654 | ||||
* | grt: adjust grt-wave_opt error API. | Tristan Gingold | 2018-09-16 | 4 | -46/+32 |
| | |||||
* | grt: rework error API (WIP) - rework report, add warning. | Tristan Gingold | 2018-09-16 | 6 | -124/+95 |
| |