Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : DPOR (independant transitions) algorithm for liveness properties
[simgrid.git] / tools /
2011-10-20 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-10-20 Arnaud Gierschtesh: add tests with empty output.
2011-10-20 Arnaud Gierschtesh: do not fail on empty output, when sorting is...
2011-10-20 Martin Quinsonmerge branches
2011-10-13 Christophe ThiéryMerge branch 'lua'
2011-10-05 Arnaud Gierschtesh: try to fix output sanitation.
2011-10-05 Arnaud GierschAdd --enable-coverage to tesh self-tests.
2011-10-05 Arnaud GierschAdd tests for tesh sorting and filtering of ouptut.
2011-10-05 Arnaud Giersch.gitignore: delete .gitignore files in subdirectories.
2011-10-04 NavarropUse xbt_dynar_foreach and xbt_dynar_cursor_rm for remov...
2011-10-04 NavarropAdd option --enable-coverage to test if code coverage...
2011-10-04 NavarropAdd an option on tesh to ignore output of code coverage.
2011-10-03 NavarropRemove website from simgrid directory
2011-09-21 NavarropRemove gtnets and ns3 pages for one: Packet level simul...
2011-09-21 Laurent BobelinSome changes in the website look before 3.6.2 arrives.
2011-09-19 NavarropUdate the documentation.
2011-09-12 NavarropAdd tracing.doc and generate it.
2011-09-06 NavarropAvailable command sync-gforge-website.
2011-09-06 Laurent BobelinSimgrid website documentation should be OK now. It...
2011-09-05 NavarropSeparated version dependant (documentation) and indepen...
2011-09-01 NavarropAdd pages for ns3 and gtnets.
2011-08-31 NavarropAdd options and configurations page.
2011-08-30 NavarropAdd java to bindings page.
2011-08-30 NavarropKeep the button press.
2011-08-04 NavarropAdd documentation pages for install Simgrid and bindings.
2011-05-24 Martin Quinsonmerge
2011-05-24 Lucas Schnorr[trace] graphicator needs the platform to creata a...
2011-05-18 Arnaud Giersch[gras] Don't define variables twice.
2011-05-18 Arnaud Giersch[tesh] Don't define variables twice.
2011-04-19 Martin Quinsonfix the make clean command v3.6_beta2
2011-04-18 Martin QuinsonPOD markers to generate a manpage
2011-04-18 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-18 Christophe ThiéryRemove memory leaks in gras_stub_generator.
2011-04-12 Lucas Schnorrgraphicator only works if simgrid has tracing enabled
2011-04-12 Lucas Schnorrcleaning graphicator include headers and code
2011-04-12 NavarropUpdate test of graphicator.
2011-04-12 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-11 Lucas Schnorrmerging tracing changes
2011-04-11 Lucas Schnorrexport to graphviz function in the tracing way, we...
2011-04-11 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-09 Lucas Schnorrgraphicator re-implemented
2011-03-31 Pierre-Nicolas ClaussMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-03-31 NavarropClean tabs for publis.html
2011-03-31 NavarropAdd Home and Simgrid Forge to tabs.
2011-03-31 NavarropRe-implement the tab.
2011-03-31 NavarropGenerate correctly index.php
2011-03-31 Lucas SchnorrMerge branch 'master' into master-svn
2011-03-29 Pierre-Nicolas ClaussCoding Sprint : Synchronize SVN with GitHub
2011-03-29 Pierre-Nicolas ClaussMerge branch 'mention-debian-package-for-bibtex2html...
2011-03-29 marc fuentesMerge branch 'master' of github.com:THEpini/simgrid
2011-03-29 navarropAdd some missing files from postprocesser.
2011-03-29 Pierre-Nicolas ClaussCoding Sprint: Synchronize SVN with GitHub
2011-03-29 navarropAdd the faq page to tabs.
2011-03-29 Pierre-Nicolas ClaussMerge remote branch 'github/master'
2011-03-29 navarropRe write the postprocesser for doxygen
2011-03-29 navarropRe add the tab to the index.php
2011-03-24 agierschRemove usage of xbt_assert[0-9].
2011-03-24 agierschUse new macros THROWF and RETHROWF.
2011-03-24 agierschReplace, when possible, calls to bprintf() by calls...
2011-03-24 navarropRemove where_network_elements and add element in host_l...
2011-03-15 navarropGenerate publis correctely.
2011-03-14 navarropAdd a graphicator test and use get_network_element_type...
2011-02-22 agierschReplace xbt_die(bprintf(...)) with xbt_die(...).
2011-02-22 agierschReplace a combination of malloc+strcpy by xbt_strdup.
2011-02-22 agierschFix build error: implicit declaration of function ...
2011-02-18 navarropWe need include simgrid_config.h for function getline.
2011-02-17 navarropRemove unused include "simgrid_config.h"
2011-02-17 navarropRemove all xbt_assert.*(0,FALSE or NULL for xbt_die
2011-02-17 agierschUse new style logging macros.
2011-02-16 thieryThis is not a tesh file
2011-01-31 navarropWe need to had symmetrical "no" to route from version...
2011-01-21 navarropLet simgrid.dtd to be accessible from the web in order...
2011-01-21 navarropCorrectly set callbacks for tags.
2011-01-20 alegrandUntested update to take deployment file into account.
2011-01-18 mquinsondon't use lock file to protect against parallel invocat...
2011-01-06 navarropAdd an option to tesh : --cfg
2010-12-14 schnorrmoving graphicator from teshsuite to tools/graphicator/
2010-12-14 mquinsonKill tesh2 out of the source tree
2010-12-10 thieryRemove debugging fprintf
2010-12-10 mquinson[tesh] allow to specify the length of the sorting prefix
2010-12-02 thieryBiggest commit ever (SIMIX2): the user processes can...
2010-12-01 agierschDo not duplicate rctx_wait_bg in rctx_exit
2010-12-01 agierschFix usage of testsuite_name.
2010-12-01 alegrandStupid me.
2010-11-30 mquinsonkill ANCIENT junk (souvenirs souvenirs)
2010-11-30 navarropRemove Makefile.am from autotools.
2010-11-30 navarropPrepare the out of source build.
2010-11-29 mquinsonMore informative messages when using the new --setenv...
2010-11-29 schnorrscript to put events of paje trace files in order
2010-11-29 mquinsonAdd --setenv command line options to tesh
2010-11-29 navarropFix generated documentation.
2010-11-28 alegrandCope with recent doxygen modifications...
2010-11-28 mquinsoncmake cleanup: redo the documentation generation
2010-11-28 mquinsonlet unit testing stuff build out of source
2010-11-28 mquinsonchange the way unit testing is handled by cmake. Put...
2010-11-26 mquinsoncosmetics
2010-11-23 agierschSynchronize threads before exit on armageddon.
2010-11-18 velhoAdd more precision to the output for colorize.pl
2010-11-09 agierschTesh updates:
2010-10-12 agierschReally do the s/:/_/ in platform upgrading script.
next