diff --git a/.gitignore b/.gitignore index 21fc555..d78b817 100644 --- a/.gitignore +++ b/.gitignore @@ -18,8 +18,12 @@ _build *.c *.h *.o +*.java +*.class +*.log *. *.epci *.epo *.dot -test/*.ml \ No newline at end of file +test/*.ml +test/_check_builds diff --git a/todo.txt b/todo.txt index a8e0378..ba66f3b 100644 --- a/todo.txt +++ b/todo.txt @@ -13,4 +13,4 @@ Plus ou moins ordonné du plus urgent au moins urgent. *- Permettre la définition de constantes locales. -*- Optimiser le reset en utilisant un memcopy ? +*- Optimiser le reset en utilisant un memcopy ? ou autre chose ?