Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : DPOR (independant transitions) algorithm for liveness properties
[simgrid.git] / NEWS
2011-10-20 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-10-20 Arnaud GierschFiglet for 3.7 was incomplete.
2011-10-20 Martin QuinsonMerge stuff again. Damn, I should pull before changing...
2011-10-20 Martin Quinsonmerge branches
2011-10-13 Christophe ThiéryMerge branch 'lua'
2011-10-10 NavarropUpdate version of SimGrid to 3.7.
2011-10-05 Martin Quinsoncosmetics in ChangeLog and NEWS: releasing 3.6.2 (yuhu) v3_6_2
2011-06-27 Martin QuinsonI'm a false Kenny fan, I admit
2011-06-21 Martin Quinsoninitiate the 3.7 development cycle
2011-05-24 Lucas Schnorrupdating NEWS about tracing
2011-05-24 Martin Quinsonmerge
2011-05-24 Martin QuinsonJava and Ruby were killed away
2011-05-24 Martin Quinsonproposition of NEWS content for the 3.6 release
2010-12-01 mquinsonThe development cycle of 3.6 is officially open. Please...
2010-12-01 suter3.5 figlet
2010-12-01 alegrandUpdate Changelog
2010-05-04 mquinsonprepare for the release of 3.4.1
2010-04-15 mquinsonupdate the NEWS file in preparation of hte release
2009-12-27 mquinsonSetup the devel of v3.3.5, just in case anyone gets...
2009-12-27 mquinsonstupid copy/paste typo (bummer)
2009-12-24 mquinsonRelease 3.3.4
2009-08-19 mquinsonRelease 3.3.2
2009-06-26 mquinsonRelease 3.3.1
2009-04-28 mquinsonRELEASING VERSION 3.3
2004-07-27 mquinson2004-07-26 Martin Quinson
2004-07-13 mquinsonVersion 0.1
2004-07-13 mquinsonShort version of the changelog for users not wanting...
2004-01-27 mquinsonInitial revision