Select Git revision
Search by author
- Any Author
- authors
-
Allan Blanchard
blanchard
-
Amine Nasri anasri
-
Andre Maroneze
maroneze
-
Armand Puccetti puccetti
-
Augustin Lemesle alemesle
-
Augustin PERRIN aperrin
-
Aymeric Varasse
varasse
-
Basile Desloges
bdesloges
-
Benjamin Jorge jorge
-
Bernard Botella botella
-
Boris Yakobowski
byako
-
Cécile Ruet-Cros cruetcros
-
Charles Babu M charlesm
-
Christophe Junke
cjunke
-
David Bühler buhler
-
David Feliot dfeliot
-
Dorian Lesbre
dlesbre
-
Fabio ALVES falves
-
Florent Kirchner kirchner
-
Frama-CI frama-ci
- Jul 12, 2017
-
-
Andre Maroneze authored
-
- Jul 10, 2017
-
-
François Bobot authored
-
- Jun 01, 2017
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
allows `make check-header` to succeed when E-ACSL is compiled in internal mode
-
- May 16, 2017
-
-
Virgile Prevosto authored
synchronize with frama-c/frama-c!1324 See merge request !149
-
Andre Maroneze authored
-
- Apr 26, 2017
-
-
Virgile Prevosto authored
synchronize with frama-c/frama-c!1243 See merge request !148
-
-
- Apr 21, 2017
-
-
Virgile Prevosto authored
-
Julien Signoles authoredremove generated file from git repository See merge request !147
-
Virgile Prevosto authored
-
Virgile Prevosto authored
use printf instead of echo for portability See merge request !146
-
Julien Signoles authored
-
Julien Signoles authored
manuals take Frama-C's version number for an internal release See merge request !144
-
Julien Signoles authored
fixes install target when manuals have been generated See merge request !145
-
Andre Maroneze authored
-
- Apr 20, 2017
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
create manuals dir if it does not exist See merge request !143
-
Virgile Prevosto authored
-
- Apr 19, 2017
-
-
Virgile Prevosto authored
[makefile] use appropriate prefix to refer to source files See merge request !141
-
- Apr 14, 2017
-
-
Virgile Prevosto authored
current dir might not be E-ACSL's main dir. For instance when the plug-in is included in the main distribution
😠 -
Virgile Prevosto authored
-
Virgile Prevosto authored
Remove manuals and full implementation of GMP See merge request !140
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
- Disable on non-POSIX OSes - Disable on anything that is not Linux or some BSD variant (excluding Darwin) - Do not run extra checks if plug-in disabled
-
-
Boris Yakobowski authored
License 2017 See merge request !138
-
- Apr 13, 2017
-
-
Virgile Prevosto authored
Temp See merge request !139
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
a plugin in the standard distribution must have `PLUGIN_DISTRIBUTED` set to `yes`
😢
-
- Apr 12, 2017
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Integration within main distribution might work at some non-so-far-way point in the future after all.
-
Virgile Prevosto authored
-
Virgile Prevosto authored
handling of transient blocks See merge request !126
-
Virgile Prevosto authored
-
