ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
26.0
why3/plugins
History
Martin Clochard d29be55424 Clean up compiler warnings 
Change-Id: Ibf6a012ed61635ea324cbabee05cadb72e143baf
2025-04-07 11:25:36 +02:00
..
ada_terms
Clean up compiler warnings
2025-04-07 11:25:36 +02:00
cfg
Merge remote-tracking branch 'why3-inria/move_concrete_terms_out_of_parser' into why3-devel
2025-03-25 17:55:52 +01:00
coma
Update copyright years.
2024-12-07 09:01:55 +01:00
gnat_json
Clean up compiler warnings
2025-04-07 11:25:36 +02:00
microc
Update copyright years.
2024-12-07 09:01:55 +01:00
parser
Update copyright years.
2024-12-07 09:01:55 +01:00
printer
merge TPTP printer into the tptp plugin
2012-07-05 14:27:53 +02:00
python
Update copyright years.
2024-12-07 09:01:55 +01:00
strategies
Update copyright years.
2024-12-07 09:01:55 +01:00
tptp
Update copyright years.
2024-12-07 09:01:55 +01:00
transform
Update copyright years.
2024-12-07 09:01:55 +01:00