GitLab

Thanks to madroach for spotting the issue and providing a patch.

Allan Blanchard authored Feb 27, 2019 and Julien Signoles committed Aug 02, 2019

[Kernel] Deprecates Cil.visitor_behavior and associated functions, moved to Visitors/visitor_behavior

       because always true now

Exclude hidden files to avoid mysterious "missing separator" errors if there
are any .ml files starting with '.#' (e. g. lock files created by Emacs).

Removes state_partitioning.mli.
Since there is only one implementation of state_partitioning signature, there is
no need to keep this separate file.

This module type simplifies the signature of functors using evaluation
functions.

Thanks to Mehdi Dogguy for pointing the issue and suggesting the patch,
applied to the Debian Frama-C package.

Moves the functions set_font and set_monospace from pango_compat into wutil,
as they are independant of the lablgtk version.

also fixes list of `.ml` files in test directories belonging to the kernel

(blind make headers from specifications)