aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-lib.adb
Commit message (Expand)AuthorAgeFilesLines
* vhdl: add ghdl_integer_index_check_failed. For #1257Tristan Gingold2020-06-171-0/+32
* grt-lib: minor reformatting.Tristan Gingold2020-06-041-5/+3
* grt: add and document option --assertsTristan Gingold2020-06-021-12/+14
* grt: implement --backtrace-severity. For #1338Tristan Gingold2020-05-251-0/+4
* grt: move severity levels from errors to grt.severity.Tristan Gingold2020-05-141-1/+3
* grt: split grt-errors, disp current process.Tristan Gingold2020-02-101-0/+2
* vhdl: remove severity from cover, report and severity from assume.Tristan Gingold2019-08-081-3/+3
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-0/+6
* Improve help and doc for --max-stack-alloc.Tristan Gingold2018-12-031-1/+6
* Add --max-stack-alloc option, check stack allocation of complex object.Tristan Gingold2018-11-231-0/+13
* grt-lib: work-around for bug in old compilers.Tristan Gingold2018-11-141-4/+8
* Fix overflow detection for **, implement ** for i64.Tristan Gingold2018-11-141-12/+61
* grt: rework error API (WIP) - rework report, add warning.Tristan Gingold2018-09-161-28/+29
* grt: rework error API (WIP).Tristan Gingold2018-09-161-23/+23
* Use specific error message for direction mismatch.Tristan Gingold2018-04-251-3/+16
* textio: use grt.fcvt to write reals.Tristan Gingold2017-04-191-1/+20
* textio: use grt.fcvt to read real numbers.Tristan Gingold2017-04-191-0/+9
* Add symbolizer (for mcode).Tristan Gingold2015-11-191-2/+7
* Replace fat accesses by bounds accessesTristan Gingold2015-08-291-6/+6
* Rework procedure calls, now use a record to pass parameters.Tristan Gingold2015-06-051-6/+6
* Move files and dirs from translate/Tristan Gingold2014-11-051-0/+298