Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add testcase for #258 | Tristan Gingold | 2017-01-19 | 4 | -0/+71 |
| | |||||
* | eval_is_in_bound: make it more tolerant. | Tristan Gingold | 2017-01-19 | 6 | -75/+60 |
| | | | | | | Replaces check_implicit_conversion. Fix #258 | ||||
* | evaluation: work-around gnatgpl 2014 bug. | Tristan Gingold | 2017-01-19 | 1 | -3/+6 |
| | |||||
* | evaluation: handle null array in aggregate_to_simple_aggregate | Tristan Gingold | 2017-01-18 | 1 | -1/+1 |
| | |||||
* | Add reproducer for #257 | Tristan Gingold | 2017-01-18 | 3 | -0/+54 |
| | |||||
* | evaluation: handle vector minimum and maximum. | Tristan Gingold | 2017-01-18 | 2 | -6/+89 |
| | | | | Fix #257 | ||||
* | Add testcase for #259 | Tristan Gingold | 2017-01-18 | 2 | -0/+40 |
| | |||||
* | canon: fix thinko for sequential conditional signal assignment. | Tristan Gingold | 2017-01-18 | 1 | -4/+2 |
| | | | | Fix #259 | ||||
* | 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 |
| | |||||
* | issue256: Run testcase and testcase2. | Tristan Gingold | 2017-01-16 | 3 | -2/+36 |
| | |||||
* | Reproducer for #256 | Tristan Gingold | 2017-01-15 | 5 | -0/+69 |
| | |||||
* | 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 | 4 | -2/+43 |
| | |||||
* | disp_vhdl: handle psl default clock in declarative part. | Tristan Gingold | 2017-01-13 | 2 | -56/+63 |
| | |||||
* | Add testcase for #253 | Tristan Gingold | 2017-01-13 | 3 | -0/+44 |
| | |||||
* | vhdl08: implement 'subtype attribute | Tristan Gingold | 2017-01-13 | 10 | -74/+201 |
| | | | | Fix #253 | ||||
* | Add testcase for #254 | Tristan Gingold | 2017-01-13 | 3 | -0/+46 |
| | |||||
* | Add 'Image and 'Value for i64. | Tristan Gingold | 2017-01-13 | 4 | -14/+24 |
| | | | | 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 | ||||
* | Merge pull request #251 from thomashk0/issue228 | tgingold | 2017-01-06 | 3 | -2/+80 |
|\ | | | | | removing PSL coverage hit default report | ||||
| * | removing PSL coverage hit default report | Thomas Hiscock | 2017-01-05 | 3 | -2/+80 |
|/ | | | | | | | 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 | 12 | -41/+407 |
| | |||||
* | ieee-std_logic_1164: save literals 0 and 1. | Tristan Gingold | 2016-12-30 | 2 | -0/+22 |
| | |||||
* | travis-ci: tentatively fix llvm-3.5 build | Tristan Gingold | 2016-12-29 | 1 | -4/+8 |
| | |||||
* | 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 |
| | |||||
* | types: declare uns64. | Tristan Gingold | 2016-12-29 | 1 | -0/+1 |
| | |||||
* | Create algos from the generic heap_sort routine in sem_expr. | Tristan Gingold | 2016-12-29 | 2 | -0/+83 |
| | |||||
* | 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 |
| | |||||
* | appveyor: do not deploy, but create artifacts. Fix llvm build | Tristan Gingold | 2016-12-24 | 3 | -13/+18 |
| | |||||
* | Use CXX in makefiles and configures to design the c++ compiler. | Tristan Gingold | 2016-12-24 | 5 | -13/+14 |
| |