aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/translate/translation.adb
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | | | 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.
* src: Introduce two separate PSL counters (Finish and Start).Ondrej Ille2021-04-081-0/+1
| | | | | | Finish counter corresponds to legacy count. Start counter corresponds to number of times start state is left (assertion is triggered).
* 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
| | | | Improve error message in case of (integer) index not in bounds.
* 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: 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
* 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
| | | | | src: add hash.ad[sb], interning.ad[sb] Automatically link with vhpidirect libraries.
* 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 #692
* Fix overflow detection for **, implement ** for i64.Tristan Gingold2018-11-141-7/+16
| | | | Fix #683
* 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 #606
* Fix warning: use clause for package has no effectVicente Bergas2018-05-031-1/+0
| | | | | | | With gcc 8.1 the following message appears: warning: use clause for package "*" has no effect gnatmake: "*.adb" compilation error This patch fixes it.
* Use specific error message for direction mismatch.Tristan Gingold2018-04-251-8/+15
| | | | Fix #559
* 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
| | | | Fix #328
* Add 'Image and 'Value for i64.Tristan Gingold2017-01-131-0/+5
| | | | Fix #254
* 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
| | | | Fix #199
* 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
| | | | Fix issue #2.
* 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
| | | | Use ghdl_signal_ptr instead. Fallout of sigptr.
* Pass signal values to interfaces. 'sigptr' optimization.Tristan Gingold2015-12-181-14/+24
| | | | Improve simulation speed by about 20%.
* Suppress stack switching; save process state in secondary stack.Tristan Gingold2015-09-041-3/+10
|
* Replace fat accesses by bounds accessesTristan Gingold2015-08-291-0/+2
| | | | | translate: separate info for signals from object. Improve some error messages.
* Handle to_string for i64 numbers.Tristan Gingold2015-05-201-0/+2
| | | | Fix ticket 76
* Fix translation for context declaration for gcc/llvm.Tristan Gingold2015-05-121-0/+3
| | | | Fix ticket 58.
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-25 12:58:31 +0000