Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker : MUTEX_UNLOCK is invisible for MC
[simgrid.git] / src / xbt /
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2015-01-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-01-05 Augustin Degommeavoid breaking with recent freebsd that implement this... tree | commitdiff
2014-12-12 Augustin Degommedoc update for new appenders tree | commitdiff
2014-12-12 Augustin DegommePatch by F.Chaix : add two "new" log appender methods... tree | commitdiff
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-12-01 Gabriel CoronaUse pthread mutex instead of semaphore in mm tree | commitdiff
2014-12-01 Gabriel Coronas/formated/formatted/ tree | commitdiff
2014-12-01 Gabriel Corona[mc] Initial support MC record/replay tree | commitdiff
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is... tree | commitdiff
2014-11-21 Gabriel CoronaMerge branch 'xp' tree | commitdiff
2014-11-18 Gabriel CoronaInfrastructure for statically defined tracepoints tree | commitdiff
2014-11-18 Martin Quinsontypo -= 2 tree | commitdiff
2014-11-17 Gabriel Corona[mm] Disable HAVE_GNU_LD code in order to get rid of... tree | commitdiff
2014-11-02 Martin Quinsonrename smx_action_t to smx_synchro_t tree | commitdiff
2014-11-01 Martin Quinsonfinish the s/smurf/popping/ renaming tree | commitdiff
2014-11-01 Martin QuinsonRemove the 'TUTORIAL: New API' chunks tree | commitdiff
2014-10-31 degommesmall correction tree | commitdiff
2014-10-31 degommeprovide user-friendly errors when replay encounters... tree | commitdiff
2014-10-22 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-10-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-10-15 Martin QuinsonI'm not sure of why flexml generated a different flex... tree | commitdiff
2014-10-13 Lucas Mello SchnorrMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-10-13 Gabriel Corona[mmalloc] Expand the junkarea tree | commitdiff
2014-10-13 Gabriel Corona[mmalloc] Fix junkarea handling in free tree | commitdiff
2014-10-09 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-10-07 Martin Quinsonmissing call to XBT_LOG_CONNECT tree | commitdiff
2014-09-19 Augustin Degomme[xbt/surf] Change the costly heapremove+heapinsert... tree | commitdiff
2014-09-11 Augustin Degommeavoid warnings (and errors) without debug enabled tree | commitdiff
2014-08-29 Gabriel CoronaMerge branch 'mc' tree | commitdiff
2014-08-28 Augustin DegommeAdd a xbt wrapper for simcall_mutex_trylock (asked... tree | commitdiff
2014-08-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-08-18 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-08-18 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-08-18 etortilopezadded option to bind threads to physical cores tree | commitdiff
2014-08-11 Paul BédarideAdd vm tesh tree | commitdiff
2014-08-08 Augustin DegommeAttempt for a macos version of the threadtimer tree | commitdiff
2014-08-08 Augustin DegommeDo not have cputime and threadtime return a no-op when... tree | commitdiff
2014-08-07 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-08-06 Martin Quinsonreact correctly if an exception does not originates... tree | commitdiff
2014-08-06 Martin Quinsonmake public the function that can display an exception tree | commitdiff
2014-08-06 Martin Quinsonuseless cleanups tree | commitdiff
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-07-25 Gabriel CoronaMerge branch 'mc' tree | commitdiff
2014-07-24 Gabriel CoronaMerge remote-tracking branch 'origin/mc-fastsnapshot... tree | commitdiff
2014-07-22 Gabriel Corona[mc] Disable soft-dirty page tracking by default tree | commitdiff
2014-07-21 Gabriel Corona[mmalloc] Force metadata update in mmalloc/mrealloc tree | commitdiff
2014-07-21 Gabriel Corona[mmalloc] Add mmcheck() which checks mmalloc heap consi... tree | commitdiff
2014-07-21 Gabriel Corona[mmalloc] Add new block type for heapinfo blocks tree | commitdiff
2014-07-11 Gabriel Corona[mmalloc] Add documentation tree | commitdiff
2014-07-11 Gabriel Corona[mmalloc] Avoid useless memset0 tree | commitdiff
2014-07-08 Gabriel CoronaMerge branch 'mc-fix' into mc-fastsnapshot tree | commitdiff
2014-06-27 Gabriel CoronaMerge branch 'mc' tree | commitdiff
2014-06-27 Gabriel CoronaMerge branch 'mc-fastsnapshot' into mc tree | commitdiff
2014-06-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-06-26 Augustin DegommeChange send/isend simcalls to add a new parameter ... tree | commitdiff
2014-06-18 Paul BédarideMerge branch 'v3_11_x' tree | commitdiff
2014-06-13 Gabriel Corona[mc] Page-level sparse snapshot: work-in-progress,... tree | commitdiff
2014-06-12 Arnaud GierschIncrease size of junk area to 32 KiB in mm_legacy.c. tree | commitdiff
2014-06-05 Gabriel CoronaRemove comment which has not been accurate for a long... tree | commitdiff
2014-06-02 Arnaud GierschMake xbt_free a function-like macro. tree | commitdiff
2014-05-30 Marion Guthmullermodel-checker : cleanups, refactoring and apply indent... tree | commitdiff
2014-05-28 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-05-27 Martin Quinsonone more line of doc tree | commitdiff
2014-05-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-05-27 Stéphane CastelliMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-05-27 Arnaud GierschConnect new log category. tree | commitdiff
2014-05-26 Gabriel CoronaMerge branch 'master' into mc tree | commitdiff
2014-05-26 Stéphane CastelliFix some bugs in fat trees tree | commitdiff
2014-05-22 Gabriel CoronaRevert "[mmalloc] Use mremap to expand heaps (heap... tree | commitdiff
2014-05-21 Arnaud GierschAdd some words about %e fore spaces in logs. tree | commitdiff
2014-05-21 Martin QuinsonWhen the parameter parser is jammed, display the full... tree | commitdiff
2014-05-21 Martin Quinsonadd some doc about the trap I just felt into tree | commitdiff
2014-05-18 Martin Quinsonfurther document the parmap mess. Next step should... tree | commitdiff
2014-05-16 Gabriel CoronaMerge branch 'mc_without_ksm' into mc tree | commitdiff
2014-05-16 Gabriel Corona[mc] Avoid memsetting twice tree | commitdiff
2014-05-16 Gabriel Corona[mc] Move mm_diff in mc/ tree | commitdiff
2014-05-16 Gabriel Corona[mc] Use the actual heap size when testing if an addres... tree | commitdiff
2014-05-16 Gabriel Corona[mc] Comments/documentation of memory related code tree | commitdiff
2014-05-14 Stéphane CastelliAdd a routing for fat trees tree | commitdiff
2014-05-13 Stéphane CastelliThe tag cluster accepts the topology fat_tree tree | commitdiff
2014-05-13 Gabriel Corona[mmalloc] Use mremap to expand heaps (heap collision... tree | commitdiff
2014-05-12 Henri CasanovaMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-05-12 Arnaud GierschSet return value. tree | commitdiff
2014-05-12 Arnaud GierschFix dead assignments. tree | commitdiff
2014-05-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-05-07 Stéphane CastelliMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-05-06 Augustin Degommehave barrier_wait return XBT/MSG_BARRIER_SERIAL_PROCESS... tree | commitdiff
2014-05-06 Augustin Degommeadd msg and xbt versions of barrier. tree | commitdiff
2014-05-05 Stéphane CastelliMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-05-05 Arnaud GierschDon't use xbt_assert for error checking, it may be... tree | commitdiff
2014-04-25 Augustin Degommenew flex run tree | commitdiff
2014-04-25 Stéphane CastelliMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-04-24 Gabriel Corona[mmalloc] Extends the junk area and use finer grained... tree | commitdiff
2014-04-22 Stéphane CastelliMerge branch 'smpi-topo' tree | commitdiff
2014-04-15 Stéphane CastelliAdded some work in the creation of links in the fat... tree | commitdiff
2014-04-14 Gabriel Corona[mc] Only enable KSM on snapshots and not on main memory tree | commitdiff
2014-04-14 Stéphane CastelliMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-04-14 Gabriel CoronaMerge branch 'mc-perf' tree | commitdiff
2014-04-14 Gabriel Corona[mc] Avoid allocation/deallocation in init_heap_information tree | commitdiff
next
Clone of SimGrid repository with local patches