aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Testcase for #261Tristan Gingold2017-01-233-0/+69
* Allow 'subtype and 'base for 'simple_name prefix.Tristan Gingold2017-01-235-81/+112
* WIP: translate size of unbounded records.Tristan Gingold2017-01-235-13/+80
* iirs: add base_element_declaration to record_element_constraint.Tristan Gingold2017-01-233-231/+240
* Add testcase for #258Tristan Gingold2017-01-194-0/+71
* eval_is_in_bound: make it more tolerant.Tristan Gingold2017-01-196-75/+60
* evaluation: work-around gnatgpl 2014 bug.Tristan Gingold2017-01-191-3/+6
* evaluation: handle null array in aggregate_to_simple_aggregateTristan Gingold2017-01-181-1/+1
* Add reproducer for #257Tristan Gingold2017-01-183-0/+54
* evaluation: handle vector minimum and maximum.Tristan Gingold2017-01-182-6/+89
* Add testcase for #259Tristan Gingold2017-01-182-0/+40
* canon: fix thinko for sequential conditional signal assignment.Tristan Gingold2017-01-181-4/+2
* wip for unbounded records.Tristan Gingold2017-01-161-13/+86
* sem_names: finish sem of 'subtype prefix.Tristan Gingold2017-01-161-3/+3
* issue256: Run testcase and testcase2.Tristan Gingold2017-01-163-2/+36
* Reproducer for #256Tristan Gingold2017-01-155-0/+69
* sem_scopes: support signal attributes in entities.Tristan Gingold2017-01-151-1/+2
* canon: handle all signal attributes in canon_extract_sensitivity.Tristan Gingold2017-01-151-10/+2
* vhdl2008: handle 'Subtype as a type name and in disp_vhdlTristan Gingold2017-01-154-8/+25
* Add xref_keyword for PSL keywords that aren't reserved words.Tristan Gingold2017-01-154-2/+43
* disp_vhdl: handle psl default clock in declarative part.Tristan Gingold2017-01-132-56/+63
* Add testcase for #253Tristan Gingold2017-01-133-0/+44
* vhdl08: implement 'subtype attributeTristan Gingold2017-01-1310-74/+201
* Add testcase for #254Tristan Gingold2017-01-133-0/+46
* Add 'Image and 'Value for i64.Tristan Gingold2017-01-134-14/+24
* vhdl08: allow PSL default clock declaration in block declarative parts.Tristan Gingold2017-01-138-85/+131
* WIP for unconstrained records.Tristan Gingold2017-01-133-15/+36
* Handle PSL next_event.Tristan Gingold2017-01-131-21/+46
* Remove useless conversion.Tristan Gingold2017-01-131-1/+1
* Merge pull request #251 from thomashk0/issue228tgingold2017-01-063-2/+80
|\
| * removing PSL coverage hit default reportThomas Hiscock2017-01-053-2/+80
|/
* translate: WIP - refactoring for unbounded records.Tristan Gingold2017-01-026-114/+178
* iirs_utils: reimplement Are_Bounds_Locally_Static.Tristan Gingold2017-01-024-49/+81
* translate: remove unused align_var variable.Tristan Gingold2017-01-022-19/+1
* translate: WIP for unbounded records.Tristan Gingold2017-01-025-29/+110
* iirs: renames Iir_Kinds_Scalar_Type_DefinitionTristan Gingold2017-01-0213-52/+64
* translate: refactoring for unbounded types.Tristan Gingold2017-01-021-38/+56
* translate: rename get_array_base to get_composite_baseTristan Gingold2017-01-0210-74/+76
* translate: remove unused fields.Tristan Gingold2016-12-301-9/+3
* translate: refactoring for ortho_info_type.Tristan Gingold2016-12-3014-294/+319
* ieee: recognize ieee.numeric_std.Tristan Gingold2016-12-3012-41/+407
* ieee-std_logic_1164: save literals 0 and 1.Tristan Gingold2016-12-302-0/+22
* travis-ci: tentatively fix llvm-3.5 buildTristan Gingold2016-12-291-4/+8
* ieee-std_logic_1164.ads: declare position of std_ulogic literals.Tristan Gingold2016-12-291-0/+11
* evaluation: create sring_utils package.Tristan Gingold2016-12-292-35/+44
* trans: reformatting, add predicate for unbounded types.Tristan Gingold2016-12-293-14/+31
* sem_expr: rework of choices - add an API to sort choices.Tristan Gingold2016-12-292-255/+291
* types: declare uns64.Tristan Gingold2016-12-291-0/+1
* Create algos from the generic heap_sort routine in sem_expr.Tristan Gingold2016-12-292-0/+83
* trans-chap3: constify.Tristan Gingold2016-12-261-5/+3