- pull (l'actuel du gras_stub deploy et qui dépend de wget, pas grave
pour l'instant)
- renomer gras-remote-worker en graspe-qqch
-XMLeries
- - Versionner le surfxml
- - Tester si flexml passe avec flex-old
Pb des contextes
- gras aura besoin des pthreads un jour
=> KISS et on oublie pth. A la place, on fait du context over pthread
Alpha 4 on the path to SimGrid 3
- (nothing yet)
+ [Martin]
+ (infrastructure)
+ - fix detection of older flex version and the reaction, since we do
+ depend on modern ones (we use lex_destroy)
-- SimGrid team <simgrid2-users@listes.ens-lyon.fr> NOT RELEASED YET