95 Commits

Author SHA1 Message Date
QuentinOchem
f9cdda1636 updated wrappers following changes in libadalang 2022-06-25 07:14:38 -04:00
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
3589e5af78 improved block generation to remove empty ones 2021-11-29 15: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
6701e8ec5d implemented transformation from address to in-mode array 2021-05-13 12:11:17 -04:00
QuentinOchem
f2c35e8376 added new transformation 2021-05-11 15:00:16 -04:00
QuentinOchem
079187bbb7 added support for changing types when transforming access parameters 2021-05-02 19:24:44 -04:00
QuentinOchem
0801571bfc Removed two-stages expression evaluations with allocators.
We had an experimental capabilities allowing something like
   child (A or new something ())
to work so that so "A or new someting ()) would first be evaluated on all
child nodes without the allocator as to try to find a match without
allocating, then with the allocator. This ended up only serving very
specific cases - being overall confusing and complicating the code. This
capability is now removed, and the above can be easily refactored into a
more explicit expression:
   child (A) or child (new something ())
2020-09-29 10:43:38 -04:00
QuentinOchem
9d644bd93d documented and cleaned up frames 2020-09-27 18:44:27 -04:00
QuentinOchem
6c2d5d8b9c further documentation and cleanup in expressions 2020-09-25 22:42:29 -04:00
QuentinOchem
0bea20b6cc finalized documentation of runtime spec and corresponding cleanups 2020-09-23 22:05:22 -04:00
QuentinOchem
f180814cdb added support to nested ada packages 2020-09-21 21:19:24 -04:00
Quentin Ochem
23a4523017 Updated tests and runtime to new string semantics (#11) 2020-09-14 21:58:50 -04:00
Quentin Ochem
c3242aa269 Updated ada/wrappers following new string semantics. (#11) 2020-09-14 21:08:06 -04:00
Quentin Ochem
97a1160eb1 Implemented support to p_base_type for #9
This is a partial implementation, requires support to libadalang array to support
the version returning arrays.
Properties were handled as fields. They are now implemented as function. This required
to update various places where properties were used like predicates, and use the
filter function instead.
Filter is fixed, doesn't fail anymore in case of a non-matching prefix in a matching
call, and properly sets 'it' and reset the yield callback when matching the expression.
Regular expressions were possibly interrupting the outer iteration when matching
before generation of values - now fixed.
2020-09-05 23:06:09 -04:00