Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
further cleanups of the MC protocol (and fix its build :)
[simgrid.git] / src / mc / mc_unw.h
2017-07-16 Martin Quinsonfurther cleanups of the MC protocol (and fix its build :)
2017-07-16 Martin QuinsonMC: rename process into RemoteClient
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com...
2017-05-25 Martin Quinsoncut some more includes
2017-05-23 Frederic Sutera few more smells
2017-03-08 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-03-08 Martin Quinsonfix copyright years and other psychotic cleanups
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
2016-06-12 Martin Quinsonspellcheck mc. Don't ask why
2016-03-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-29 Gabriel Corona[mc] Dump the current trace when the model-checked...
2016-03-15 Gabriel Corona[mc] Move unwinding glue in a UnwindContext class
2016-03-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-15 Gabriel Corona[mc] Move process_vm_readv-based implementation of...
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/cleanup/fix some #include
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-10-25 Martin QuinsonReduce the amount of implicit include directories
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-10-09 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-09 Gabriel Corona[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp
2015-10-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-01 Gabriel Corona[mc] Mark some internal symbols as hidden on ELF in mc
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
2015-08-05 Martin QuinsonUpdate copyright notices
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-07-23 Gabriel Corona[mc] Remove a lot of typedefs and typedef usage
2015-07-14 Martin QuinsonMerge pull request #17 from mpoquet/master
2015-06-29 Gabriel Corona[mc] Fix include guards
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-06-09 Gabriel Corona[mc] Make s_mc_snapshot_stack::context not a pointer
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-05-07 Gabriel Corona[mc] Mark many MC symbols as hidden
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-01-30 Gabriel Corona[mc] Remote unwinding support