Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | vhdl: renaming in vhdl-canon. | Tristan Gingold | 2020-08-08 | 1 | -1/+1 |
| | |||||
* | translate: minor changes. | Tristan Gingold | 2020-08-04 | 1 | -1/+1 |
| | |||||
* | vhdl: parse and analyze force/release signal assignment statements. | Tristan Gingold | 2020-08-01 | 1 | -0/+1 |
| | | | | For #1416 | ||||
* | ortho: add unbounded records, rework array subtypes. | Tristan Gingold | 2020-07-25 | 1 | -3/+3 |
| | |||||
* | vhdl/translate: rework object type elaboration. For #641 | Tristan Gingold | 2020-06-24 | 1 | -3/+3 |
| | |||||
* | types: introduce Direction_Type, which replaces Iir_Direction. | Tristan Gingold | 2020-04-20 | 1 | -1/+1 |
| | | | | Global renaming. | ||||
* | vhdl: add scalar_size. Size of scalar types is computed during analysis. | Tristan Gingold | 2020-04-06 | 1 | -0/+1 |
| | |||||
* | psl: keep denoting names in the PSL ast. | Tristan Gingold | 2020-03-13 | 1 | -1/+2 |
| | |||||
* | ignore restrict in simulation (#897) | Pepijn de Vos | 2019-08-20 | 1 | -15/+14 |
| | |||||
* | vhdl: remove severity from cover, report and severity from assume. | Tristan Gingold | 2019-08-08 | 1 | -4/+14 |
| | |||||
* | Add support for PSL assumptions, used in formal verification (#880) | Pepijn de Vos | 2019-08-07 | 1 | -8/+21 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | * 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/translate: reindent. | Tristan Gingold | 2019-07-04 | 1 | -1/+1 |
| | |||||
* | vhdl: rename Cover_Statement to Cover_Directive. | Tristan Gingold | 2019-07-04 | 1 | -8/+8 |
| | |||||
* | psl: add psl-types, psl-nodes_priv. | Tristan Gingold | 2019-05-10 | 1 | -0/+1 |
| | |||||
* | vhdl: replace Iir_Int64 by Int64, and Iir_Fp64 by Fp64. | Tristan Gingold | 2019-05-10 | 1 | -2/+2 |
| | |||||
* | Extract psl-errors from errorout. | Tristan Gingold | 2019-05-10 | 1 | -1/+1 |
| | |||||
* | vhdl: extract vhdl.errors from errorout. | Tristan Gingold | 2019-05-08 | 1 | -0/+1 |
| | |||||
* | vhdl: move iirs_utils to vhdl.utils | Tristan Gingold | 2019-05-06 | 1 | -1/+1 |
| | |||||
* | vhdl: move nodes_meta package to vhdl child. | Tristan Gingold | 2019-05-06 | 1 | -2/+2 |
| | |||||
* | vhdl: move ieee packages to vhdl children. | Tristan Gingold | 2019-05-05 | 1 | -2/+2 |
| | |||||
* | vhdl: move std_standard package to vhdl child. | Tristan Gingold | 2019-05-05 | 1 | -1/+1 |
| | |||||
* | vhdl: move canon to a vhdl child package. | Tristan Gingold | 2019-05-05 | 1 | -2/+2 |
| | |||||
* | Remove unused is_ref for choices. Adjust. | Tristan Gingold | 2019-01-02 | 1 | -4/+0 |
| | |||||
* | translate: renaming of Kind_Expr/Get_Ortho_Expr. | Tristan Gingold | 2018-12-11 | 1 | -6/+7 |
| | |||||
* | translate: refactoring. | Tristan Gingold | 2018-11-20 | 1 | -1/+1 |
| | |||||
* | vhdl/translate: improve support of unbounded arrays. | Tristan Gingold | 2018-11-09 | 1 | -2/+2 |
| | |||||
* | trans-chap9: add a guard. | Tristan Gingold | 2018-10-24 | 1 | -0/+9 |
| | | | | Fix #663 | ||||
* | trans: avoid translation of coverage report twice. | Tristan Gingold | 2018-10-23 | 1 | -6/+85 |
| | |||||
* | Rework translation of unbounded and complex types. | Tristan Gingold | 2018-10-21 | 1 | -4/+3 |
| | |||||
* | Add Maybe_Ref_Chain (WIP). | Tristan Gingold | 2018-09-20 | 1 | -0/+4 |
| | |||||
* | Fix warning: use clause for package has no effect | Vicente Bergas | 2018-05-03 | 1 | -3/+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. | ||||
* | translate: handle anonymous types in formal; handle multiple conversions. | Tristan Gingold | 2018-02-18 | 1 | -8/+22 |
| | | | | Fix #530 | ||||
* | Translate; properly separates translation of types from translation of subtypes. | Tristan Gingold | 2018-01-17 | 1 | -19/+23 |
| | |||||
* | sem_inst: fix relocation of instances in instances. | Tristan Gingold | 2017-12-21 | 1 | -0/+1 |
| | |||||
* | Rework list implementation, use iterator. | Tristan Gingold | 2017-11-11 | 1 | -4/+11 |
| | |||||
* | Remove List_Others, cleanup lists. | Tristan Gingold | 2017-11-08 | 1 | -2/+1 |
| | |||||
* | Use Flist for array indexes. | Tristan Gingold | 2017-11-06 | 1 | -0/+31 |
| | |||||
* | Add extended locations (elocations). Still WIP | Tristan Gingold | 2017-10-18 | 1 | -1/+0 |
| | |||||
* | Rename In_Conversion/Out_Conversion to Actual_Conversion/Formal_Conversion. | Tristan Gingold | 2017-09-13 | 1 | -1/+1 |
| | |||||
* | Silent spurious warning. | Tristan Gingold | 2017-06-14 | 1 | -0/+5 |
| | | | | Fix #360 | ||||
* | Translation: separate subprogram translation spec and body. | Tristan Gingold | 2017-05-18 | 1 | -2/+4 |
| | |||||
* | Create default value for ports. | Tristan Gingold | 2017-05-09 | 1 | -201/+276 |
| | | | | Fix #328 | ||||
* | vhdl08: more on unbounded records (WIP) | Tristan Gingold | 2017-02-23 | 1 | -1/+1 |
| | |||||
* | removing PSL coverage hit default report | Thomas Hiscock | 2017-01-05 | 1 | -2/+4 |
| | | | | | | | It closes #228. Nothing is displayed unless the user specifies a report statement. Testcase added to check this behaviour. | ||||
* | translate: rename get_array_base to get_composite_base | Tristan Gingold | 2017-01-02 | 1 | -2/+2 |
| | |||||
* | translate: refactoring for ortho_info_type. | Tristan Gingold | 2016-12-30 | 1 | -12/+12 |
| | |||||
* | ownership: check tree after sem and canon. | Tristan Gingold | 2016-11-05 | 1 | -4/+14 |
| | |||||
* | canon: do not set formal of association by position. | Tristan Gingold | 2016-10-19 | 1 | -14/+21 |
| | |||||
* | iirs: rename base_type to number_base_type to avoid confusion. | Tristan Gingold | 2016-10-13 | 1 | -1/+1 |
| | |||||
* | Rework AST to setup ownership and reference policy. | Tristan Gingold | 2016-10-11 | 1 | -1/+2 |
| | | | | Check it with nodes_gc. |