Virgile

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

Stats

About

Virgile questions

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

Virgile answers

Simple Makefile not taking include path
How to cast the type in functors OCaml
How to copy results of a plugin to another project?
Calling `command -v find` from GNU Makefile
Order of evaluation for short-circuit operators and let in OCaml
Higher-precision options (`slevel` and `partition-history`) in Eva unexpectedly increases alarm count
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