Public | Automated Build

Last pushed: 6 months ago
Short Description
frama-c + why3 + coq + cvc3 + cvc4 + z3
Full Description

Current version:

  • Frama-C (Silicon-20161101)
  • Why3 (0.87.3) with
    • Alt-Ergo (1.30)
    • CVC3 (2.4.1)
    • CVC4 (1.5-prerelease)
    • Coq (8.6)
    • Z3 (4.4.1)
    • Z3 (4.4.1 noBV)

To use, e.g.:

docker run --rm -v $(pwd):/home/opam/work okuisatoshi/frama-c frama-c -wp work/yourfile.c
Docker Pull Command
Owner
okuisatoshi
Source Repository

Comments (0)