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 : fix dpor algorithm
[simgrid.git] / include /
2012-11-14 Martin QuinsonNew function: MSG_get_process_number() tree | commitdiff
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-11-12 Lucas Schnorr[trace] bye bye triva, welcome viva tree | commitdiff
2012-11-12 Augustin Degommeavoid setting the value of the stack size for thread... tree | commitdiff
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-11-09 Marion Guthmullermodel-checker : getter function for chunks used in... tree | commitdiff
2012-11-09 Augustin Degommeadd a function in xbt to allow setting the stack size... tree | commitdiff
2012-10-31 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-31 Augustin Degommequick fix that hopefully won't break too much compilati... tree | commitdiff
2012-10-31 Augustin Degommemove defines frmpo smpi.h to mpi.h, to avoid using... tree | commitdiff
2012-10-27 Marion Guthmullermodel-checker : New public functions to take a snapshot... tree | commitdiff
2012-10-27 Marion Guthmullermodel-checker : fix some memory leaks tree | commitdiff
2012-10-27 Arnaud GierschMerge branch 'v3_8_x' tree | commitdiff
2012-10-27 Arnaud GierschMerge branch 'v3_8_x' tree | commitdiff
2012-10-26 Augustin Degommefortran-smpi was broken tree | commitdiff
2012-10-26 Augustin Degommeadd a few fortran bindings and types to have better... tree | commitdiff
2012-10-26 Augustin Degommeadd various defines and objects to provide better compi... tree | commitdiff
2012-10-25 navarroFix compilation on linux ;) tree | commitdiff
2012-10-25 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-25 navarroTranform extern for XBT_PUBLIC tree | commitdiff
2012-10-25 navarroHuge hack for call of smpi_simulated_main. tree | commitdiff
2012-10-25 navarroWindows does not find weak symbol tree | commitdiff
2012-10-25 navarroAdd XBT_PUBLIC tag to smpi variables tree | commitdiff
2012-10-25 navarroFix documentation warnings tree | commitdiff
2012-10-25 navarroDelete some warning during the ref_guide build tree | commitdiff
2012-10-24 Maximiliano GeierPull changes to push BitTorrent fix tree | commitdiff
2012-10-23 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-23 Augustin Degommeadd MPI_PACKED datatype (for compilation only, MPI_Pack... tree | commitdiff
2012-10-23 navarroFix compilation error since TAG tutorial tree | commitdiff
2012-10-23 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-23 navarroAdd first steps for a TAG tutorial tree | commitdiff
2012-10-19 navarroFix compilation error for smpi. tree | commitdiff
2012-10-19 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-19 navarroCompil smpi on win32. tree | commitdiff
2012-10-19 Maximiliano GeierMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-17 Martin QuinsonEnsure that the mallocator are really inactive when... tree | commitdiff
2012-10-17 Arnaud GierschUse function-like macros instead of inline functions... tree | commitdiff
2012-10-16 Martin Quinsons/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly... tree | commitdiff
2012-10-16 Martin Quinsondocument that we really need xbt_os_thread_atfork ... tree | commitdiff
2012-10-16 Martin Quinsonsg_cmdline is a public dynar containing all command... tree | commitdiff
2012-10-12 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-12 navarroFinish the tutorial for new model and api tree | commitdiff
2012-10-12 Marion Guthmullermodel-checker : display malloc backtrace according... tree | commitdiff
2012-10-12 navarroFirst steps for making a tutorial on How to create... tree | commitdiff
2012-10-11 Augustin Degommeadd better support for MPI datatypes extent values... tree | commitdiff
2012-10-11 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-11 Arnaud GierschNew cmake option "enable_mallocators", useful to disabl... tree | commitdiff
2012-10-11 Arnaud GierschInclude standard header files after local includes. tree | commitdiff
2012-10-11 Arnaud GierschDefine _GNU_SOURCE in xbt/misc.h, so that it's defined... tree | commitdiff
2012-10-08 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-10-08 Martin QuinsonBug fix in mrealloc where the previous content could... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : check if a difference detected in stack... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : store equality detected in heap compari... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : ignore stack areas in heap comparison... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : previous algorithm for heap comparison... tree | commitdiff
2012-10-05 degommehandle sends of several structs in the same message tree | commitdiff
2012-10-05 degommeadd more checking to inputs of SMPI functions tree | commitdiff
2012-10-04 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-10-03 Augustin Degommemerge with jean noel's commit tree | commitdiff
2012-10-03 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-10-02 Augustin Degommeprovide Test and Wait functions with a better MPI_STATU... tree | commitdiff
2012-10-02 Arnaud GierschCall __gcov_flush() on abort so that gcda files are... tree | commitdiff
2012-10-02 Martin QuinsonDeprecate MSG_clean tree | commitdiff
2012-10-02 Martin QuinsonEnsures that SIMIX_clean is called automatically tree | commitdiff
2012-09-28 Augustin Degommeadd support of a function (necessary to conceptual) tree | commitdiff
2012-09-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-09-26 Augustin Degommeadd MPI_BOTTOM definition (needed by AMG benchmark) tree | commitdiff
2012-09-25 navarroWe need to have this function public for ruby binding tree | commitdiff
2012-09-21 Augustin DegommeAdd support for various MPI_Type functions, to handle... tree | commitdiff
2012-09-20 Augustin Degommeforgot a declaration, and two others were removed by... tree | commitdiff
2012-09-20 Augustin Degommeadd MPI_Probe and MPI_Iprobe support, and better handli... tree | commitdiff
2012-09-19 schnorr[trace] give users the possibility to pause/resume... tree | commitdiff
2012-09-19 Augustin Degommeadd the MPI_Wtick function to smpi to allow compilation... tree | commitdiff
2012-09-18 suterDoesn't see why MSG_get_host_number should be deprecated. tree | commitdiff
2012-09-17 navarroOups use the right value tree | commitdiff
2012-09-11 navarroAdd a function ls to storage tree | commitdiff
2012-09-10 suterdoxygen correction: SD_READY state doesn't exist anymor... tree | commitdiff
2012-09-06 navarroAdd a simcall for as and router property tree | commitdiff
2012-09-06 navarroAdd 3 msg functions to get and modify property of an... tree | commitdiff
2012-09-06 navarroFinalize properties on AS. tree | commitdiff
2012-09-03 navarroAdd properties to AS structure (Not work for now) and... tree | commitdiff
2012-08-29 navarroRewrite the init of bypass mecanism (tks Martin;) tree | commitdiff
2012-08-21 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-08-10 Jean-Baptiste HervéEvent trace generation: Change interface of constructors tree | commitdiff
2012-08-09 Cristian RosaAdd a new simcall to get/set the receiver of a rendez... tree | commitdiff
2012-08-09 Jean-Baptiste HervéPlatform generation: little modifications to the connec... tree | commitdiff
2012-08-09 Jean-Baptiste HervéMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-08-09 Jean-Baptiste HervéPlatform generation: record the router id given while... tree | commitdiff
2012-08-08 Augustin Degommeadd getter/setter functions in simix to access more... tree | commitdiff
2012-08-08 navarroFactorize route ASroute bypassRoute and bypassASroute... tree | commitdiff
2012-08-08 navarroFirst example for bypass platform wit sg_platf_new... tree | commitdiff
2012-08-08 Augustin DegommeAdd a MSG_mailbox_set_async function to allow to set... tree | commitdiff
2012-08-08 navarroRemove link_list from surf_routing.c and add it into... tree | commitdiff
2012-08-07 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-08-07 navarroRemove unused structure and function tree | commitdiff
2012-08-07 navarroCompletely remove surfxml_callback. tree | commitdiff
2012-08-06 navarroMore cleaning for surfxml callback (property and trace*) tree | commitdiff
2012-08-06 navarroCleanUp unused xbt_dynar_t from callback tree | commitdiff
2012-08-06 navarroAdd function sg_platf_new_* for *route and bypass*route. tree | commitdiff
2012-08-06 Jean-Baptiste HervéPlatform generation : Add a function to remove links... tree | commitdiff
next
Clone of SimGrid repository with local patches