Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker : change variable successors (local->global) in dfs algorithm
[simgrid.git] / examples /
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-20 Martin Quinsonsave some useless strdups tree | commitdiff
2011-10-20 NavarropRewrite perl script for optorsim tree | commitdiff
2011-10-20 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-10-20 Martin Quinsonmemory cleanups tree | commitdiff
2011-10-20 Arnaud GierschFix race condition with gras-mmrpc test. 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-20 Martin Quinsonuse a user level mallocator on the task content tree | commitdiff
2011-10-20 Martin Quinsonenlarge my cluster once again tree | commitdiff
2011-10-19 Martin Quinsonenlarge my cluster tree | commitdiff
2011-10-19 Martin Quinsonfirst prealpha not working prototype (please public... tree | commitdiff
2011-10-19 Martin Quinsontypo-- 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 NavarropReorganize platforms for optorsim. 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-10-13 Christophe ThiéryMerge branch 'lua' tree | commitdiff
2011-10-13 Christophe ThiéryLua: more debugging info tree | commitdiff
2011-10-06 Christophe ThiéryLua: add support of closures to the state cloner tree | commitdiff
2011-10-03 Christophe ThiéryLua: add a test to check that global values are correct... tree | commitdiff
2011-09-20 Lucas Schnorr[ns3, trace] tracing needs the sentBytes variable being... tree | commitdiff
2011-09-20 NavarropUpdate ns3 tesh file as platforms have change. tree | commitdiff
2011-09-20 Lucas Schnorr[trace] fix tesh'es since we changed the paje header tree | commitdiff
2011-09-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-09-15 NavarropUse more reasonnable values for this example. tree | commitdiff
2011-09-12 NavarropUpdate tesh for ns3 because we have chnge the value... tree | commitdiff
2011-09-08 Lucas Schnorr[NS3] updated in the example to cover more execution... tree | commitdiff
2011-09-08 NavarropAdd a dogbone example with ns3 tree | commitdiff
2011-09-05 Lucas Schnorrcosmetics, fixing tesh file tree | commitdiff
2011-08-01 NavarropMake a tesh file for ns3. tree | commitdiff
2011-07-30 Quintin Jean-NoëlMerge remote-tracking branch 'origin/master' tree | commitdiff
2011-07-29 NavarropAdd lcg platform. tree | commitdiff
2011-07-29 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2011-07-29 Christophe ThiéryAdd a TODO file with my ideas to make splay work. tree | commitdiff
2011-07-29 Christophe ThiéryMake the splay example really do something (or at least... tree | commitdiff
2011-07-29 NavarropAdd a version of gridpp.xml with its tool. tree | commitdiff
2011-07-29 Christophe ThiéryTrying to make splay work (unfinished). tree | commitdiff
2011-07-29 NavarropAdd platforms for ns3. tree | commitdiff
2011-07-29 Christophe ThiéryLua / Splay: some cleanups tree | commitdiff
2011-07-29 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2011-07-28 NavarropImplementation of NS3. tree | commitdiff
2011-07-18 Arnaud GierschRegenerate tesh file for test gras-synchro-sg-32 and... tree | commitdiff
2011-07-18 Arnaud GierschRegenerate tesh file for test gras-all2all-sg-32 and... tree | commitdiff
2011-07-18 Arnaud GierschIncrease timeout for gras-rpc tests. tree | commitdiff
2011-07-18 Arnaud GierschFix tesh files for tests gras-rpc-sg-32 and -64. tree | commitdiff
2011-07-18 Arnaud GierschFree globals before exit in timer example. tree | commitdiff
2011-07-18 Quintin Jean-NoëlMerge remote-tracking branch 'origin/master' tree | commitdiff
2011-07-18 NavarropWe can use the cluster tag without backbone link if... tree | commitdiff
2011-07-18 NavarropUpdate tesh files for vivaldi. tree | commitdiff
2011-07-11 NavarropAdd script and platforms for cabinet. tree | commitdiff
2011-07-11 NavarropMake a rulebased rule for gdx tree | commitdiff
2011-07-11 NavarropAdd some peer traces. tree | commitdiff
2011-07-07 Navarrop"Refresh" example platforms. tree | commitdiff
2011-07-07 NavarropUpdate g5k platform. tree | commitdiff
2011-07-07 NavarropNew g5k platform. tree | commitdiff
2011-06-23 Arnaud GierschReindent TRY/TRY_CLEANUP/CATCH constructs. tree | commitdiff
2011-06-23 Arnaud GierschUse CATCH_ANONYMOUS whenever possible, and remove unuse... tree | commitdiff
2011-06-23 Arnaud GierschCosmetics: handle exception inside exception handler. tree | commitdiff
2011-06-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-06-07 Arnaud GierschAdd missing calls to xbt_ex_free(). tree | commitdiff
2011-06-07 Arnaud GierschRemove unused variables. tree | commitdiff
2011-05-24 Martin Quinsonmerge tree | commitdiff
2011-05-24 Lucas Schnorr[trace] fix tests: tracing-tasks and smpi-tracing-ptp tree | commitdiff
2011-05-24 Lucas Schnorr[trace] updating tesh's to follow recent changes in... tree | commitdiff
2011-05-24 Lucas Schnorr[trace] removing volume case study, deprecated at 3.6 tree | commitdiff
2011-05-19 Pedro VelhoAdded an optinal timer for those who want to sample... tree | commitdiff
2011-05-18 Arnaud GierschTasks must be initialized. tree | commitdiff
2011-05-17 Arnaud Giersch[trace] Fix tests: tracing-ms, and tracing-categories. tree | commitdiff
2011-05-12 Christophe ThiéryAction replayer: don't hardcode the usage of raw contextes tree | commitdiff
2011-05-12 Christophe ThiéryUse variadic macros tree | commitdiff
next
Clone of SimGrid repository with local patches