Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add comments for the example bugged2_liveness
[simgrid.git] / examples / msg / masterslave / masterslave_failure.c
2011-11-22 Marion Guthmullermerge conflicts
2011-11-07 Christophe ThiéryAdd some _XBT_GNUC_UNUSED to avoid compilation warnings...
2011-03-24 agierschRemove usage of xbt_assert[0-9].
2011-03-01 thieryRemove side effects from xbt_asserts calls
2011-02-22 agierschReplace xbt_die(bprintf(...)) with xbt_die(...).
2011-02-17 navarropRemove all xbt_assert.*(0,FALSE or NULL for xbt_die
2011-02-17 agierschUse new style logging macros.
2011-01-25 thieryFinally beat the communication failure leaks of MSG
2010-10-11 alegrandIndent the rest of the code (examples, buildtools,...
2010-04-25 mquinsonFix copyright headers
2010-03-30 mquinsonRename configuration variables *_model into */model...
2010-03-23 mquinsonRename MSG_TIMEOUT_FAILURE into MSG_TIMEOUT for sake...
2010-03-02 mquinsonKill the MSG_paje_output() function. It's a noop since...
2009-10-20 mquinsonAdapt tests to the fact that we can now detect that...
2009-05-26 mquinsonReindent everything (possibly breaking all branches...
2008-01-11 cheriermUsage of xbt_new0 instead calloc
2007-08-14 alegrandAdding a masterslave example with failures.