| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
|
|
|
|
| |
In case of array aggregate whose element subtype is not bounded, extract it from
the aggregate elements.
Fix #1055
Fix #1455
|
| |
|
|
|
|
|
| |
Avoid considering expression to be possibly of the type of the aggregate
if the choice is an expression.
|
|
|
|
| |
Fix #1823
|
| |
|
|
|
|
| |
Fix #1820
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
A type interface also implicitly declares equality and inequality
operators for the type. Adjust Add_Declaration_From_Interface_Chain
so that these operators are visible
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Fix handling of multiple files by cli/DOM.py
|
|
|
|
| |
So that it can be extracted.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
Finish counter corresponds to legacy count.
Start counter corresponds to number of times start
state is left (assertion is triggered).
|
| |
|