Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Completely remove channel mecanism with tesh tested examples.
[simgrid.git] / examples / msg /
2012-01-17 navarroCompletely remove channel mecanism with tesh tested... tree | commitdiff
2012-01-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-01-16 Christophe ThiéryMSG_task_dsend: don't apply a default function if clean... tree | commitdiff
2012-01-13 Martin QuinsonMerge branch 'MC_LTL' tree | commitdiff
2012-01-11 Marion Guthmullermerge conflicts resolved tree | commitdiff
2012-01-11 Marion Guthmullermodel-checker : add example centralized_liveness in... tree | commitdiff
2012-01-11 Marion Guthmullermodel-checker : new example for liveness properties tree | commitdiff
2012-01-10 Marion Guthmullermodel-checker : bugged2_liveness with promela of LTL... tree | commitdiff
2012-01-10 Marion Guthmullermodel-checker : new LTL property for bugged2_liveness... tree | commitdiff
2012-01-09 Marion Guthmullermodel-checker : add comments for the example bugged2_li... tree | commitdiff
2012-01-09 Marion Guthmullermodel-checker : new examples for verification of livene... tree | commitdiff
2012-01-09 Martin QuinsonMerge branches 'MC_LTL' and 'MC_LTL' of scm.gforge... tree | commitdiff
2012-01-06 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-01-06 NavarropAdd some tests for crosstraffic = 1. tree | commitdiff
2012-01-06 Christophe ThiéryMerge branch 'smpi' tree | commitdiff
2012-01-02 Christophe ThiéryAdd a Chord test with the constant network model tree | commitdiff
2011-12-26 Martin Quinsonmerge back the master trunk into the smpi branch tree | commitdiff
2011-12-25 Martin Quinsonfix a test broken by homogeneisation of dicts tree | commitdiff
2011-12-25 Martin Quinsonfix the tests that my cleanups in the config variable... tree | commitdiff
2011-12-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-12-16 NavarropFix tesh file tree | commitdiff
2011-12-16 NavarropMake sure this code is thread safe. tree | commitdiff
2011-12-16 NavarropRevert an old commit (f0f66d620ef58973870652446275a5552... tree | commitdiff
2011-12-16 NavarropPort old tesh file to modernity. tree | commitdiff
2011-12-16 NavarropRename misleading "fullduplex" keyword to "crosstraffic". tree | commitdiff
2011-12-16 NavarropRemove unused variable tree | commitdiff
2011-12-16 NavarropRevert new time for token-ring tree | commitdiff
2011-12-13 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-12-13 Marion Guthmullermodel-checker : clean code tree | commitdiff
2011-12-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-12-07 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-12-07 Marion Guthmullermodel-checker : more requests of CS per process in... tree | commitdiff
2011-12-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-12-06 NavarropRewrite the token ring example tree | commitdiff
2011-12-05 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-12-01 Arnaud GierschKill old CVS $Id$ lines. tree | commitdiff
2011-12-01 Arnaud GierschUse homogeneous dictionaries whenever possible. tree | commitdiff
2011-12-01 Arnaud Gierschtesh: fix the stable sort. tree | commitdiff
2011-11-30 NavarropCorrection of a bug. Always return 0. tree | commitdiff
2011-11-30 NavarropRemove memleaks tree | commitdiff
2011-11-30 NavarropAdd a masterslave example with arguments tree | commitdiff
2011-11-30 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-11-30 Marion Guthmullermodel-checker : number of CS request per process reduce... tree | commitdiff
2011-11-30 Martin Quinsonadd a test trying to access the properties of a remote... tree | commitdiff
2011-11-23 Arnaud GierschSet path for binary in token ring tesh file. tree | commitdiff
2011-11-22 Marion Guthmullermerge conflicts tree | commitdiff
2011-11-17 Marion Guthmullermodel-checker : examples changed tree | commitdiff
2011-11-14 Martin Quinsonnah, properties in the XML file are not the right place... tree | commitdiff
2011-11-14 Christophe ThiéryLua Chord example (not working yet, the API is still... tree | commitdiff
2011-11-14 Arnaud GierschUse xbt_XXX_is_empty() instead of testing xbt_XXX_lengt... tree | commitdiff
2011-11-09 Christophe ThiéryMake the Lua API respect coherent naming conventions tree | commitdiff
2011-11-09 Arnaud GierschKill "if" before free, and useless cast of free argument. tree | commitdiff
2011-11-09 Marion Guthmullermodel-checker : example for detection of acceptance... tree | commitdiff
2011-11-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-11-07 Christophe ThiéryThe parser's behavior has changed, revalidate the outpu... tree | commitdiff
2011-11-07 Christophe ThiéryAdd some _XBT_GNUC_UNUSED to avoid compilation warnings... tree | commitdiff
2011-11-03 Martin Quinsonthis output changed back, so revert my change of today tree | commitdiff
2011-11-03 Martin Quinsonintegrate initialization functions within the parsing... tree | commitdiff
2011-11-03 Marion Guthmullermodel-checker: new examples for liveness model checking tree | commitdiff
2011-11-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-11-02 Christophe ThiéryThis constant may be too large for type long tree | commitdiff
2011-10-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-10-27 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : function to compare values of propositi... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : remove unused variables tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : change printf for size_t variables tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : add files for examples tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : new comparison for reached pairs (autom... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : delete visited in struct xbt_state_t... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : ddfs stateless and stateful fixed tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : update ddfs stateful model checking... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : stateless model checking for liveness... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : separate informations for safety statef... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : new example bugged1 for stateful dpor tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : add condition of invisibility to reduce... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : DPOR (independant transitions) algorith... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : separate dfs and dpor algorithms with... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : example changed tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : correction of dfs algorithm for livenes... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : test dpor without replay from initial... tree | commitdiff
2011-10-25 Marion Guthmullermodel checker : dfs algorithm corrected tree | commitdiff
2011-10-25 Marion Guthmullermodel-check : show stack when property not valid tree | commitdiff
2011-10-25 Marion Guthmullermodel-check : show stack for acceptance cycle tree | commitdiff
2011-10-25 Marion Guthmullermodel check : acceptance cycle detection with automaton... tree | commitdiff
2011-10-25 Marion Guthmullerdétection de cycle d'acceptation ok mais boucle infinie... tree | commitdiff
2011-10-25 Marion Guthmullercorrection compile warnings tree | commitdiff
2011-10-25 Marion Guthmullerstart new example with parsing lex/yacc of automaton... tree | commitdiff
2011-10-25 Arnaud GierschFix path in tesh file. tree | commitdiff
2011-10-20 Martin QuinsonMerge stuff again. Damn, I should pull before changing... tree | commitdiff
2011-10-20 Martin Quinsonmerge branches tree | commitdiff
2011-10-17 NavarropAdd example to kill a process. tree | commitdiff
2011-10-14 Christophe ThiéryTimings have changed: comms cannot continue when a... tree | commitdiff
2011-10-14 Christophe ThiéryNow that processes are terminated cleanly, this recv... tree | commitdiff
2011-10-14 Christophe ThiéryRevalidate Chord tesh output (the end of the simulation... tree | commitdiff
2011-10-13 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2011-10-13 Christophe ThiéryFighting more memory leaks in Chord tree | commitdiff
2011-10-13 Lucas Schnorr[trace] fix tesh'es to follow recent changes in the... tree | commitdiff
2011-10-13 Christophe ThiéryFix a memory leak in chord tree | commitdiff
2011-10-13 Christophe ThiéryRevert msg-actions to an older and more stable version tree | commitdiff
2011-09-20 Lucas Schnorr[ns3, trace] tracing needs the sentBytes variable being... tree | commitdiff
next
Clone of SimGrid repository with local patches