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

..

coq

(V719-014) Merging Inria/master into SPARK/master

2022-07-19 14:57:03 +02:00

isabelle

Merge branch 'support-isabelle-2021-1' into 'master'

2022-03-24 17:32:33 +00:00

pvs

Add missing files.

2018-03-22 18:41:39 +01:00

why3

Version 1.4.1

2022-02-18 09:28:19 +01:00

why3-call-pvs

Support realizations compiled afterward (fixes issue #75).

2018-03-22 18:31:26 +01:00