Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago

provides a skeleton for kf comparison

Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago

a priori, we start from a well-ordered AST, so that not all symbols are
concerned by a possible recursion, but this nevertheless might be the case
for aggregate and function definitions, as well as ACSL types and
functions/predicates.

Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago

modulo implementation of correspondance between expressions

Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago

Mostly a mock-up at this point

[ivette] The Learn More menu item points to the Frama-C website.

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

[wp] Disable a Cint simplifier

Closes #1133

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

Maxime Jacquemin authored 2 years ago and David Bühler committed 2 years ago

As it is supposed to be a general framework, it must not contain direct
references to Frama-C. Now, the 'Learn More' link can be set through an
ipc communication, thus letting the application built over Dome decides.

[ivette] insert command into history

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

- was too aggressive on some use-cases

Update Frama-CI data

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

avoids dune/opam issue mentionned here: https://github.com/ocaml/dune/issues/5455

[Eva] Tail-recursive implementation of the WTO computation.

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

[ivette] Changes default views.

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

[ivette] fix PWD vs. Sys.getcwd pb. from Node

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

Resolve "[ivette] duplicate menu items (APP mode)"

Closes #1127

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

[ivette] Fixes the parsing of the Frama-C command-line on second instances.

Closes #1131

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

[Eva] Do not emit kernel warnings, emit Eva warnings instead

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