[Libc] add stub for realpath

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

[server] added Jtag for light enums

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

[dome] yarn.lock *is* under revision control

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

[eacsl:codegen] Fix translation of ranges

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

[eacsl:tests] Reactivate and fix dev tests

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

Basile Desloges authored 4 years ago and Julien Signoles committed 4 years ago

The ranges are inclusives, so the number of elements in `[n1 .. n2]` is
`n2 - n1 + 1`.

[eacsl:runtime] Fix tracking of deallocation

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

[eacsl:runtime] Use define values instead of literals

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

[eacsl:runtime] Print expression when failing DASSERT

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

The number of allocated blocks wasn't decremented on deallocation.

[eacsl:runtime] Use define values instead of literals to represent file descriptor number of stdout and stderr

Fix dome array api

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

- Fix `validate_application()` by comparing the result of `strchr` to
`NULL`;
- Fix error messages

[tests] Deactivate Nix's GCC hardening for all frama-c derivations

Closes #710 and e-acsl#67

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

[server] Data: fixes the signature of functors for indexed values.

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

These functors only require a 'kind' string.

[server] Generator API

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