Virgile

Virgile has asked 1 questions and find answers to 33 problems.

Stats

About

Virgile questions

Generating compilation database for a single target with cmake

Virgile answers

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
How to prove the functionality of a C stringCompare function with Frama-C?
Shorthand for constructor function
prefixing make output with target name - like ant does