aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/translate/translation.adb
Commit message (Expand)AuthorAgeFilesLines
* translation.adb: avoid a crash on unused resolver. Fix #2333Tristan Gingold2023-01-301-5/+3
* vhdl: refactoring - remove trans_be, mainly added to vhdl-back_endTristan Gingold2023-01-161-131/+41
* translate, grt: add lib function for div and rem.Tristan Gingold2022-10-021-4/+26
* translate: adjust null access check: add an explicit check.Tristan Gingold2022-03-261-0/+6
* Add explicit ?>= and ?> functions for translation.Brian Padalino2021-09-221-0/+2
* src: Introduce two separate PSL counters (Finish and Start).Ondrej Ille2021-04-081-0/+1
* update license headersumarcor2021-01-141-11/+9
* vhdl: handle force/release statements in translate and grt. For #1416Tristan Gingold2020-08-031-17/+62
* ortho: add unbounded records, rework array subtypes.Tristan Gingold2020-07-251-4/+6
* vhdl: add ghdl_integer_index_check_failed. For #1257Tristan Gingold2020-06-171-0/+15
* vhdl: add scalar_size. Size of scalar types is computed during analysis.Tristan Gingold2020-04-061-19/+13
* vhdl: remove severity from cover, report and severity from assume.Tristan Gingold2019-08-081-2/+12
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-0/+2
* vhdl: extract vhdl.errors from errorout.Tristan Gingold2019-05-081-0/+1
* vhdl: move iirs_utils to vhdl.utilsTristan Gingold2019-05-061-1/+1
* vhdl: move std_standard package to vhdl child.Tristan Gingold2019-05-051-1/+1
* vhdl: move sem* packages to vhdl children.Tristan Gingold2019-05-051-2/+2
* vhdl: move canon to a vhdl child package.Tristan Gingold2019-05-051-2/+2
* vhdl: supports VHPIDIRECT in mcode backend.Tristan Gingold2019-04-271-3/+2
* translation: adjust scan of vhpidirect string.Tristan Gingold2019-04-271-6/+5
* translation: avoid crash after error in VHPIDIRECT extraction.Tristan Gingold2018-12-121-0/+3
* translate: renaming of Kind_Expr/Get_Ortho_Expr.Tristan Gingold2018-12-111-2/+2
* Add --max-stack-alloc option, check stack allocation of complex object.Tristan Gingold2018-11-231-0/+15
* Fix overflow detection for **, implement ** for i64.Tristan Gingold2018-11-141-7/+16
* Rework translation of unbounded and complex types.Tristan Gingold2018-10-211-8/+27
* Add support for --time-resolution (jit only). Fix #613Tristan Gingold2018-08-101-2/+1
* Delay translation of default configuration.Tristan Gingold2018-06-191-0/+1
* Fix warning: use clause for package has no effectVicente Bergas2018-05-031-1/+0
* Use specific error message for direction mismatch.Tristan Gingold2018-04-251-8/+15
* translation: remove some use of Nam_Buffer.Tristan Gingold2018-01-201-39/+45
* files_map: get rid of global Nam_Buffer use.Tristan Gingold2018-01-181-2/+1
* WIP: define ghdl_sizes_type.Tristan Gingold2018-01-021-0/+18
* Use Flist for simple_aggregate.Tristan Gingold2017-11-071-7/+3
* Improved error reporting, Issue #26Brian Drummond2017-10-061-0/+4
* translate: separate spec and body translation for implicit subprograms.Tristan Gingold2017-05-171-3/+3
* translation: renames Ortho_Func to Subprg_Node for consistency.Tristan Gingold2017-05-121-1/+1
* Create default value for ports.Tristan Gingold2017-05-091-6/+20
* Add 'Image and 'Value for i64.Tristan Gingold2017-01-131-0/+5
* translate: refactoring for ortho_info_type.Tristan Gingold2016-12-301-1/+1
* Handle top-level instantiation of macro-expansed packages.Tristan Gingold2016-11-121-0/+6
* Finish_Compilation: factorize code, move to libraries.Tristan Gingold2016-10-151-0/+4
* Comments and reformatting.Tristan Gingold2016-09-141-40/+48
* parse: improve some error messages.Tristan Gingold2016-09-061-2/+2
* Rewrite most of error and warning messages.Tristan Gingold2016-08-021-4/+5
* Rewrite error messages.Tristan Gingold2016-08-021-5/+5
* Initial support of direct recursive instantiation.Tristan Gingold2016-07-031-2/+4
* Reorder fields in signals for alignment.Tristan Gingold2016-01-091-3/+4
* Do not create signal type for scalar type.Tristan Gingold2015-12-201-6/+7
* Pass signal values to interfaces. 'sigptr' optimization.Tristan Gingold2015-12-181-14/+24
* Suppress stack switching; save process state in secondary stack.Tristan Gingold2015-09-041-3/+10