aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-lib.adb
Commit message (Expand)AuthorAgeFilesLines
* translate, grt: add lib function for div and rem.Tristan Gingold2022-10-021-0/+44
* synth: detect overflow in static exponentiationTristan Gingold2022-09-141-73/+14
* translate: adjust null access check: add an explicit check.Tristan Gingold2022-03-261-0/+9
* src: Move --psl-report-uncovered to run options, not analysis options.Ondrej Ille2021-03-221-2/+4
* Revert "src: Add -Wpsl-uncovered option to optionally warn about uncovered PS...Ondrej Ille2021-03-221-1/+2
* src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL sequen...Ondrej Ille2021-03-221-2/+1
* update license headersumarcor2021-01-141-11/+9
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 19:02:01 +0000