Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update tesh
[simgrid.git] / include / simgrid /
2013-03-16 Marion Guthmullermodel-checker : fix MC_RANDOM simcall
2013-03-16 Marion Guthmullermodel-checker : new simcall MC_RANDOM
2013-02-19 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-18 Arnaud GierschRemove declarations for nonexistent functions or variables.
2013-02-14 Jonathan Rouzaud... New version of recv/irecv with bounded rate
2013-02-13 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-12 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-07 Jonathan Rouzaud... Add a new simcall that modifies the rate of the first...
2013-02-05 Arnaud GierschMerge branch 'v3_9_x'
2013-01-31 Arnaud GierschMerge branch 'with_java'
2013-01-31 Paul BédarideFix XBT_PUBLIC for pid simcall
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2013-01-30 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-01-30 Paul BédarideFix missing proto for PID functions
2013-01-30 Arnaud GierschMerge branch 'v3_9_x'
2013-01-30 Arnaud GierschMerge remote-tracking branch 'github/master'
2013-01-30 Paul BédarideMake MSG use SIMIX pids
2013-01-21 Paul BédarideAll hosts types fusion to xbt_dictelm_t
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace
2013-01-16 Jonathan Rouzaud... Merge with master
2013-01-08 Paul BédarideFix lua deploy
2012-12-24 Martin Quinsonremove the 'new_' part of function name sg_platf_new_tr...
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideMove config from surf to simgrid
2012-11-30 shensheiMerge ../simgrid
2012-11-28 paul bedarideAdd macros to generate simcalls code
2012-11-28 Cristian RosaMove Hosts related simcalls to the new API.
2012-11-27 Jonathan Rouzaud... update
2012-11-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-12 Augustin Degommeavoid setting the value of the stack size for thread...
2012-10-27 Marion Guthmullermodel-checker : New public functions to take a snapshot...
2012-10-24 Maximiliano GeierPull changes to push BitTorrent fix
2012-10-24 alebreMerge branch 'master' into vmtrace
2012-10-23 navarroFix compilation error since TAG tutorial
2012-10-23 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-23 navarroAdd first steps for a TAG tutorial
2012-10-19 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-19 navarroCompil smpi on win32.
2012-10-17 Arnaud GierschUse function-like macros instead of inline functions...
2012-10-16 Martin Quinsons/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly...
2012-10-12 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-12 navarroFinish the tutorial for new model and api
2012-10-03 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-10-02 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-02 Martin QuinsonEnsures that SIMIX_clean is called automatically
2012-09-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-09-27 Jonathan Rouzaud... Merge conflicts in instr_routing.c
2012-09-25 navarroWe need to have this function public for ruby binding
2012-09-20 Augustin Degommeadd MPI_Probe and MPI_Iprobe support, and better handli...
2012-09-17 navarroOups use the right value
2012-09-11 navarroAdd a function ls to storage
2012-09-06 navarroAdd a simcall for as and router property
2012-09-06 navarroFinalize properties on AS.
2012-09-03 navarroAdd properties to AS structure (Not work for now) and...
2012-08-29 navarroRewrite the init of bypass mecanism (tks Martin;)
2012-08-21 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-08-10 Jean-Baptiste HervéEvent trace generation: Change interface of constructors
2012-08-09 Cristian RosaAdd a new simcall to get/set the receiver of a rendez...
2012-08-09 Jean-Baptiste HervéPlatform generation: little modifications to the connec...
2012-08-09 Jean-Baptiste HervéMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-08-09 Jean-Baptiste HervéPlatform generation: record the router id given while...
2012-08-08 Augustin Degommeadd getter/setter functions in simix to access more...
2012-08-08 navarroFactorize route ASroute bypassRoute and bypassASroute...
2012-08-08 navarroFirst example for bypass platform wit sg_platf_new...
2012-08-08 navarroRemove link_list from surf_routing.c and add it into...
2012-08-07 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-08-07 navarroRemove unused structure and function
2012-08-07 navarroCompletely remove surfxml_callback.
2012-08-06 navarroMore cleaning for surfxml callback (property and trace*)
2012-08-06 navarroAdd function sg_platf_new_* for *route and bypass*route.
2012-08-06 Jean-Baptiste HervéPlatform generation : Add a function to remove links...
2012-08-06 Jean-Baptiste HervéPlatform generation : add a function to check if the...
2012-08-03 navarroUse the function sg_platf_new_linkctn when parsing...
2012-08-02 Jean-Baptiste HervéPlatform generation: add the function to put into Surf...
2012-08-01 Marion Guthmullermodel-checker : remove unused function
2012-08-01 Jean-Baptiste HervéPlatform generation : add the edge length in its data
2012-08-01 Jean-Baptiste HervéPlatform generation : Add the Waxman topology algorithm
2012-08-01 Jean-Baptiste HervéPlatform generation : make public structures for node...
2012-08-01 Jean-Baptiste HervéPlatform generation : add the Zegura algorithm topology
2012-08-01 Jean-Baptiste HervéPlatform generation : add the Barabasi-Albert algorithm...
2012-07-31 navarroAdd function to unlink a file.
2012-07-31 Jean-Baptiste Hervéplatform generation : add promoters and labelers support
2012-07-31 Jean-Baptiste Hervéplatform generation : modify some interfaces
2012-07-31 Jean-Baptiste HervéPlatform generation : add a function to set link parameters
2012-07-31 Jean-Baptiste HervéMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-07-31 Jean-Baptiste HervéPlatform generation : add promotion functions
2012-07-30 Jean-Baptiste HervéPlatform generation : add the exponential topology
2012-07-30 Jean-Baptiste HervéPlatform generation : add the uniform topology
2012-07-27 Jean-Baptiste HervéPlatform generation : add the clique topology
2012-07-27 Jean-Baptiste HervéPlatform generation : add the "ring" topology
2012-07-27 Jean-Baptiste HervéPlatform generation : Add 2 topology setup functions
2012-07-27 Jean-Baptiste HervéPlatform generation : Add some debug
2012-07-26 Jean-Baptiste HervéPlatform generation : Add a function to interconnect...
2012-07-26 Jean-Baptiste HervéPlatform generation : modify some interface
2012-07-26 Jean-Baptiste HervéFirst step to implement a platform generator in Simgrid
2012-07-11 navarroAdd a tag cabinet to write new kind of cluster. See...
2012-07-05 navarroAdd two new tag for routing cluster (only):
2012-07-04 Samuel LepetitReturn the new process in SIMIX_process_restart, simcal...
2012-07-04 Samuel LepetitFix SIMIX_process_kill(SIMIX_process_self()); issue...
next