you don't want to update PTEST_PLUGIN if you have a LIBRARY...

François Bobot authored 2 years ago and Virgile Prevosto committed 2 years ago

         adds a dependency and load a public library

Migrate Db.Interpr out of Db

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

Updates the Changelog for 26.0 (Iron)

Closes #1169

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

[Eva] Octagon: infers relations on the integer conversion of floating-point variables

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

When using a previous call from the memexec cache to interpret a new call, if a
relation from the previous output lead to bottom in the new state, emits a
warning and continues the analysis by ignoring this relation.

[ivette] The icon now works on Linux

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

Improve typing for conditionals inside predicates

Closes e-acsl#203

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

Resolve "[ivette] fix spurious dependency on zmq"

Closes #1187

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

[wp/gui] fix GUI building

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

[Doc] Updates the reference configuration.

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

Add support for labeled function with the label `Here`

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

Resolve "[dune] sign installed executable on macOS / M1"

Closes #1156

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

[kernel] Fixes a typo in -load-module error message.

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

[Scripts] adds bin/frama-c-build-script.sh

Closes #1182

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