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
fsf-14
why3/plugins
History
Matteo Manighetti 34320b2398 Merge branch 'why3-merge-20230517' into 'master' 
Merge Inria Why3 from May 2023

Issue: eng/spark/spark2014#246

See merge request eng/spark/why3!20
2023-06-22 10:04:06 +00:00
..
ada_terms
(V719-014) Merging Inria/master into SPARK/master
2022-07-19 14:57:03 +02:00
cfg
Fixes of merge commit
2023-05-18 08:58:22 +09:00
gnat_json
Merge branch 'why3-merge-20230517' into 'master'
2023-06-22 10:04:06 +00:00
microc
Update headers.
2023-03-07 09:58:45 +01:00
parser
Update headers.
2023-03-07 09:58:45 +01:00
printer
merge TPTP printer into the tptp plugin
2012-07-05 14:27:53 +02:00
python
Update headers.
2023-03-07 09:58:45 +01:00
tptp
Update headers.
2023-03-07 09:58:45 +01:00
transform
Update headers.
2023-03-07 09:58:45 +01:00