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
23.0
why3/plugins
History
Solène Moreau 74914e7651 (V719-014) Merging Inria/master into SPARK/master 
Change-Id: I2144736b2dbb76966fbe4eae6238a8751799a3d2
Depends-On: I5a522521b64c6e676113695f30625b9618461867
Depends-On: I51bf388c10a7d73401ebb48c7c3c07828da4af12
2022-07-19 14:57:03 +02:00
..
ada_terms
(V719-014) Merging Inria/master into SPARK/master
2022-07-19 14:57:03 +02:00
cfg
MLCFG: allow attributes to the body of a function.
2022-07-06 13:18:28 +02:00
gnat_json
(V719-014) Merging Inria/master into SPARK/master
2022-07-19 14:57:03 +02:00
microc
Resolve "wish: use a multi-line format for source locations"
2022-06-22 18:17:43 +00:00
parser
Resolve "wish: use a multi-line format for source locations"
2022-06-22 18:17:43 +00:00
printer
merge TPTP printer into the tptp plugin
2012-07-05 14:27:53 +02:00
python
Resolve "wish: use a multi-line format for source locations"
2022-06-22 18:17:43 +00:00
tptp
Resolve "wish: use a multi-line format for source locations"
2022-06-22 18:17:43 +00:00
transform
Update headers.
2022-04-26 16:33:42 +02:00