Johannes Kanig e6c44bb771 Follow AST change in gnat2why

2025-11-12 10:48:43 +00:00

..

ada_terms

Clean up compiler warnings

2025-04-07 11:25:36 +02:00

cfg

Merge 1.8.2 into AdaCore master

2025-10-14 10:32:03 +09:00

coma

update headers

2025-06-04 10:51:30 +02:00

gnat_json

Follow AST change in gnat2why

2025-11-12 10:48:43 +00:00

microc

update headers

2025-06-04 10:51:30 +02:00

parser

update headers

2025-06-04 10:51:30 +02:00

printer

merge TPTP printer into the tptp plugin

2012-07-05 14:27:53 +02:00

python

update headers

2025-06-04 10:51:30 +02:00

strategies

update headers

2025-06-04 10:51:30 +02:00

tptp

update headers

2025-06-04 10:51:30 +02:00

transform

update headers

2025-06-04 10:51:30 +02:00