issues
search
AdaCore
/
uwrap
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix link to tutorial in README.md
#45
mgrojo
closed
1 year ago
2
updated wrappers following changes in libadalang
#44
QuentinOchem
closed
2 years ago
0
removing unused Token_Identifier
#43
leogermond
closed
2 years ago
1
fixed null node errors
#42
QuentinOchem
closed
2 years ago
0
added transformation to set SPARK mode
#41
QuentinOchem
closed
2 years ago
0
Fixed "access_to_out" transformation and function pointers.
#40
QuentinOchem
closed
2 years ago
0
fixed variable and constant wrapping - now using renames
#39
QuentinOchem
closed
2 years ago
0
now ignore clanformat file
#38
QuentinOchem
closed
2 years ago
0
added support for null component records in variants
#37
QuentinOchem
closed
2 years ago
0
Union support
#36
QuentinOchem
closed
2 years ago
0
Added unchecked union support
#35
QuentinOchem
closed
2 years ago
1
uwrap.gpr: remove -gnatp flag
#34
glacambre
closed
2 years ago
1
fix issue with executable location
#33
QuentinOchem
closed
2 years ago
0
improved error message
#32
QuentinOchem
closed
2 years ago
0
Path in error
#31
QuentinOchem
closed
2 years ago
0
fixed full name in return type local
#30
QuentinOchem
closed
2 years ago
0
improved block generation to remove empty ones
#29
QuentinOchem
closed
2 years ago
0
fixed bindings to arrays of accesses
#28
QuentinOchem
closed
2 years ago
0
fixed access to subprogram with local types
#27
QuentinOchem
closed
2 years ago
0
Full names in locals
#26
QuentinOchem
closed
2 years ago
0
New fdump fixes
#25
QuentinOchem
closed
2 years ago
0
fix following changes in fdump-ada-spec
#24
QuentinOchem
closed
2 years ago
0
Compile fix
#23
QuentinOchem
closed
3 years ago
0
updated to latest langkit interface
#22
QuentinOchem
closed
3 years ago
1
U118-054: Adapt to langkit's introspection API changes
#21
raph-amiard
closed
3 years ago
0
Fix 'build' in lang_test/Makefile
#20
tromey
closed
3 years ago
1
Two minor fixes
#19
tromey
closed
3 years ago
0
[RFC] change prefix syntax for fold () and filter ()
#18
QuentinOchem
opened
4 years ago
1
SA28-035: Adapt to Libadalang/Langkit API changes
#17
raph-amiard
closed
3 years ago
0
Replace crashes by proper error diagnostic
#16
QuentinOchem
closed
3 years ago
0
Fixing bugs with functions prefixing filters
#15
QuentinOchem
closed
4 years ago
1
Fixed bugs with function prefixing filters.
#14
QuentinOchem
closed
4 years ago
0
Implemented wider support for Ada properties and container iteration.
#13
QuentinOchem
closed
4 years ago
0
Buffer col
#12
QuentinOchem
closed
4 years ago
0
Experiment with pretty printing
#11
QuentinOchem
closed
4 years ago
0
Generalize tolerance for missing prefixes in selectors when matching.
#10
QuentinOchem
opened
4 years ago
0
Add support for p_base_types
#9
QuentinOchem
closed
4 years ago
0
Use symbol instead of string for idendifiers
#8
QuentinOchem
opened
4 years ago
0
Allocate frame and frame_context on the stack instead of the heap.
#7
QuentinOchem
opened
4 years ago
0
Use custom and simpler container for stack based operations
#6
QuentinOchem
opened
4 years ago
0
Document the analysis/eval pipeline
#5
raph-amiard
closed
4 years ago
2
Add checking when runtime is not found
#4
raph-amiard
closed
4 years ago
0
Activate & fix style warnings
#3
raph-amiard
closed
4 years ago
0
Adding style checks/warnings
#2
raph-amiard
closed
4 years ago
1
Topic/minor fixes
#1
raph-amiard
closed
4 years ago
0