Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into MC_LTL
[simgrid.git] / examples /
2011-12-13 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-13 Marion Guthmullermodel-checker : clean code
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 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-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...
2011-11-14 Arnaud GierschUse xbt_XXX_is_empty() instead of testing xbt_XXX_lengt...
2011-11-14 Arnaud GierschRemove usage of xbt_dict_size().
2011-11-10 Arnaud GierschSimply say fun_ptr(...) instead of (*fun_ptr)(...).
2011-11-10 Martin QuinsonMerge branch 'parser'
2011-11-10 Christophe ThiéryNew Lua example: Chord (work in progress)
2011-11-10 Christophe ThiéryLua masterslave: simplify the code and improve the...
2011-11-10 Christophe ThiéryLua: garbage collect the simgrid module (remove simgrid...
2011-11-09 Christophe ThiéryLua: merge simgrid.task.recv and simgrid.task.recv_with...
2011-11-09 Christophe ThiéryMake the Lua API respect coherent naming conventions
2011-11-09 Arnaud GierschKill "if" before free, and useless cast of free argument.
2011-11-09 NavarropFor radical it is "," and not ";"
2011-11-09 Marion Guthmullermodel-checker : example for detection of acceptance...
2011-11-08 Arnaud GierschParenthesis should be protected in test parameters.
2011-11-08 Christophe ThiéryUpdate README of Lua examples
2011-11-08 Christophe ThiéryClean the code of Lua examples.
2011-11-08 Martin QuinsonReimplement the lua console on top of sg_platf
2011-11-07 Christophe ThiéryAfter a send, the sender should never access the task...
2011-11-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-11-07 NavarropDon't use a fix value of host.
2011-11-07 NavarropAdd a source file for model vivaldi. Write vivaldi_get_...
2011-11-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-11-07 Christophe ThiéryThe parser's behavior has changed, revalidate the outpu...
2011-11-07 Christophe ThiéryAdd some _XBT_GNUC_UNUSED to avoid compilation warnings...
2011-11-03 Martin Quinsonthis output changed back, so revert my change of today
2011-11-03 Arnaud GierschFix warnings about clobbered variables in gras/rpc...
2011-11-03 Arnaud GierschFix warnings about clobbered variables in gras/pmm...
2011-11-03 Arnaud GierschFix warnings about clobbered variables in gras/ping...
2011-11-03 Arnaud GierschFix warnings about clobbered variables in gras/mmrpc...
2011-11-03 Arnaud GierschFix warnings about clobbered variables in gras/console...
2011-11-03 Arnaud GierschFix warnings about clobbered variables in amok/bandwidt...
2011-11-03 Arnaud GierschRemove spurious semicolon.
2011-11-03 Martin Quinsonintegrate initialization functions within the parsing...
2011-11-03 Marion Guthmullermodel-checker: new examples for liveness model checking
2011-11-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-11-02 Christophe ThiéryThis constant may be too large for type long
2011-10-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-10-27 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-10-25 Marion Guthmullermodel-checker : function to compare values of propositi...
2011-10-25 Marion Guthmullermodel-checker : remove unused variables
2011-10-25 Marion Guthmullermodel-checker : change printf for size_t variables
2011-10-25 Marion Guthmullermodel-checker : add files for examples
2011-10-25 Marion Guthmullermodel-checker : new comparison for reached pairs (autom...
2011-10-25 Marion Guthmullermodel-checker : delete visited in struct xbt_state_t...
2011-10-25 Marion Guthmullermodel-checker : ddfs stateless and stateful fixed
2011-10-25 Marion Guthmullermodel-checker : update ddfs stateful model checking...
2011-10-25 Marion Guthmullermodel-checker : stateless model checking for liveness...
2011-10-25 Marion Guthmullermodel-checker : separate informations for safety statef...
2011-10-25 Marion Guthmullermodel-checker : new example bugged1 for stateful dpor
2011-10-25 Marion Guthmullermodel-checker : add condition of invisibility to reduce...
2011-10-25 Marion Guthmullermodel-checker : DPOR (independant transitions) algorith...
2011-10-25 Marion Guthmullermodel-checker : separate dfs and dpor algorithms with...
2011-10-25 Marion Guthmullermodel-checker : example changed
2011-10-25 Marion Guthmullermodel-checker : correction of dfs algorithm for livenes...
2011-10-25 Marion Guthmullermodel-checker : test dpor without replay from initial...
2011-10-25 Marion Guthmullermodel checker : dfs algorithm corrected
2011-10-25 Marion Guthmullermodel-check : show stack when property not valid
2011-10-25 Marion Guthmullermodel-check : show stack for acceptance cycle
2011-10-25 Marion Guthmullermodel check : acceptance cycle detection with automaton...
2011-10-25 Marion Guthmullerdétection de cycle d'acceptation ok mais boucle infinie...
2011-10-25 Marion Guthmullercorrection compile warnings
2011-10-25 Marion Guthmullerstart new example with parsing lex/yacc of automaton...
2011-10-25 Arnaud GierschFix path in tesh file.
2011-10-20 Martin Quinsonsave some useless strdups
2011-10-20 NavarropRewrite perl script for optorsim
2011-10-20 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-10-20 Martin Quinsonmemory cleanups
2011-10-20 Arnaud GierschFix race condition with gras-mmrpc test.
2011-10-20 Martin QuinsonMerge stuff again. Damn, I should pull before changing...
2011-10-20 Martin Quinsonmerge branches
2011-10-20 Martin Quinsonuse a user level mallocator on the task content
next