- Dec 08, 2021
-
-
Patrick Baudin authored
-
- Dec 03, 2021
-
-
Patrick Baudin authored
-
Patrick Baudin authored
-
- Oct 06, 2021
-
-
Patrick Baudin authored
-
- Jun 18, 2020
-
-
Virgile Prevosto authored
When loading some state, it may happen that some annotations are found to have been emitted by emitters that are no longer usable. This commit let the kernel adopt them, keeping them available as was the case before refactoring `Annotations.code_annot` to use `Annotations.code_annot_emitter`.
-
- Feb 05, 2019
-
-
Loïc Correnson authored
-
- Jan 25, 2019
-
-
Patrick Baudin authored
-
Patrick Baudin authored
-
- Jan 14, 2019
-
-
Loïc Correnson authored
-
- Dec 12, 2018
-
-
Andre Maroneze authored
-
- Dec 04, 2018
-
-
Andre Maroneze authored
-
- Dec 03, 2018
-
-
Valentin Perrelle authored
- Fix Value/Value#5 - Fix Value/Value#14
-
- Nov 28, 2018
-
-
David Bühler authored
-
Andre Maroneze authored
Some case studies (e.g. dyad) use some ugly casts from fd_set_t which lead to the analysis stopping too early. Changing the representation of fd_set_t should also help it better conform to the standard (since a fd_set_t should be able to hold FD_SETSIZE elements).
-
Andre Maroneze authored
-
- Nov 23, 2018
-
-
Virgile Prevosto authored
[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
-
- Nov 22, 2018
-
-
David Bühler authored
-
- Nov 16, 2018
-
-
Andre Maroneze authored
-
Loïc Correnson authored
-
- Oct 31, 2018
-
-
Virgile Prevosto authored
This is absolutely not a sneaky attempt to relaunch a build (now that OCI seems in better shape) pushing a nearly empty commit.
-