Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : MUTEX_UNLOCK is invisible for MC
[simgrid.git] / src / xbt / xbt_queue.c
2014-03-06 Gabriel CoronaMerge branch 'mc' into mc++
2014-02-28 Gabriel CoronaMerge branch 'mc++' into mc-merge
2014-02-24 Gabriel CoronaMerge 'master' into mc
2014-02-05 Arnaud GierschAdd/update copyright notices.
2013-11-08 Paul BédarideMerge branch 'hypervisor' of git+ssh://scm.gforge.inria...
2013-11-08 Paul BédarideMerge tag 'v3_9_90' into hypervisor
2013-10-30 Paul BédarideMerge commit '045db1657e870c721be490b411868f4181a12ced...
2013-09-26 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-09-25 Arnaud GierschDig through git history, and update copyright lines.
2013-02-21 Takahiro HirofuchiMerge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
2013-02-21 alebreMerge with master and fix conflicts
2013-02-19 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-14 Arnaud GierschRemove remaining traces from synchronized dynars.
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2012-11-27 Jonathan Rouzaud... update
2012-11-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-23 Arnaud GierschMerge branch 'killgraskill'
2012-11-23 Arnaud GierschKill xbt_dynar_dopar().
2012-11-22 Martin Quinsonfirst try at killing GRAS -- does not compile yet
2012-05-24 Martin Quinsonhere lucas: =<G>= (you deserve it). Closes #14324
2011-12-26 Martin Quinsonmerge back the master trunk into the smpi branch
2011-11-22 Marion Guthmullermerge conflicts
2011-11-14 Arnaud GierschUse xbt_XXX_is_empty() instead of testing xbt_XXX_lengt...
2011-10-20 Martin Quinsonmerge branches
2011-07-19 Pierre-Nicolas ClaussMerge back master branch.
2011-06-23 Arnaud GierschUse CATCH_ANONYMOUS whenever possible, and remove unuse...
2011-03-24 agierschUse new macros THROWF and RETHROWF.
2011-02-22 agierschRemove useless double parentheses in function calls.
2011-02-17 agierschUse new style logging macros.
2010-11-24 mquinsonBe less picky about the passed arguments
2010-10-11 alegrandIndent include and src using this command:
2010-04-25 mquinsonFix copyright headers
2010-04-25 mquinsonKill old $Id$ command dating from CVS
2009-05-26 mquinsonReindent everything (possibly breaking all branches...
2008-09-10 mquinsonreindent (with eclipse)
2008-06-04 mquinsonMake sure all the source files have an reference of...
2008-05-20 mquinsonRewrite the timeout computation to reduce numerical...
2008-05-19 mquinsonAlso release the mutex when I didn't got what I wanted
2008-05-14 mquinsonIf the queue is empty after the timeout, do raise an...
2007-10-25 cheriermMost of this change is the consequence of the refactori...
2007-09-21 cheriermadapt the prototypes of the declaration to the prototyp...
2007-07-19 mquinsonFix delay semantic (hopefully)
2007-07-16 donassbrCorrected bug.
2007-07-14 mquinsonmore informative error message
2007-07-13 mquinsonfix doxygen
2007-07-13 donassbrAdded xbt_os_time and xbt_os_sleep. Execute in the...
2007-07-12 donassbrCorrected mutex unlocking.
2007-07-10 mquinsonadd the ability to specify a timeout on waiting a condi...
2007-07-10 mquinsonsanitize file naming space