Also take a Hptmap_sig.cache_type argument instead of ~name and ~temporary.
This is consistent with all other cached functions in hptmap.

[alias] take into account global variable definitions

See merge request frama-c/frama-c!4727

[lib] fix Json printer for N.

See merge request frama-c/frama-c!4904

[kernel] Fix typing of types in builtins

Closes #1482

See merge request frama-c/frama-c!4902

The builtins `__builtin_types_compatible_p` and `__builtin_va_arg` need
a type as argument. Frama-C converts them to an expression to be able to
type the builtin call.

This commit change the conversion in `cparser.mly` from a sizeof on the
type to a cast with a marker indicating from which builtin the argument
is coming from. This allows `cabs2cil` to type this expression
differently than a regular cast or sizeof.

[Dev] add Cram tests to 'make default-tests' and generalize nix cram testing

See merge request frama-c/frama-c!4897

[scripts] Remove unexisting git hashes in git-replace.sh

See merge request frama-c/frama-c!4885

[doc] Fix few odoc warnings

See merge request frama-c/frama-c!4889

[Ivette] added doc Callgraph + added color in markdown iconTag + added markdown ledTag

See merge request frama-c/frama-c!4873

[nix] update commit

See merge request frama-c/frama-c!4894

- upgrade camlp5 to 8.03.01 (OCaml 5.3 compatibility)
- upgrade mlmpfr + patch 5.3 (Werror in Nix)
- downgrade dolmen (Alt-Ergo)
- upgrade ppxlib_jane (Alt-Ergo)
- upgrade ppxlib (OCaml 5.3 compatibility)

[tests] use basic regex for filtering

See merge request frama-c/frama-c!4898

[Kernel] Generic monad interface

See merge request frama-c/frama-c!4821

[alias] remove deprecated functions; use more doc-friendly syntax in comments

See merge request frama-c/frama-c!4888

[kernel] Log: at the end of Frama-C execution, re-print deferred error (if any).

See merge request frama-c/frama-c!4876

David Bühler authored 2 months ago and Andre Maroneze committed 1 month ago

Added title to sidebars

See merge request frama-c/frama-c!4896