Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mv src/mc/private.h src/mc/mc_private.h
[simgrid.git] / examples /
2012-01-30 Marion Guthmullermerge conflict resolved
2012-01-26 Christophe ThiéryRegenerate timings of Lua tesh files
2012-01-25 Christophe ThiérySIMIX refactoring: replace 'request' by a more precise...
2012-01-23 Lucas Schnorr[trace] new example inspired by storage systems to...
2012-01-23 Lucas Schnorr[trace] add new test, check tracing of g5k platform...
2012-01-23 Lucas Schnorr[trace] more testing in process migration tracing example
2012-01-23 Lucas Schnorr[trace] update tesh, remove timestamping check, add...
2012-01-23 Lucas Schnorr[trace] remove repeated parameter, plus add new test...
2012-01-23 Lucas Schnorr[trace] new example that will be used to test platform...
2012-01-23 navarroPlace MSG init before testing args for --help argument.
2012-01-23 navarroRemove unused variables and add missing prototypes.
2012-01-23 navarroUpdate factor for model LegrandVelho.
2012-01-22 Lucas Schnorr[trace] adding combinations of tracing parameters to...
2012-01-22 Lucas Schnorr[trace] very simple program that creates, executes...
2012-01-22 Lucas Schnorr[trace] moving traced smpi example to example/smpi...
2012-01-22 Lucas Schnorr[trace] update test output
2012-01-22 Lucas Schnorr[trace] very small memory leak fix in this example
2012-01-22 Lucas Schnorr[trace] removing the tracing per task (where each task...
2012-01-22 Lucas Schnorr[trace] remove info messages from process migration...
2012-01-22 Lucas Schnorr[trace] removing memory leaks from the process migratio...
2012-01-22 Lucas Schnorr[trace] avoid comparing the tracing logs and the genera...
2012-01-22 Lucas Schnorr[trace] cleaner code for tracing examples
2012-01-19 navarroRemove old MSG_set_channel_number from examples.
2012-01-19 Arnaud GierschInline test_all() in masterslave_mailbox.
2012-01-19 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-01-19 Marion Guthmullerunused example chord_stateful removed
2012-01-17 navarroCompletely remove channel mecanism with tesh tested...
2012-01-16 navarroAdd a platform with tag config and explain how to chang...
2012-01-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-01-16 Christophe ThiéryLua chord: simplify the code by reusing tasks since...
2012-01-16 Christophe ThiéryAdd a test for Chord in Lua
2012-01-16 Christophe ThiéryMSG_task_dsend: don't apply a default function if clean...
2012-01-13 Marion GuthmullerMerge branch 'MC_LTL'
2012-01-13 Martin QuinsonMerge branch 'MC_LTL'
2012-01-12 Christophe ThiéryFix a variable name
2012-01-11 Marion Guthmullermerge conflicts resolved
2012-01-11 Marion Guthmullermodel-checker : add example centralized_liveness in...
2012-01-11 Marion Guthmullermodel-checker : new example for liveness properties
2012-01-11 Christophe ThiéryThe timings of these tests have changed since crosstraf...
2012-01-10 Marion Guthmullermodel-checker : bugged2_liveness with promela of LTL...
2012-01-10 Marion Guthmullermodel-checker : new LTL property for bugged2_liveness...
2012-01-09 Marion Guthmullermodel-checker : add comments for the example bugged2_li...
2012-01-09 Marion Guthmullermodel-checker : new examples for verification of livene...
2012-01-09 Martin QuinsonMerge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
2012-01-06 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-01-06 NavarropAdd some tests for crosstraffic = 1.
2012-01-06 Christophe ThiéryMerge branch 'smpi'
2012-01-02 Christophe ThiéryAdd a Chord test with the constant network model
2011-12-26 Martin Quinsoncleanup the debug messages
2011-12-26 Martin Quinsonmore verbose debug messages
2011-12-26 Martin QuinsonFurther investigate the dsend issue, in vain so far
2011-12-26 Martin Quinsonmerge back the master trunk into the smpi branch
2011-12-26 Mark Stillwellsend test program
2011-12-25 Martin Quinsonfix a test broken by homogeneisation of dicts
2011-12-25 Martin Quinsonfix the tests that my cleanups in the config variable...
2011-12-25 Martin Quinsonrevalidate two gras tests which timings changed
2011-12-25 Martin Quinsonkill deprecated file for windows's tesh
2011-12-25 Martin QuinsonRename the coordinates configuration option to network...
2011-12-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-12-16 NavarropFix tesh file
2011-12-16 NavarropMake sure this code is thread safe.
2011-12-16 NavarropMove scripts to generate g5k into the right directory.
2011-12-16 NavarropRevert an old commit (f0f66d620ef58973870652446275a5552...
2011-12-16 NavarropPort old tesh file to modernity.
2011-12-16 NavarropRename misleading "fullduplex" keyword to "crosstraffic".
2011-12-16 NavarropRemove unused variable
2011-12-16 NavarropRevert new time for token-ring
2011-12-13 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-13 Marion Guthmullermodel-checker : clean code
2011-12-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-12-07 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-07 Marion Guthmullermodel-checker : more requests of CS per process in...
2011-12-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-12-06 Laurent BobelinAdded 2 version of a script to generate hierarchical...
2011-12-06 NavarropRewrite the token ring example
2011-12-05 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-02 NavarropAdd a data_center platform.
2011-12-02 NavarropAdd a cloud platform.
2011-12-01 Arnaud GierschKill old CVS $Id$ lines.
2011-12-01 Arnaud GierschUse homogeneous dictionaries whenever possible.
2011-12-01 Frederic Sutertwo more clobbered variables that prevent me to compile...
2011-12-01 Arnaud Gierschtesh: fix the stable sort.
2011-11-30 NavarropCorrection of a bug. Always return 0.
2011-11-30 NavarropRemove memleaks
2011-11-30 NavarropAdd a masterslave example with arguments
2011-11-30 NavarropAdd a platform with one cluster and a host
2011-11-30 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-11-30 Marion Guthmullermodel-checker : number of CS request per process reduce...
2011-11-30 Martin Quinsonadd a test trying to access the properties of a remote...
2011-11-23 Arnaud GierschSet path for binary in token ring tesh file.
2011-11-22 Marion Guthmullermerge conflicts
2011-11-18 Martin Quinsonthere is no route in vivaldi
2011-11-17 Marion Guthmullermodel-checker : examples changed
2011-11-16 Christophe ThiéryLua: debug chord again
2011-11-15 Christophe ThiéryLua: fixing the chord example
2011-11-15 Christophe ThiéryLua: fix Chord example
2011-11-15 Christophe ThiéryLua: removing the MSG_process_sleep hack changes the...
2011-11-14 Martin Quinsonnah, properties in the XML file are not the right place...
2011-11-14 Christophe ThiéryLua: rename simgrid.task.name() to simgrid.task.get_name()
2011-11-14 Christophe ThiéryLua Chord example (not working yet, the API is still...
next