Frama-C:
Plug-ins:
Libraries:

Frama-C API - Binary_cache

Very low-level abstract functorial caches. Do not use them unless you understand what happens in this module, and do not forget that those caches are not aware of projects.

val memory_footprint_var_name : string
val cache_size : int

Size of the caches. Controlled by environment variable memory_footprint_var_name.

module type Cacheable = sig ... end
module type Result = sig ... end
module Symmetric_Binary (H : Cacheable) (R : Result) : sig ... end
module Binary_Predicate (H0 : Cacheable) (H1 : Cacheable) : sig ... end
module Symmetric_Binary_Predicate (H0 : Cacheable) : sig ... end
module Arity_One (H : Cacheable) (R : Result) : sig ... end
module Arity_Two (H0 : Cacheable) (H1 : Cacheable) (R : Result) : sig ... end
module Arity_Three (H0 : Cacheable) (H1 : Cacheable) (H2 : Cacheable) (R : Result) : sig ... end