Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get std_heap with mmalloc_get_current_heap instead of function argument
[simgrid.git] / src / simix /
2012-06-08 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-05 Martin Quinsonavoid double free issues when on host failure+process run
2012-06-05 Martin QuinsonBug fixes around the resource failures in Simix
2012-06-04 Arnaud GierschDeclare as "unsigned" bit fields used as boolean.
2012-06-04 Arnaud GierschCosmetics: align comment.
2012-06-04 Christophe ThiéryA boolean should be unsigned if you want to compare...
2012-06-02 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-01 Arnaud GierschUse XBT_PARMAP_DEFAULT as default SIMIX parallel mode.
2012-05-30 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-30 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-29 Martin Quinsonmake it clear that this is a boolean field
2012-05-29 Martin QuinsonImprove an error message
2012-05-29 navarroMust have init MSG/SD/GRAS before using mutex
2012-05-29 navarroCosmetics
2012-05-29 navarroRemove wrong copy past
2012-05-29 navarroAdd MSG_process_set_kill_time
2012-05-22 Frederic Suterthe "amount" field leads to weird behaviors when dealin...
2012-05-15 Arnaud LegrandSet up documentation for simix
2012-05-14 Martin Quinsonadd a short proof of corectness. should work too
2012-05-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-05-14 Martin Quinsonargument why parallel execution don't jeopardize reprod...
2012-05-14 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-14 Arnaud GierschRemove old cruft.
2012-05-10 Martin Quinsonimprove a comment on my way
2012-05-10 Martin QuinsonMore debugs around process suspension
2012-05-10 Martin Quinsonallow a process blocked on a communication that didn...
2012-05-10 Martin Quinsontypo
2012-05-09 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-04 Arnaud LegrandGet rid of intrusive check now that suspend, resume...
2012-05-04 Arnaud LegrandBetter coverage of SIMIX_process_suspend and resume.
2012-05-03 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-03 Arnaud LegrandMake the suspend/resume work while a process is in...
2012-05-03 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-04-28 Martin QuinsonI forgot to update my tree before commiting (once again...
2012-04-27 Martin QuinsonMerge all public simix headers, and distribute them...
2012-04-27 Martin QuinsonEnhance the communication filtering mechanism
2012-04-27 navarroUpdate tesh for kill start time.
2012-04-27 navarroRewrite the kill_time mecanism.
2012-04-27 Arnaud GierschRevert "got a "might be clobbered by ‘longjmp’ or ...
2012-04-27 Arnaud GierschCosmetics: a switch..case is clearer here.
2012-04-27 Arnaud GierschCosmetics: misleading indentation.
2012-04-27 Arnaud GierschReinitialize waiting_action at proper place.
2012-04-27 Frederic Sutergot a "might be clobbered by ‘longjmp’ or ‘vfork’"...
2012-04-26 Arnaud LegrandProcess that suspend themselves now create the correspo...
2012-04-26 Arnaud LegrandThis function has no reason to go public.
2012-04-26 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-04-26 Duco van AmstelFixed some compilation issues (warnings) in last commits
2012-04-25 Arnaud LegrandDo not try to resume a dying process. The corresponding...
2012-04-25 Arnaud LegrandEnsure that the same process never appears twice in...
2012-04-25 Arnaud LegrandMake sure that kill simcalls are processed (with SIMIX_...
2012-04-25 Arnaud LegrandFix a very old typo...
2012-04-25 Arnaud LegrandLame attempt to make cleanup and kill coexist
2012-04-25 Arnaud LegrandOn a timeout we do not wait anymore on a task.
2012-04-25 Arnaud LegrandThis commit partially reverts commit 4e0c8570051df3f711...
2012-04-22 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-04-20 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-04-10 navarroFix compilation error with gcc4.4
2012-04-03 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-04-03 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-04-03 navarroImplement file stat for storage model.
2012-04-03 navarroReturn result on SIMIX_post_io
2012-04-03 navarroReorganize storage structures (msg, smx and surf) and...
2012-04-03 navarroMake smx_file_t, surf_file_t and msg_file_t
2012-03-30 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-03-30 Arnaud GierschDeclare the main log categories into their respective...
2012-03-28 Arnaud GierschMove all XBT_LOG_CONNECT into one place.
2012-03-28 Arnaud GierschCosmetics: sort calls to XBT_LOG_CONNECT.
2012-03-28 Arnaud GierschRemove useless use of XBT_LOG_EXTERNAL_CATEGORY.
2012-03-28 Arnaud GierschRemove references to undefined log categories.
2012-03-27 schnorrcosmetics, fix indentation
2012-03-27 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-03-26 Arnaud Legrandtypo--
2012-03-26 navarroFirst step to return value on storage model.
2012-03-26 navarroRemove surf_file_t and smx_file_t for only m_file_t
2012-03-23 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-03-22 Arnaud GierschStupid error.
2012-03-22 Arnaud GierschSimplify the construction af argv on process creation.
2012-03-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-03-05 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-03-02 navarroAdd storage to functions
2012-02-28 Martin Quinsonimplement a SIMIX_processes_as_dynar() function
2012-02-21 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-02-21 Arnaud GierschFix format strings to match their arguments.
2012-02-21 Arnaud GierschSIMIX_context_runall() doesn't take any argument.
2012-02-21 Arnaud GierschCast is mandatory here.
2012-02-21 unknownFix raw_makecontext and raw_swapcontext on win64
2012-02-21 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-02-21 navarroAdd function read write open close and stat to workstat...
2012-02-13 Arnaud GierschAvoid to throw an exception, and catch it just below.
2012-02-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-02-07 Arnaud GierschRemove bogus inline declarations in private interface.
2012-02-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-01-31 navarroUse m_file_t instead of m_file_t*
2012-01-31 Arnaud GierschRemove duplicate declaration for smx_file_t.
2012-01-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-01-31 navarroImplement file open read and stat in simix.
2012-01-31 navarroMake the commit on file read and write compile with...
2012-01-31 navarroSorry change SIMCALL_FILE_READ FOR SIMCALL_FILE_WRITE...
2012-01-31 navarroImplement functions file_read and file_open into simix...
2012-01-30 Marion Guthmullermerge conflict resolved
next