Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update tesh bugged1_liveness and chord_neverjoin
[simgrid.git] / examples /
2012-06-26 Arnaud GierschRemove unnecessary spaces and empty lines in tesh files.
2012-06-26 sutertest also the dotloader with a file that comprises...
2012-06-26 suteradd a new test that loads a DAX with a cycle. It should...
2012-06-26 suterIf the DAX contains a cycle, just miserably die ...
2012-06-26 Samuel LepetitAdd bittorrent files to the CMakeLists
2012-06-26 Marion Guthmullermodel-checker : keep one bugged1 example for liveness...
2012-06-26 Marion Guthmullermodel-checker : update list of examples in CMakeLists
2012-06-26 Marion Guthmullermodel-checker : remove unused examples
2012-06-26 Marion Guthmullermodel-checker : cosmetics reindent
2012-06-25 Samuel LepetitFix cloud tesh file
2012-06-25 Samuel LepetitAdd kademlia example
2012-06-25 Samuel LepetitBugfix in bittorrent example
2012-06-24 suterslight change to verify that access mode can be changed...
2012-06-24 suterextend test to see if SD_workstation_dump displays...
2012-06-24 suterextend the test to unschedule parallel typed tasks...
2012-06-24 suterbasename raises a warning without including libgen.h
2012-06-22 Samuel LepetitAdd bittorrent example in Lua
2012-06-22 sutermake this tests pass
2012-06-22 suterone more test of the dotloader (dot with a good schedul...
2012-06-22 suteradd a (currently) broken test that tries to create...
2012-06-22 navarroUpdate tesh files using trace as those files have chang...
2012-06-22 navarroNeed to have a double because the result should not...
2012-06-22 Marion Guthmullermodel-checker : update tesh with new cleanups done...
2012-06-21 navarroPut double instead of size_t.
2012-06-21 navarroComsetics
2012-06-21 Arnaud GierschRemaining s/MSG_global_init/MSG_init/.
2012-06-21 Martin QuinsonCleanups in the --cfg options regarding model-checking
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 Samuel LepetitUpdate masterslave_cloud tesh file
2012-06-21 Marion Guthmullermodel-checker : update examples with new function MSG_init
2012-06-21 Marion Guthmullermodel-checker: remove unused examples
2012-06-21 Martin QuinsonDeprecate functions MSG_global_init() / MSG_global_init...
2012-06-21 Samuel LepetitFix bug #14412 (Killing a SIMIX process just after...
2012-06-20 sutermore on testing the dotloader
2012-06-20 Marion Guthmullermodel-checker : remove unused example
2012-06-20 Marion Guthmullermodel-checker : new surf configuration mc-checkpoint
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-20 suterbeginning of automated tests for the dotloader. To...
2012-06-20 suteroups
2012-06-20 suterdon't try to browse a dynar that has been freed
2012-06-20 navarroPut the different model in the dtd. Permit the xml...
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 suterremove some useless output on workstations
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-20 sutermake use of the newly introduced MxN data redistributio...
2012-06-20 Arnaud GierschRemove unused file.
2012-06-20 suterSolve white space conflicts
2012-06-20 Martin Quinsonsed -i -e 's/\t/ /g' *.[ch] Please people, stop using...
2012-06-19 Samuel LepetitUse RngStream for random number in bittorrent example
2012-06-18 Marion Guthmullermodel-checker : update tesh examples with last modifica...
2012-06-18 Arnaud GierschFix tesh and cmake files for test masterslave_virtual_m...
2012-06-15 navarroAdd generated mc files to extra dist
2012-06-15 navarroClean sources for mc and reedit some files
2012-06-15 Arnaud GierschRemove unused variable.
2012-06-15 navarroRemove unused files
2012-06-15 Marion Guthmullermodel-checker : remove unused files in examples/ms/mc
2012-06-15 suterslight modifications
2012-06-15 suteradd a new example that use SD_task_set_rate to throttle...
2012-06-14 navarro2nd part of kill GLOB_RECURSE
2012-06-14 Marion Guthmullerresolve merge conflict
2012-06-14 Marion Guthmullermodel-checker : examples updated with new lex and yacc...
2012-06-14 Marion Guthmullermodel-checker : lex and yacc parsing moved in src/xbt...
2012-06-14 Marion Guthmullermodel-checker : remove unused files
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 Samuel LepetitAdd a MSG_vm_destroy function to free a virtual machine
2012-06-14 Samuel LepetitAdd tesh file for masterslave_virtual_machines
2012-06-14 Samuel LepetitBugfix in Java Cloud API. Bugfix in the associated...
2012-06-14 Marion Guthmullermodel-checker : remove unnecessary include in lex file
2012-06-14 Samuel LepetitFix the cloud API, nicely this time.
2012-06-14 Samuel LepetitAdd an example for the cloud API (doesn't work yet).
2012-06-14 Samuel LepetitRevert "Debug the cloud API, it should work as expected...
2012-06-14 schnorr[trace] we don't destroy things we didn't create
2012-06-14 schnorr[trace] re-write of trace mark API, need to declare...
2012-06-13 Samuel LepetitMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-06-13 Samuel LepetitBugfix
2012-06-13 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-13 Samuel LepetitDebug the cloud API, it should work as expected now.
2012-06-13 Samuel LepetitFix in masterslave deploy.xml
2012-06-13 Samuel LepetitChange the File java API according to the changes in...
2012-06-13 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-13 Samuel LepetitBugfix in msg/io example
2012-06-13 navarroChange the file API, remove the mount point in each...
2012-06-13 Arnaud GierschRewrite the platform_script.lua used by the test for...
2012-06-13 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-13 Marion Guthmullermodel-checker : remove binary name as argument of some...
2012-06-13 navarroMerge branch 'v3_7_1'
2012-06-12 alebreMerge branch 'master' of git://scm.gforge.inria.fr...
2012-06-12 alebreMerge branch 'master' of git://scm.gforge.inria.fr...
2012-06-12 alebreRemove Trace useless files - Adrien
2012-06-12 alebreUpdate the ChangeLog with Traces stuf + Trace stuff...
2012-06-12 Samuel LepetitAdd File support and an example to cover it.
2012-06-12 navarroRemove some debug from execution
2012-06-12 navarroAdd disk usage and size parameters for storage.
2012-06-12 Samuel LepetitMerge scm.gforge.inria.fr:/gitroot/simgrid/simgrid...
2012-06-12 Marion Guthmullerfix merge conflict
2012-06-12 Arnaud GierschMissing include.
next