aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* vhdl08: check new 08 restrictions for file types.Tristan Gingold2016-12-262-18/+42
* translate: add unbounded records type_mode (WIP)Tristan Gingold2016-12-266-56/+80
* appveyor: do not deploy, but create artifacts. Fix llvm buildTristan Gingold2016-12-243-13/+18
* Use CXX in makefiles and configures to design the c++ compiler.Tristan Gingold2016-12-245-13/+14
* trans-chap7: workaround compiler bug.Tristan Gingold2016-12-241-0/+6
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-16 02:14:01 +0000