aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-lib.ads
Commit message (Expand)AuthorAgeFilesLines
* update license headersumarcor2021-01-141-11/+9
* vhdl: add ghdl_integer_index_check_failed. For #1257Tristan Gingold2020-06-171-0/+9
* grt: split grt-errors, disp current process.Tristan Gingold2020-02-101-9/+0
* vhdl: remove severity from cover, report and severity from assume.Tristan Gingold2019-08-081-8/+3
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-0/+6
* Add --max-stack-alloc option, check stack allocation of complex object.Tristan Gingold2018-11-231-0/+8
* Fix overflow detection for **, implement ** for i64.Tristan Gingold2018-11-141-3/+4
* fix 'occured' typo1138-4EB2018-05-261-1/+1
* Use specific error message for direction mismatch.Tristan Gingold2018-04-251-4/+9
* textio: use grt.fcvt to write reals.Tristan Gingold2017-04-191-0/+7
* textio: use grt.fcvt to read real numbers.Tristan Gingold2017-04-191-0/+5
* grt-lib: Remove unused with-ed package.Tristan Gingold2016-01-061-2/+1
* Replace fat accesses by bounds accessesTristan Gingold2015-08-291-10/+1
* Rework procedure calls, now use a record to pass parameters.Tristan Gingold2015-06-051-1/+11
* Fix typos in grt and translation.adb for vhdl2008 (gcc).Tristan Gingold2015-01-241-2/+2
* Move files and dirs from translate/Tristan Gingold2014-11-051-0/+127