MARCHE Claude 3718457464 Merge branch 'dreal' into 'master' ...

Support for dreal prover

See merge request why3/why3!749

2022-11-17 15:24:52 +00:00

..

coq

Updated realizations

2022-10-26 16:40:53 +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

Disable custom logic for Seq as it is part of OCaml >= 4.07.

2022-10-19 10:16:49 +02:00

why3-call-pvs

Support realizations compiled afterward (fixes issue #75).

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