Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Avoid to recompile automatonparse_promela.c at each build (maintainer mode).
[simgrid.git] / examples /
2012-06-26 Arnaud GierschReindent Cmake files.
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-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-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 Marion Guthmullermodel-checker : remove unnecessary include in lex file
2012-06-14 Samuel LepetitFix the cloud API, nicely this time.
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 git+ssh://scm.gforge.inria...
2012-06-13 Samuel LepetitDebug the cloud API, it should work as expected now.
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-12 navarroRemove some debug from execution
2012-06-12 navarroAdd disk usage and size parameters for storage.
2012-06-12 Marion Guthmullerfix merge conflict
2012-06-12 Arnaud GierschMissing include.
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-08 jbrvChanged masterslave with failures test platform
2012-06-07 schnorr[trace] paje header changed, update tesh
2012-06-03 Marion Guthmullermodel-checker : XBT_DEBUG replaced by XBT_INFO
2012-06-03 Marion Guthmullermodel-checker : new properties in promela for centraliz...
2012-06-03 Marion Guthmullermodel-checker : new examples
2012-06-02 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-31 Arnaud GierschRemove usage of environment variable ARGS in tesh files.
2012-05-30 navarroSorry for this.
2012-05-30 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-30 Marion Guthmullermodel-checker : remove unused variable CS_PER_PROCESS
2012-05-30 navarroSome typos in source code
2012-05-30 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-29 Martin Quinsonrecommit my initial version of cloud stuff for 3.8...
next