Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add #includes in cpu_interface.hpp
[simgrid.git] / src /
2016-04-25 Gabriel CoronaAdd #includes in cpu_interface.hpp
2016-04-25 Gabriel CoronaFix bad pointer cast in the L07 model
2016-04-24 degommeleaks --
2016-04-24 Martin Quinsonstart converting option names to kebab-case
2016-04-23 Martin QuinsonRevert "We never use the name of the mailbox"
2016-04-23 Martin Quinsonpopulate s4u::mailbox
2016-04-23 Martin Quinsonkill an unused MSG function
2016-04-23 Martin QuinsonWe never use the name of the mailbox
2016-04-23 Martin Quinsonprevent an invalid memory access when using killtime
2016-04-23 Martin QuinsonCalling front() on empty deque is undefined
2016-04-23 Martin Quinsonthis is C++
2016-04-22 degommeFor iprobes, we don't want to remove matching comms...
2016-04-22 Martin Quinsonkill a useless include that breaks the MC build
2016-04-22 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-22 Martin Quinsonfurther cleanups in mailboxes
2016-04-22 Gabriel CoronaFix printf format
2016-04-22 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-22 Martin QuinsonUse std::deque instead of xbt_fifo within mailboxes
2016-04-22 Martin Quinsondon't include a smx private header in xbt implem
2016-04-21 Martin Quinsonremove some half baken functions cluttering the mailboxes
2016-04-21 Martin Quinsonprune some useless code in mailboxes
2016-04-21 Martin Quinsoncleanups in mailbox module init/fini
2016-04-21 Martin Quinsonuseless global variable, hindering MC equality
2016-04-21 Martin Quinsonkill an unused function
2016-04-21 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-21 Martin Quinsonrefactor rdv to mailbox for consistency
2016-04-21 Martin Quinsonrename a struct for consistency
2016-04-21 Martin QuinsonJava: simplify a bit Task.receive()
2016-04-21 degommeleaks --
2016-04-20 degommeAttempt to improve lifecycle of MPI_Comm and MPI_Group.
2016-04-20 Christian Heinrich[INSTR] Remove duplicated code in new_pajePushState()
2016-04-20 Martin QuinsonPlug 2 memleaks
2016-04-20 Martin Quinsonanother leak dies
2016-04-20 Martin Quinsonspellchecking instead of sleeping
2016-04-19 Martin Quinsonkill MSG_gpu_task_create. Was unused and unusable
2016-04-19 degommedon't leave debug messages
2016-04-19 degommeAdd an informative verbose message when entering MPI...
2016-04-19 degommeTry to handle more cleanly MPI Datatypes. Still not...
2016-04-19 degommeThis caused an invalid read in replay_multiple, as...
2016-04-19 Gabriel Corona[mc] Fix error in computation of Frame range when DW_AT...
2016-04-19 Gabriel Corona[mc] Fix ObjectInformation address computation
2016-04-19 degommeRMA requests were not marked as detached, causing some...
2016-04-19 degommesometimes, maxdims is too much
2016-04-18 degommekeep in mind the size of sub-datatype, to avoid some...
2016-04-18 Gabriel Corona[mc] Fix loop bound checking using heaplimit
2016-04-18 Gabriel CoronaClear errno when throwing an errno exception
2016-04-18 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-18 Gabriel CoronaRevert "What's not malloced cannot be leaked"
2016-04-18 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-18 Gabriel CoronaRewrite/simplify the C++ flag declaration
2016-04-18 Gabriel CoronaUse new/delete for s_xbt_cfgelm_t
2016-04-18 Gabriel CoronaMove the config.c code in C++
2016-04-17 Martin Quinsonstorage: plug a dumb memleak
2016-04-17 Martin QuinsonWhat's not malloced cannot be leaked
2016-04-17 Martin Quinsonplug a memleak in Threaded maestro creation
2016-04-17 Martin Quinsonplug some more memleaks
2016-04-17 Martin Quinsonplug a memleak
2016-04-15 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-14 degommegcc 6 warning --
2016-04-14 Gabriel Corona[mc] Fix this != nullptr remaining from previous refact...
2016-04-14 Gabriel Corona[mc] Remove unused declarations
2016-04-14 Gabriel Corona[mc] Remove spurious declaration (remaining from previo...
2016-04-14 Gabriel Corona[mc] Move the remaining restoreState() into Commuinicat...
2016-04-14 Gabriel Corona[mc] Duplicate restoreState() as a method of SafetyChecker
2016-04-14 Gabriel Corona[mv] Remove soft-darty tracking
2016-04-14 Gabriel Corona[mc] Rename replay() function to restoreState()
2016-04-14 Gabriel Corona[mc] Move mc_global stuff into CommunicationDeterminism...
2016-04-14 Gabriel Corona[mc] Move mc_global stuff into LivenessChecker
2016-04-14 Gabriel Corona[mc] Move initial state into Session
2016-04-14 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-13 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-13 Gabriel Corona[mc] Remove useless bits
2016-04-13 Gabriel Corona[mc] Move MC_report() functions as static functions...
2016-04-13 Gabriel Corona[mc] Remove mc_stats and move remaining stats in ModelC...
2016-04-13 Gabriel Corona[mc] Remove mc_stats.state_size (not used)
2016-04-13 Gabriel Corona[mc] Move mc_stats.expanded_states into the Checkers
2016-04-13 Martin Quinsonalso provide an informative error message when Java...
2016-04-13 Gabriel CoronaRemove useless #includes
2016-04-13 Gabriel Corona[mc] Livenesschecker, make private stuff private
2016-04-13 Gabriel Corona[mc] Move liveness stats out of mc_stats into LivenessC...
2016-04-13 Gabriel Corona[mc] Delegate some part of Session::logState() to Check...
2016-04-13 Gabriel Corona[mc] Move MC_print_statistics() as Session::logState()
2016-04-13 Gabriel Corona[mc] Remove old dual-stack-related comment
2016-04-13 Gabriel Corona[mc] Use Session::execute() in LivenessChecker as well
2016-04-13 Gabriel Corona[mc] Remove useless model-checker/model-checked round...
2016-04-13 Gabriel Corona[mc] Add methods to Session
2016-04-13 Gabriel Corona[mc] s/getRecordElement/getTransition/
2016-04-13 Gabriel Coronasimgrid::config::flag, a more declarative way to descri...
2016-04-12 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-12 Martin Quinsonmore informative message when java needs libcgraph
2016-04-11 degommeChange underlying datatype for some fortran ones (MPI_A...
2016-04-11 Gabriel Corona[mc] Rename RecordTraceElement as Transition and use...
2016-04-11 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-10 Martin Quinsonkill an unused layer of code
2016-04-09 Martin Quinsoncosmetics
2016-04-09 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-08 degommetry to get rid of random crashes in RMA.
2016-04-08 Martin Quinsonuseless psychotic cleanup
2016-04-08 Martin Quinson__FUNCTION__ is now in the standard
next