- 22 Jun, 2022 1 commit
-
-
François Bobot authored
-
- 21 Jun, 2022 1 commit
-
-
François Bobot authored
-
- 13 Jun, 2022 3 commits
-
-
David Bühler authored
[Eva] Changes the opening comment of the not so experimental Results interface. See merge request frama-c/frama-c!3793
-
David Bühler authored
-
François Bobot authored
Fix E-ACSL header date See merge request frama-c/frama-c!3789
-
- 10 Jun, 2022 1 commit
-
-
Allan Blanchard authored
-
- 09 Jun, 2022 3 commits
-
-
Virgile Prevosto authored
[e-acsl] fix error with recent GCCs in dev config See merge request frama-c/frama-c!3783
-
Andre Maroneze authored
-
Virgile Prevosto authored
restore coherence checks between API documentation and development guide See merge request frama-c/frama-c!3479
-
- 08 Jun, 2022 1 commit
-
-
- 03 Jun, 2022 1 commit
-
-
Virgile Prevosto authored
[Variadic] avoid musl-related test differences See merge request frama-c/frama-c!3769
-
- 02 Jun, 2022 29 commits
-
-
François Bobot authored
[gui] Fixes a crash on the error dialog. See merge request frama-c/frama-c!3767
-
François Bobot authored
[e-acsl] add quantification over enum types See merge request frama-c/frama-c!3757
-
François Bobot authored
[e-acsl] Bugfix: register data in the presence of RTE See merge request frama-c/frama-c!3668
-
Virgile Prevosto authored
avoid test differences in some ARM64 configurations See merge request frama-c/frama-c!3768
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Blindly accept all changes in doc and type of plugin-dev-guide-labelled values since last time `make check-dev-guide` was successfully launched
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
the lexer and parser are broken beyond repair
-
Virgile Prevosto authored
references to constructors of sum type were not correctly taken into account
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
More specifically, preserve the underlying type name when analyzing type constructors. Otherwise, correspondance with LaTeX index is lost.
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Also do not forget to copy oracle in the `generated` directory
-
Virgile Prevosto authored
- clean up plugin files generated into lib/plugins after each run - do not compile in dev mode (tutorial is not targeting a Frama-C dev env) - ask ptests to abort in case of error, to make errors more visible
-
Virgile Prevosto authored
Actually tutorial in devman is not completely internal but uses bin/frama-c
-
Virgile Prevosto authored
Having relative directories in the PATH is rarely a good idea. Moreover, if the PATH is set as part of the sub-make command, it does not seem to always be given to the `$(shell ...)` command. It is thus more robust to set it explicitely _before_ launching the sub-`$(MAKE)`
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
- making the dev guide (and especially its checks over the tutorial code) should be done against up-to-date frama-c binaries. - `Boot` module is referenced in the index of devman, it ought to be present in the API documentation
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-