Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move the stack as field of SafetyChecker and CommDetChecker
[simgrid.git] / src / simix /
2016-03-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-29 Gabriel Corona[mc] Let the Checker give us the current record trace
2016-03-26 Martin Quinsoncleanups in the parsing
2016-03-23 Gabriel Corona[mc] Fix process_time handling
2016-03-20 Martin Quinsonobjectifies surf::Action::State
2016-03-20 Martin Quinsonkill some dead code
2016-03-15 Gabriel Corona[mc] Remove C typedefs (mc_foobar_t) and mc_forward.h
2016-03-13 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-03-13 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-11 Gabriel Corona[mc] Rename mc_client.{h,cpp} to Client.{hpp,cpp}
2016-03-11 Gabriel Corona[mc] Encapsulate model-checker/model-checker communicat...
2016-03-10 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-10 degommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-09 Martin Quinsonkill the portable header
2016-03-09 degommemissing #if (breaking build without smpi)
2016-03-09 Gabriel CoronaAdd missing #include
2016-03-09 Gabriel CoronaFix PROCESSOR_ flags
2016-03-09 Gabriel CoronaFix HAVE_FOOBAR flags handling
2016-03-09 Martin Quinsonempty portable.h and spread the include in files
2016-03-09 Martin QuinsonRevert "thread_local is C++11, remove the portability...
2016-03-08 Martin Quinsonthread_local is C++11, remove the portability layer
2016-03-08 Martin Quinsonuse #if instead if #ifdef for the things in the public...
2016-03-08 Gabriel Corona[mc] Remove the SNAPSHOT and COMPARE_SNAPSHOTS MC simcalls
2016-03-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-08 Martin Quinsonuseless cosmetics in internal config header
2016-03-07 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-07 Martin Quinsonremove internal definitions from public config header
2016-03-07 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-07 Martin Quinsonadd a verbose message to the Boost contexts
2016-03-07 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-07 Martin QuinsonBummer, don't display a macro that we just tested to...
2016-03-07 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-03-07 Martin Quinsontry to fix the build of sysv contexts on windows
2016-03-07 Martin Quinsoncmake: further cleanups in the detection of sysv variables
2016-03-07 Martin Quinson[cmake] simplify the detection of the ucontext stack...
2016-03-06 Martin Quinson[cmake] remove some more useless tests (and includes)
2016-03-06 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-06 Martin Quinsoncleanups in internal_config.h
2016-03-06 Martin Quinsonkill our _XBT_WIN32. Standard _WIN32 is sufficient
2016-03-06 Martin Quinson'inline' is C99, remove portability the layer
2016-03-06 Martin Quinsontry to not specify any calling convention on windows
2016-03-06 Martin Quinsonfirst cleanups in the WIN32 preprocessor stuff
2016-03-04 Martin Quinsondon't even try to have ucontextes on windows.
2016-03-04 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-04 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-04 Julien GossaMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-04 degommeConflicting declaration.
2016-03-04 degommeoops
2016-03-04 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-04 degommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-04 degommeThis was not compiling when sizeof(unsigned long) ...
2016-03-04 Julien GossaMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-04 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-04 Martin Quinsonkill the latency_bound experiment in our codebase
2016-03-03 Julien GossaSTFU you damn VM
2016-03-02 Martin Quinsonfix my previous commit, sorry
2016-03-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-01 Martin Quinsonmove surf::As to s4u::As
2016-03-01 Martin Quinsoninline a function called once
2016-03-01 Martin Quinsonrename smx_rdv_t into smx_mailbox_t. One day it will...
2016-02-29 Julien GossaMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-29 Martin QuinsonSIMIX_process_self_{set,get}_data can retrieve the...
2016-02-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-28 Martin Quinsonsome useless cleanups
2016-02-27 Martin QuinsonMerge pull request #65 from fabienchaix/master
2016-02-26 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel CoronaRemove some #include
2016-02-25 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-25 Martin Quinsonremove useless header inclusions
2016-02-25 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-25 Martin QuinsonImplem? I meant Impl, as in pimpl. Sorry for the noise
2016-02-24 Martin Quinsonkill two almost empty files by inlining the contained...
2016-02-24 Martin QuinsonLet's call sg::surf::host a HostImplem
2016-02-24 Martin Quinsonconvert S4U to my current coding convention
2016-02-24 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-02-24 Martin Quinsontry to sort out the surf headers a bit, if possible
2016-02-24 Fabien ChaixMerge branch 'oldstyle_element_set'
2016-02-23 fabienchaixMerge pull request #2 from mquinson/master
2016-02-22 Gabriel CoronaPython: align style with PEP-008
2016-02-22 Gabriel Corona[mc] Fix context registration which was disabled by...
2016-02-21 Martin Quinsoncosmetics: kill useless functions of the C surf API...
2016-02-21 Martin Quinsonbanish some surf parsing files to a src/surf/xml jail
2016-02-20 Martin Quinsonsurfxml: better error checking, and less include of...
2016-02-20 Martin QuinsonMerge branch 'coverity_scan' of github.com:mquinson...
2016-02-11 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-11 Gabriel Corona[mc] Fix UContext::wrapper
2016-02-11 Martin Quinsonwoopsie, it wasn't supposed to be commited
2016-02-11 Martin Quinsontiny cleanups in the parsing of clusters
2016-02-09 Martin Quinsoncosmetics
2016-02-09 Gabriel Corona[simix] Use std::function for the maestro callback...
2016-02-09 Gabriel Corona[simix] Attach context
2016-02-07 Martin Quinsoncosmetics
2016-02-06 Martin Quinsonsed -i -e 's/\t/ /g' [sources] Please people, stop...
2016-02-06 Martin QuinsonMerge pull request #59 from fabienchaix/master
2016-02-05 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
next