Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : break forgotten in switch
[simgrid.git] / src / simix / network_private.h
2012-01-11 Marion Guthmullermerge conflicts resolved
2012-01-09 Martin QuinsonMerge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
2012-01-06 Christophe ThiéryMerge branch 'smpi'
2012-01-05 Christophe ThiéryExport SIMIX_rdv_remove and fix debug messages
2011-12-26 Martin QuinsonFurther investigate the dsend issue, in vain so far
2011-03-15 thieryMake SIMIX_comm_start() public (for a while :))
2011-02-08 thierySimix: add requests to make isend+wait or irecv+wait...
2011-02-01 thieryRemove SIMIX requests that get src and dst buffers...
2011-01-31 cristianrosaAdd MSG_task_dsend function to MSG.
2011-01-20 cristianrosaLet the model-checker decide if the wait transitions...
2011-01-20 cristianrosaTranslate the executed TestAny and WaitAny requests...
2011-01-05 cristianrosaAdd suport for TestAny and WaitAny requests to the...
2010-12-14 mquinsonfix a bunch of compilation warnings
2010-12-07 piniDistinguish access to sender-side and receiver-side...
2010-12-07 cristianrosaAdd support for custom communication matching to SIMIX...
2010-12-07 mquinsonimplement simix_comm_testany properly
2010-12-02 thieryClean indentation and coding style in SIMIX
2010-12-02 thieryBiggest commit ever (SIMIX2): the user processes can...