Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | wip for unbounded records. | Tristan Gingold | 2017-01-16 | 1 | -13/+86 |
| | |||||
* | sem_names: finish sem of 'subtype prefix. | Tristan Gingold | 2017-01-16 | 1 | -3/+3 |
| | |||||
* | sem_scopes: support signal attributes in entities. | Tristan Gingold | 2017-01-15 | 1 | -1/+2 |
| | | | | For #256 | ||||
* | canon: handle all signal attributes in canon_extract_sensitivity. | Tristan Gingold | 2017-01-15 | 1 | -10/+2 |
| | | | | For #256 | ||||
* | vhdl2008: handle 'Subtype as a type name and in disp_vhdl | Tristan Gingold | 2017-01-15 | 4 | -8/+25 |
| | |||||
* | Add xref_keyword for PSL keywords that aren't reserved words. | Tristan Gingold | 2017-01-15 | 3 | -1/+31 |
| | |||||
* | disp_vhdl: handle psl default clock in declarative part. | Tristan Gingold | 2017-01-13 | 2 | -56/+63 |
| | |||||
* | vhdl08: implement 'subtype attribute | Tristan Gingold | 2017-01-13 | 8 | -70/+189 |
| | | | | Fix #253 | ||||
* | Add 'Image and 'Value for i64. | Tristan Gingold | 2017-01-13 | 3 | -14/+20 |
| | | | | Fix #254 | ||||
* | vhdl08: allow PSL default clock declaration in block declarative parts. | Tristan Gingold | 2017-01-13 | 8 | -85/+131 |
| | |||||
* | WIP for unconstrained records. | Tristan Gingold | 2017-01-13 | 3 | -15/+36 |
| | |||||
* | Handle PSL next_event. | Tristan Gingold | 2017-01-13 | 1 | -21/+46 |
| | | | | For #252 | ||||
* | Remove useless conversion. | Tristan Gingold | 2017-01-13 | 1 | -1/+1 |
| | | | | Fix #249 | ||||
* | 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: WIP - refactoring for unbounded records. | Tristan Gingold | 2017-01-02 | 6 | -114/+178 |
| | |||||
* | iirs_utils: reimplement Are_Bounds_Locally_Static. | Tristan Gingold | 2017-01-02 | 4 | -49/+81 |
| | |||||
* | translate: remove unused align_var variable. | Tristan Gingold | 2017-01-02 | 2 | -19/+1 |
| | |||||
* | translate: WIP for unbounded records. | Tristan Gingold | 2017-01-02 | 5 | -29/+110 |
| | |||||
* | iirs: renames Iir_Kinds_Scalar_Type_Definition | Tristan Gingold | 2017-01-02 | 13 | -52/+64 |
| | |||||
* | translate: refactoring for unbounded types. | Tristan Gingold | 2017-01-02 | 1 | -38/+56 |
| | |||||
* | translate: rename get_array_base to get_composite_base | Tristan Gingold | 2017-01-02 | 10 | -74/+76 |
| | |||||
* | translate: remove unused fields. | Tristan Gingold | 2016-12-30 | 1 | -9/+3 |
| | |||||
* | translate: refactoring for ortho_info_type. | Tristan Gingold | 2016-12-30 | 14 | -294/+319 |
| | |||||
* | ieee: recognize ieee.numeric_std. | Tristan Gingold | 2016-12-30 | 10 | -37/+391 |
| | |||||
* | ieee-std_logic_1164: save literals 0 and 1. | Tristan Gingold | 2016-12-30 | 2 | -0/+22 |
| | |||||
* | ieee-std_logic_1164.ads: declare position of std_ulogic literals. | Tristan Gingold | 2016-12-29 | 1 | -0/+11 |
| | |||||
* | evaluation: create sring_utils package. | Tristan Gingold | 2016-12-29 | 2 | -35/+44 |
| | |||||
* | trans: reformatting, add predicate for unbounded types. | Tristan Gingold | 2016-12-29 | 3 | -14/+31 |
| | |||||
* | sem_expr: rework of choices - add an API to sort choices. | Tristan Gingold | 2016-12-29 | 2 | -255/+291 |
| | |||||
* | trans-chap3: constify. | Tristan Gingold | 2016-12-26 | 1 | -5/+3 |
| | |||||
* | vhdl08: check new 08 restrictions for file types. | Tristan Gingold | 2016-12-26 | 2 | -18/+42 |
| | |||||
* | translate: add unbounded records type_mode (WIP) | Tristan Gingold | 2016-12-26 | 6 | -56/+80 |
| | |||||
* | trans-chap7: workaround compiler bug. | Tristan Gingold | 2016-12-24 | 1 | -0/+6 |
| | |||||
* | Fixes for nodes_gc | Tristan Gingold | 2016-12-24 | 6 | -253/+286 |
| | |||||
* | vhdl08: add port association rules. | Tristan Gingold | 2016-12-23 | 1 | -28/+60 |
| | | | | Fix #233 | ||||
* | Build all Static_Construct aggregate statically. | Tristan Gingold | 2016-12-23 | 6 | -133/+204 |
| | |||||
* | trans-chap8: adjust to handle non statically built static aggregate. | Tristan Gingold | 2016-12-22 | 1 | -5/+5 |
| | |||||
* | Improve error message for #243 | Tristan Gingold | 2016-12-22 | 1 | -0/+20 |
| | |||||
* | Don't evaluate qualified aggregate. | Tristan Gingold | 2016-12-22 | 1 | -1/+2 |
| | | | | Temporary fix #242 | ||||
* | evaluation: handle multiple choices. | Tristan Gingold | 2016-12-21 | 1 | -5/+17 |
| | | | | Fix #241 | ||||
* | evaluation: tune evaluation of composite values. | Tristan Gingold | 2016-12-20 | 4 | -5/+152 |
| | |||||
* | Remove Get/Set_Value_Staticness, add Get/Set_Aggregate_Expand_Flag | Tristan Gingold | 2016-12-20 | 8 | -93/+128 |
| | |||||
* | sem_psl: evaluate condition of normal assertion statement. | Tristan Gingold | 2016-12-19 | 1 | -0/+2 |
| | |||||
* | Evaluation: handle array aggregate and indexed names. | Tristan Gingold | 2016-12-19 | 5 | -66/+350 |
| | | | | Fix #216 | ||||
* | iirs: reorder Iir_Kind_Choice_*, add Get_Literal_Origin for aggregate. | Tristan Gingold | 2016-12-18 | 4 | -143/+163 |
| | |||||
* | disp_vhdl: add -do flag to display evaluated expressions. | Tristan Gingold | 2016-12-17 | 1 | -8/+8 |
| | |||||
* | trans-chap8: fix incorrect declare block nesting. | Tristan Gingold | 2016-12-17 | 1 | -0/+2 |
| | |||||
* | vhdl2008: evaluate static record aggregate. | Tristan Gingold | 2016-12-17 | 3 | -22/+72 |
| | | | | Fix #227 | ||||
* | Get_Object_Prefix: Strengthen. | Tristan Gingold | 2016-12-15 | 1 | -5/+86 |
| | |||||
* | assocs: rework conversion. | Tristan Gingold | 2016-12-15 | 3 | -79/+83 |
| | | | | | | | An actual is analyzed as a conversion if the inner expression is an object of the right class. Fix #225 |