Virgile

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

Stats

About

Virgile questions

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

Virgile answers

OCaml functions on uncertain data types
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