Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add new pair reached even if compare==0
[simgrid.git] / buildtools /
2012-07-12 suterDo the same as before to replay traces with SMPI, but...
2012-07-12 navarroUpdate xml_files in Cmake
2012-07-12 navarroUpdate tesh file for cabinet
2012-07-05 Arnaud GierschAdd missing files from examples for dist.
2012-07-05 Arnaud GierschMerge variable BINDINGS_FILES into BINDINGS_SRC.
2012-07-05 Arnaud GierschReorder file lists in lexical order.
2012-07-05 Arnaud GierschCopying the file once is sufficient.
2012-07-05 Arnaud GierschCreate needed directories at configure time instead...
2012-07-05 Arnaud Gierschmemcheck_tests.cmake: update.
2012-07-04 Samuel LepetitAdd kademlia C example
2012-07-04 schnorrfix tracing documentation
2012-07-04 Arnaud GierschAdd -fno-common to compile flags.
2012-07-04 schnorrcopying an image needed by the tracing documentation
2012-07-03 Arnaud GierschUpdate.
2012-07-03 Arnaud GierschFix indentation (again).
2012-07-03 Samuel LepetitAdd bittorrent example
2012-07-02 Arnaud GierschAdd missing test properties for new lua tests.
2012-07-02 Arnaud GierschFix indentation.
2012-07-02 Samuel LepetitAdd lua-bittorrent tesh file
2012-07-02 Samuel LepetitAdd lua-kademlia tesh file
2012-07-02 lbobelinJust cleaned some stuff to only show undocumented funct...
2012-06-29 lbobelinAdded some stuff about deployment to please Fred. Corre...
2012-06-29 lbobelinOk, I forgot most of the examples in one of my previous...
2012-06-29 lbobelinCleaned doc, re-included examples, should be better...
2012-06-29 Marion Guthmullermodel-checker : tests for snapshot comparison
2012-06-28 navarroHide cmake variable
2012-06-28 Arnaud Gierschmemcheck_tests.cmake: update.
2012-06-28 Arnaud GierschDon't run test when it's not built (!HAVE_GRAPHVIZ).
2012-06-28 suterTest the simdag_tracing code that were already there...
2012-06-27 Marion Guthmullermodel-checker : update supernovae files (automaton_crea...
2012-06-27 Arnaud GierschFix search paths for test "simdag-test-lua".
2012-06-26 Arnaud GierschAvoid to recompile automatonparse_promela.c at each...
2012-06-26 Arnaud Gierschmemcheck_tests.cmake: regenerate.
2012-06-26 Arnaud GierschMake generate_memcheck_tests.pl keep indentation (but...
2012-06-26 Arnaud GierschReindent Cmake files.
2012-06-26 suteradd the simdag-dax-cycle test to the list
2012-06-24 suteradd yet another basic tesh to increase coverage. sd_lin...
2012-06-22 suterone more test of the dotloader (dot with a good schedul...
2012-06-22 suterforgot to add the test to the whole list
2012-06-22 suteradd a (currently) broken test that tries to create...
2012-06-22 navarroUse cmake module for lua51
2012-06-22 navarroThose files are generated so they don't have to be...
2012-06-22 Martin Quinsonuse an axe (and dupplicate targets) to get the doc...
2012-06-21 Marion Guthmullermodel-checker : update name of generated_files
2012-06-21 navarroRe add file (CMake files) to generate doc in the dist
2012-06-21 navarroDon't need to track those files they are generated
2012-06-21 navarroThose files are generated
2012-06-21 navarroRemove deleted files from archive.
2012-06-21 navarroFix path for the cmake generated file.
2012-06-21 Arnaud GierschUse the right directory name.
2012-06-21 Martin QuinsonVarious cleanups to the model-checking user interface
2012-06-21 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-06-21 navarroClean some files and target
2012-06-20 Martin Quinsonmore informative documentation of cmake option, and...
2012-06-20 suterAdd 2 tesh files for new stuff and make them part of...
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-20 navarroReplace usleep for nanosleep
2012-06-20 suterSolve white space conflicts
2012-06-20 navarroFix link between doc pages and redo the sync target
2012-06-20 Martin Quinsonsed -i -e 's/\t/ /g' *.[ch] Please people, stop using...
2012-06-19 navarroRewrite Module in cmake for doc
2012-06-19 lbobelinInitial commit for split doc (in order to let Pierre...
2012-06-19 lbobelinInitial modifications in doc. To be merged with Pierre...
2012-06-18 Arnaud GierschFix tesh and cmake files for test masterslave_virtual_m...
2012-06-18 navarroDo the make distcheck command into the CMAKE_BINARY_TES...
2012-06-18 navarroMark those exe as advanced
2012-06-18 navarroRewrite some target for make dist*
2012-06-18 navarroDon't enable supernvae by default, now we often use...
2012-06-18 Martin Quinsonadd a new stressing test to GRAS. Yeah, it actually...
2012-06-15 Arnaud GierschAdd xbt/automaton/automaton_create.c to supernovae...
2012-06-15 Arnaud GierschTell full directory for ddt_parse.yy.c
2012-06-15 navarroPut a warn if try to make a dist without maintainer...
2012-06-15 navarroDon not stop compilation but just put a warning
2012-06-15 navarroFor now model checking can not be compile with flto.
2012-06-15 navarroAdd generated mc files to extra dist
2012-06-15 navarroClean sources for mc and reedit some files
2012-06-15 navarroRemove unused files
2012-06-15 navarroadd missing platforms in distrib
2012-06-15 Marion Guthmullermodel-checker : remove clone file
2012-06-14 navarro2nd part of kill GLOB_RECURSE
2012-06-14 Marion Guthmullerresolve merge conflict
2012-06-14 Marion Guthmullermodel-checker : lex and yacc parsing moved in src/xbt...
2012-06-14 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-14 navarroFirst step to delete GLOB command from cmake
2012-06-14 navarroReorganized some files for cmake
2012-06-14 Arnaud GierschUse {include,link}_directories for Find{F2C,Graphviz...
2012-06-14 Arnaud GierschEnsure that additional include/link directories for...
2012-06-13 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-13 Martin QuinsonEnable tracing by default. This modules rocks you shoul...
2012-06-13 pierreGeneric script for each version
2012-06-13 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-12 navarroUpdate script due to removed file.
2012-06-12 navarroFind ns3 version 3.14
2012-06-09 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-08 suterFirst step to move trace replay from MSG towards SMPI
2012-06-08 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-07 pierreTry to put script before and after install simgrid...
2012-06-07 pierreUpdate script for iceberg
2012-06-02 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-01 Arnaud Gierschmemcheck_tests: regenerate.
next