aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/translate/trans_decls.ads
Commit message (Collapse)AuthorAgeFilesLines
* translate, grt: add lib function for div and rem.Tristan Gingold2022-10-021-0/+4
| | | | | Do not rely on hardware exceptions to catch division by 0, they are caught in windows by the c handler and not propagated
* translate: adjust null access check: add an explicit check.Tristan Gingold2022-03-261-0/+1
|
* Add explicit ?>= and ?> functions for translation.Brian Padalino2021-09-221-0/+2
| | | | | | Instead of swapping L/R arguments to try to create ?>= and ?>, create a function for each which performs the not operation of ?< and ?<= as defined by the LRM.
* update license headersumarcor2021-01-141-11/+9
|
* vhdl: handle force/release statements in translate and grt. For #1416Tristan Gingold2020-08-031-0/+15
|
* vhdl: add ghdl_integer_index_check_failed. For #1257Tristan Gingold2020-06-171-0/+1
| | | | Improve error message in case of (integer) index not in bounds.
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* Add --max-stack-alloc option, check stack allocation of complex object.Tristan Gingold2018-11-231-0/+2
| | | | Fix #692
* Fix overflow detection for **, implement ** for i64.Tristan Gingold2018-11-141-1/+2
| | | | Fix #683
* Use specific error message for direction mismatch.Tristan Gingold2018-04-251-1/+2
| | | | Fix #559
* Create default value for ports.Tristan Gingold2017-05-091-13/+19
| | | | Fix #328
* Add 'Image and 'Value for i64.Tristan Gingold2017-01-131-0/+2
| | | | Fix #254
* Suppress stack switching; save process state in secondary stack.Tristan Gingold2015-09-041-0/+1
|
* Handle to_string for i64 numbers.Tristan Gingold2015-05-201-0/+1
| | | | Fix ticket 76
* Elaborate generics in two steps. Fix -c/-e for llvm builds.Tristan Gingold2015-03-011-0/+2
|
* Move translate and simulate.Tristan Gingold2014-11-051-0/+257