QuentinOchem
3db9adbb8e
added transformation to set SPARK mode
2022-03-09 15:25:41 -05:00
QuentinOchem
dc2c8444d9
Fixed "access_to_out" transformation and function pointers.
2022-03-08 16:22:29 -05:00
QuentinOchem
ca6f93f075
Merge pull request #39 from AdaCore/wrap_init
...
fixed variable and constant wrapping - now using renames
2022-03-07 10:31:41 -05:00
QuentinOchem
0038546d8e
fixed variable and constant wrapping - now using renames
2022-03-04 14:49:43 -05:00
QuentinOchem
9a51da29c7
added support for null component records in variants
2022-03-04 14:19:24 -05:00
QuentinOchem
890a701e7a
Union support ( #36 )
...
* added support for unchecked_unions, V208-021
2022-02-16 12:29:18 -05:00
QuentinOchem
c5cde6ffcc
Added unchecked union support ( #35 )
...
* added support for unchecked_unions, V208-021
2022-02-14 14:06:39 -05:00
QuentinOchem
4f5d2c3391
fixed full name in return type local
2021-11-30 09:21:17 -05:00
QuentinOchem
e1338bf6b1
fixed bindings to arrays of accesses
2021-11-23 16:49:03 -05:00
QuentinOchem
911c4b46b9
fixed access to subprogram with local types
2021-11-23 16:28:15 -05:00
QuentinOchem
b37a164d22
added full qualification of local variables
2021-11-23 10:37:59 -05:00
QuentinOchem
182884f6c3
Fixed issues identified with new fdump-ada-specs generator.
2021-11-23 09:49:01 -05:00
QuentinOchem
39d91c76a1
fix following changes in fdump-ada-spec
2021-11-13 16:02:42 +01:00
QuentinOchem
6701e8ec5d
implemented transformation from address to in-mode array
2021-05-13 12:11:17 -04:00
QuentinOchem
d53fcaf588
Added test for TA05-016.
2021-01-13 09:30:20 -05:00
QuentinOchem
f283d83d2e
Fixed bugs with function prefixing filters.
...
In Handle_Filter, we were switching non Match_None match modes to
Match_Has, while forgetting to keep the previous value otherwise, resulting
in uninitialized data. Now fixed.
In Push_Call_Result of a W_Function, the iteration decision was dismissed
and not transmitted to the parent frame. Moved the transmission after
poping the calling frame.
Tests and fixes TA02-001.
2020-10-09 12:12:26 +02:00
QuentinOchem
589c21d05c
Added comments for array property test (T930-056)
2020-10-05 09:18:21 -04:00
QuentinOchem
cbbbc430bc
Added test for properties returning arrays (T930-056).
2020-10-05 09:18:21 -04:00
QuentinOchem
421a567784
added tutorial tests (and fixed c_strings)
2020-09-29 15:51:59 -04:00
QuentinOchem
cdca1854a2
removed file added by mistake
2020-09-27 18:46:33 -04:00
QuentinOchem
074297778a
Further cleanup and documentation for expressions.
...
One of these cleanup turned out to be the behavior of allocators in the
context of calls that are generating all values, e.g. in:
child (new (something ())).all ()
Turns out there's no reason to forbid this, the natural semantic is that a
new object will be created for all child of the current it.
2020-09-27 15:43:36 -04:00
QuentinOchem
087d442ce0
making progress with expression cleanup and documentation
2020-09-26 22:08:33 -04:00
QuentinOchem
6c2d5d8b9c
further documentation and cleanup in expressions
2020-09-25 22:42:29 -04:00
QuentinOchem
c3f1b696a3
finalized documentation and cleanuip of commands
2020-09-25 14:09:51 -04:00
QuentinOchem
0bea20b6cc
finalized documentation of runtime spec and corresponding cleanups
2020-09-23 22:05:22 -04:00
