Commit 989a6e4f authored by Andre Maroneze's avatar Andre Maroneze Committed by Julien Signoles
Browse files

update copyright and convert ISO-8859 to UTF-8

parent d43e633b
......@@ -5,11 +5,11 @@
- [Bernard] implement a function e_acsl_trace_behavior(char *bhv_name) {}
which would be called anytime a behavior is activated
- [Yannick] Logic functions
- [Nikolaï] temporal memory properties
- [Nikolaï] temporal memory properties
- memory profiling
- [Guillaume] add the RTE annotations generated by E-ACSL in the Frama-C
annotation table (possibly through a new command line option)
- [David Mentré] support of tset
- [David Mentré] support of tset
- [Guillaume] when a verification fails at runtime, possibility of seeing the
values of each involved left-values (cf Boogaloo@RV'13).
- [Everyone] provide the compilation scripts of the generated program
......
......@@ -26,7 +26,7 @@ CEA LIST, Software Safety Laboratory, Saclay, F-91191 \\
\end{tabular}
\vfill
\begin{flushleft}
\textcopyright 2013-2016 CEA LIST
\textcopyright 2013-2017 CEA LIST
%%
%% This work has been supported by the `Hi-Lite' FUI project (FUI AAP 9).
\end{flushleft}
......
......@@ -29,7 +29,7 @@
(see module {!Interval.Env}).
It implement Figure 3 of J. Signoles' JFLA'15 paper "Rester statique pour
devenir plus rapide, plus précis et plus mince".
devenir plus rapide, plus précis et plus mince".
Example: consider a variable [x] of type [int] on a (strange) architecture
in which values of type [int] belongs to the interval \[-128;127\] and a
......
This file is part of the Frama-C's E-ACSL plug-in.
Copyright (C) 2012-2016
CEA (Commissariat à l'énergie atomique et aux énergies
Copyright (C) 2012-2017
CEA (Commissariat à l'énergie atomique et aux énergies
alternatives)
you can redistribute it and/or modify it under the terms of the GNU
......
......@@ -2,7 +2,7 @@
# #
# This file is part of the Frama-C's E-ACSL plug-in. #
# #
# Copyright (C) 2012-2016 #
# Copyright (C) 2012-2017 #
# CEA (Commissariat l'nergie atomique et aux nergies #
# alternatives) #
# #
......
......@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
/* Copyright (C) 2012-2015 */
/* Copyright (C) 2012-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
......@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
/* Copyright (C) 2012-2015 */
/* Copyright (C) 2012-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
......@@ -23,7 +23,7 @@
open Cil_types
(* Implement Figure 4 of J. Signoles' JFLA'15 paper "Rester statique pour
devenir plus rapide, plus précis et plus mince". *)
devenir plus rapide, plus précis et plus mince". *)
let dkey = Options.dkey_typing
......
......@@ -25,7 +25,7 @@
required casts. It is based on interval inference of module {!Interval}.
It implement Figure 4 of J. Signoles' JFLA'15 paper "Rester statique pour
devenir plus rapide, plus précis et plus mince".
devenir plus rapide, plus précis et plus mince".
Example: consider a variable [x] of type [int] and a variable [y] of type
char on a (strange) architecture in which values of type [int] belongs to
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment