Virgile

Virgile has asked 2 questions and find answers to 36 problems.

Stats

About

Virgile questions

Ambiguous guarded pattern
Generating compilation database for a single target with cmake

Virgile answers

Satisfying Proof Obligations for memcpy? [Frama-C]
How to find all exception-causing functions in OCaml sources
Frama-c WP and preconditions
Frama-C unbound module Z build error
Trie data structure in OCaml
install Frama-C on Mac OS X
User Error: Prover 'alt-ergo' not found in why3.conf
Proofs for code that relies on unsigned integer overflow?
How to link .cma files to my own Frama_C plugin?
What is the meaning and purpose of "after" column in Frama-C EVA plugin