Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
make an error message informative
[simgrid.git] / src / simix /
2012-12-04 Marion Guthmullermodel-checker : ignore simcall result in heap comparison tree | commitdiff
2012-12-04 bedarideDirty Fix to handle model checking with new simcalls tree | commitdiff
2012-12-03 shensheiFix debug message in simix tree | commitdiff
2012-12-03 Augustin Degommeremove sender's side data from mpi_send in the receiver... tree | commitdiff
2012-12-03 Augustin Degommehopefully remove leak in permanent receive mode tree | commitdiff
2012-12-03 Arnaud GierschRemove spurious semicolon. tree | commitdiff
2012-12-03 Arnaud GierschDefine inline functions in header file (again). tree | commitdiff
2012-12-03 Arnaud GierschRemove prototypes. tree | commitdiff
2012-12-03 Arnaud GierschDefine inline function in header file. tree | commitdiff
2012-11-30 shensheiMerge ../simgrid tree | commitdiff
2012-11-30 shensheiNew simcalls work tree | commitdiff
2012-11-28 shensheiChange simcall functions tree | commitdiff
2012-11-28 paul bedarideAdd macros to generate simcalls code tree | commitdiff
2012-11-28 Cristian RosaMake SimGrid compile again :) tree | commitdiff
2012-11-28 Cristian RosaWIP on simcalls: fd8c267 Stop making direct calls to... tree | commitdiff
2012-11-28 Cristian RosaKill unused macro. tree | commitdiff
2012-11-28 Cristian RosaMove Hosts related simcalls to the new API. tree | commitdiff
2012-11-28 Cristian RosaAdd new type of scalar value 'STRING' for const char* tree | commitdiff
2012-11-28 Cristian RosaExtend definition of simcalls to include a pointer... tree | commitdiff
2012-11-28 Cristian RosaMove SIMCALL_HOST_EXECUTE to the new simcall architectu... tree | commitdiff
2012-11-28 Cristian RosaAdd new simcall interface definitions. tree | commitdiff
2012-11-28 Cristian RosaExtend definition of simcalls to include a pointer... tree | commitdiff
2012-11-28 Cristian RosaMove SIMCALL_HOST_EXECUTE to the new simcall architectu... tree | commitdiff
2012-11-28 Cristian RosaAdd new simcall interface definitions. tree | commitdiff
2012-11-28 Marion Guthmullermodel-checker : init result of simcalls for snapshot... tree | commitdiff
2012-11-23 Arnaud GierschMerge branch 'killgraskill' tree | commitdiff
2012-11-23 Arnaud GierschKill more references to GRAS. tree | commitdiff
2012-11-23 Arnaud GierschRename gras_config to internal_config. tree | commitdiff
2012-11-23 Arnaud GierschMove check at another place where it doesn't break... tree | commitdiff
2012-11-22 Martin Quinsoncomments, debugs and other minor glitches tree | commitdiff
2012-11-22 Martin Quinsonkill synchronized dynars: we don't need them and they... tree | commitdiff
2012-11-19 Martin Quinsonadd the TLA specification of the simix network layer... tree | commitdiff
2012-11-18 Marion Guthmullermodel-checker : ignore some variables enabled with... tree | commitdiff
2012-11-15 Marion Guthmullermodel-checker : factorize code for safety and liveness... tree | commitdiff
2012-11-12 Marion Guthmullermodel-checker : Add statistics about comparison times... tree | commitdiff
2012-11-12 Augustin Degommecosmetics and fix ugly bug in windows code tree | commitdiff
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... 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-11 Marion Guthmullermodel-checker : add ignore mechanism for global variabl... tree | commitdiff
2012-11-09 Marion Guthmullermodel-checker : add size of stack in parameter of the... tree | commitdiff
2012-11-09 Augustin Degommeadd a function in xbt to allow setting the stack size... tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : add local variables from xbt/ex.h in... tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : ignore some local variables from xbt... tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : add ignore mechanism for comparison... tree | commitdiff
2012-10-28 Arnaud GierschFix compilation without MC. tree | commitdiff
2012-10-27 Marion Guthmullermodel-checker : New public functions to take a snapshot... 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-25 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-25 navarroFix compilation and configuration since win commits 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 navarroDelete some warning during the ref_guide build tree | commitdiff
2012-10-24 Maximiliano GeierPull changes to push BitTorrent fix 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 QuinsonCancel the comms of leaving processes instead of destro... tree | commitdiff
2012-10-16 Martin Quinsons/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly... tree | commitdiff
2012-10-15 Martin Quinsonensures that runall is never called on empty set tree | commitdiff
2012-10-12 navarroCompilation with warning flags tree | commitdiff
2012-10-12 navarroOups rename function tree | commitdiff
2012-10-12 navarroAdd first steps to explain How to add a new model in... tree | commitdiff
2012-10-12 navarroFirst steps for making a tutorial on How to create... tree | commitdiff
2012-10-11 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-11 Arnaud GierschDefine _GNU_SOURCE in xbt/misc.h, so that it's defined... tree | commitdiff
2012-10-10 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-10-10 Arnaud GierschRemove unused function. tree | commitdiff
2012-10-10 Arnaud GierschReorder includes. tree | commitdiff
2012-10-08 Marion Guthmullermodel-checker : restore struct smx_ctx_sysv in smx_cont... tree | commitdiff
2012-10-07 Marion Guthmullermodel-checker : forget include ucontext.h for struct... tree | commitdiff
2012-10-06 Marion Guthmullermodel-checker : remove maestro stack from stack comparison tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : extend MC_ignore mechanism for global... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : move struct s_smx_ctx_sysv in smx_priva... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : ignore stack areas in heap comparison... tree | commitdiff
2012-10-04 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-10-03 Arnaud GierschUse xbt_abort instead of abort. tree | commitdiff
2012-10-03 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-10-02 Martin QuinsonEnsures that SIMIX_clean is called automatically tree | commitdiff
2012-09-28 Augustin Degommevarious fixes for probing/testing tree | commitdiff
2012-09-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... 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-17 Arnaud GierschMove instruction at proper place. tree | commitdiff
2012-09-17 Arnaud GierschQ&D reindent. tree | commitdiff
2012-09-11 navarroAdd a function ls to storage tree | commitdiff
2012-09-06 navarroAdd a simcall for as and router property tree | commitdiff
2012-08-21 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-08-21 jean-noel quintin[smpi,simix-network] remove a useless function tree | commitdiff
2012-08-18 Marion Guthmullermodel-checker : init result of simcalls for snapshot... 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éMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-08-08 Augustin Degommeadd getter/setter functions in simix to access more... tree | commitdiff
2012-08-07 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-08-07 Augustin Degommeadd an immediate asynchronous send possibility for... 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-03 Jean-Baptiste HervéPlatform generation can now be used with MSG tree | commitdiff
2012-08-02 Martin Quinsonmore verbose error messages tree | commitdiff
next
Clone of SimGrid repository with local patches