Skip to content
Snippets Groups Projects
Commit 28126fee authored by Julien Signoles's avatar Julien Signoles
Browse files

update TODO

parent 7be21989
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
src/plugins/e-acsl/TODO
+ 4
− 0
View file @ 28126fee
...@@ -12,6 +12,8 @@ ...@@ -12,6 +12,8 @@
- [David Mentré] tset - [David Mentré] tset
- [Guillaume] voir les valeurs quand la spec échoue, voir Boogaloo@RV'13 à ce - [Guillaume] voir les valeurs quand la spec échoue, voir Boogaloo@RV'13 à ce
sujet sujet
- [Tout le monde] scripts de compilation du programme généré
- [Enseignement] assigns
===== =====
- Voir avec Guillaume et Nikolaï ce dont ils ont besoin comme API pour faire - Voir avec Guillaume et Nikolaï ce dont ils ont besoin comme API pour faire
...@@ -102,3 +104,5 @@ function call ...@@ -102,3 +104,5 @@ function call
- inclure exemple du E-ACSL User Manual - inclure exemple du E-ACSL User Manual
- inclure exemple du E-ACSL Tutorial - inclure exemple du E-ACSL Tutorial
- currently, tests require a non-free version of Frama-C (built-ins Value) - currently, tests require a non-free version of Frama-C (built-ins Value)
- [Guillaume] tests de non-régression de temps d'exécution (+ conso mémoire)
pour voir les dégradations/gains de performance.
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