[dome] fixed synchronized array API

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

[ivette] Allows selecting multiple locations at once

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

[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

- Always display all selections, even when a single one.
- Remove toolbar and use titlebar instead.
- Change icon positioning, and use trash icon to clear locations.

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