2017-06-19 |
Martin Quinson | Merge pull request #190 from Takishipp/clean_events |
tree | commitdiff |
2017-06-17 |
Martin Quinson | Merge pull request #188 from Takishipp/clean_events |
tree | commitdiff |
2017-06-16 |
Martin Quinson | fix most of the MC tests. Liveness and CommPattern... |
tree | commitdiff |
2017-06-15 |
Martin Quinson | Merge pull request #181 from bcamus/master |
tree | commitdiff |
2017-06-15 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2017-06-14 |
Takishipp | Merge branch 'clean_events' of github.com:Takishipp... |
tree | commitdiff |
2017-06-14 |
Frederic Suter | MC doesn'y like some of the explicit |
tree | commitdiff |
2017-06-14 |
Toufik Boubehziz | Merge branch 'master' into clean_events |
tree | commitdiff |
2017-06-14 |
Frederic Suter | please both sonar and codacy |
tree | commitdiff |
2017-06-13 |
Martin Quinson | further WIP on the ActivityImplPtr feature. Now it... |
tree | commitdiff |
2017-06-13 |
Martin Quinson | first attempt (ongoing WIP) |
tree | commitdiff |
2017-06-13 |
Martin Quinson | kill all trailling whitespaces |
tree | commitdiff |
2017-06-06 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2017-06-02 |
Martin Quinson | Merge pull request #179 from Takishipp/signals |
tree | commitdiff |
2017-06-02 |
Martin Quinson | rename a method |
tree | commitdiff |
2017-05-29 |
Takishipp | Merge branches 'master' and 'master' of github.com... |
tree | commitdiff |
2017-05-27 |
Martin Quinson | Rename some activity/SynchroBlah into activity/BlahImpl... |
tree | commitdiff |
2017-05-26 |
Martin Quinson | fix MC on 32bits |
tree | commitdiff |
2017-05-26 |
Martin Quinson | further useless cleanups |
tree | commitdiff |
2017-05-26 |
Martin Quinson | more than 100 codacy treats, not bad |
tree | commitdiff |
2017-05-26 |
Martin Quinson | chop, chop, chop includes |
tree | commitdiff |
2017-05-25 |
Martin Quinson | cut some more includes |
tree | commitdiff |
2017-05-24 |
Martin Quinson | remove some useless includes |
tree | commitdiff |
2017-05-24 |
Martin Quinson | cosmetics: kill a useless redundent declaration |
tree | commitdiff |
2017-05-24 |
Martin Quinson | this header file is much less interesting now that... |
tree | commitdiff |
2017-05-24 |
Martin Quinson | move some public MC prototypes to a public header file |
tree | commitdiff |
2017-05-24 |
Martin Quinson | rename simix::Mutex to simix::MutexImpl |
tree | commitdiff |
2017-05-23 |
Martin Quinson | remove an empty file |
tree | commitdiff |
2017-05-23 |
Martin Quinson | hunt down some more short negation forms |
tree | commitdiff |
2017-05-23 |
Martin Quinson | hunt down some more short negation forms |
tree | commitdiff |
2017-05-23 |
Martin Quinson | remove (void) in C++ |
tree | commitdiff |
2017-05-23 |
Martin Quinson | please codacy: use long form of negation in C++ |
tree | commitdiff |
2017-05-23 |
Frederic Suter | a few more smells |
tree | commitdiff |
2017-05-22 |
Frederic Suter | few smells less in MC |
tree | commitdiff |
2017-05-22 |
Martin Quinson | Merge pull request #168 from simgrid/smpi_huge_pages |
tree | commitdiff |
2017-05-22 |
Frederic Suter | bummer |
tree | commitdiff |
2017-05-22 |
Frederic Suter | start reducing smells in MC code |
tree | commitdiff |
2017-05-21 |
Martin Quinson | kill an unreachable statement (thanks sonar) |
tree | commitdiff |
2017-05-21 |
Martin Quinson | Merge branch 'master' of github.com:simgrid/simgrid |
tree | commitdiff |
2017-05-20 |
Martin Quinson | Remove an empty file (thx, sonar) |
tree | commitdiff |
2017-05-13 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2017-05-12 |
Martin Quinson | fix non-MC builds |
tree | commitdiff |
2017-05-12 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2017-05-09 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2017-05-08 |
Martin Quinson | do not load internal_config.h from mc.h |
tree | commitdiff |
2017-05-08 |
Martin Quinson | grmbl |
tree | commitdiff |
2017-05-08 |
Martin Quinson | stop forbidding semaphores and cond variables in model... |
tree | commitdiff |
2017-05-07 |
Martin Quinson | reduce the amount of includes |
tree | commitdiff |
2017-05-05 |
Martin Quinson | prefix all macro defined in public simgrid_config.h... |
tree | commitdiff |
2017-05-03 |
Takishipp | Merge branch 'toufic' of github.com:Takishipp/simgrid |
tree | commitdiff |
2017-05-01 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2017-04-30 |
Martin Quinson | uppercase the s4u header files (+cleanups) |
tree | commitdiff |
2017-04-29 |
Martin Quinson | fix some doxygen errors |
tree | commitdiff |
2017-04-29 |
Martin Quinson | Hide a gcc attribute that drives doxygen nuts |
tree | commitdiff |
2017-04-24 |
Martin Quinson | introduce type aid_t for Actor's ID (ie, PID) |
tree | commitdiff |
2017-04-12 |
Tom Cornebize | Merge branch 'master' into partial_shared_malloc |
tree | commitdiff |
2017-04-12 |
Martin Quinson | http://abstrusegoose.com/432 |
tree | commitdiff |
2017-04-12 |
Martin Quinson | MC: further snapshot comparison simplifications |
tree | commitdiff |
2017-04-12 |
Martin Quinson | This is a for loop |
tree | commitdiff |
2017-04-12 |
Martin Quinson | MC: snapshot comparison simplification |
tree | commitdiff |
2017-04-12 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2017-04-11 |
degomme | Yet another dlopen merge |
tree | commitdiff |
2017-04-11 |
Martin Quinson | typos |
tree | commitdiff |
2017-04-10 |
Martin Quinson | MC: this bug was disabling state equality detection |
tree | commitdiff |
2017-04-10 |
Martin Quinson | typos |
tree | commitdiff |
2017-04-10 |
Martin Quinson | better handling of the MC debug on unknown simcalls |
tree | commitdiff |
2017-03-22 |
Martin Quinson | doxygen fixups |
tree | commitdiff |
2017-03-08 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2017-03-08 |
Martin Quinson | fix copyright years and other psychotic cleanups |
tree | commitdiff |
2017-03-07 |
degomme | Try to have MC accept C++ requests... One assert commen... |
tree | commitdiff |
2017-03-07 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2017-03-07 |
Martin Quinson | Cleanups |
tree | commitdiff |
2017-02-22 |
degomme | somehow off_t is not enough there, and ends up being... |
tree | commitdiff |
2017-02-22 |
degomme | This should be an off_t (breaks some 32 bits systems) |
tree | commitdiff |
2017-02-10 |
Martin Quinson | easily please sonar |
tree | commitdiff |
2017-02-10 |
Martin Quinson | split simix::MailboxImpl to its own files |
tree | commitdiff |
2017-02-10 |
degomme | ignore new lib for freebsd (used by libevent) |
tree | commitdiff |
2017-02-07 |
Martin Quinson | more info to the user. |
tree | commitdiff |
2017-02-01 |
Martin Quinson | Fix MC builds, bummer |
tree | commitdiff |
2017-02-01 |
Martin Quinson | try to speed up some some traversals |
tree | commitdiff |
2017-01-26 |
Martin Quinson | MC: cosmetics |
tree | commitdiff |
2017-01-25 |
Martin Quinson | MC: comment, rename stuff, don't change anything profund |
tree | commitdiff |
2017-01-23 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2017-01-22 |
Martin Quinson | cosmetics |
tree | commitdiff |
2017-01-21 |
Martin Quinson | try to make SafetyChecker a bit easier to read |
tree | commitdiff |
2017-01-19 |
Martin Quinson | please sonar, even if it is really pesky sometimes |
tree | commitdiff |
2017-01-19 |
Martin Quinson | Make SIMIX_process_from_PID much faster |
tree | commitdiff |
2017-01-16 |
Martin Quinson | clang-format broke my commit |
tree | commitdiff |
2017-01-16 |
Martin Quinson | continue to split the source code of MC. Split remoting |
tree | commitdiff |
2017-01-16 |
Martin Quinson | cosmetics |
tree | commitdiff |
2017-01-16 |
Martin Quinson | inline some functions to make livenessChecker more... |
tree | commitdiff |
2017-01-15 |
Martin Quinson | cosmetics |
tree | commitdiff |
2017-01-14 |
Martin Quinson | further cleanups to the SafetyChecker |
tree | commitdiff |
2017-01-14 |
Martin Quinson | MC: use exceptions to report errors, not integer return... |
tree | commitdiff |
2017-01-14 |
Martin Quinson | move the checker algorithms to their own directory |
tree | commitdiff |
2017-01-14 |
Martin Quinson | cosmetics to make the SafetyChecker even easier to... |
tree | commitdiff |
2017-01-12 |
Matthieu Volat | Really remove (commented) alternative method of resolve... |
tree | commitdiff |
2017-01-12 |
Matthieu Volat | Sanitize the rest of dwarf operation regarding stack... |
tree | commitdiff |
2017-01-12 |
Matthieu Volat | Comment not working code in resolve_member() (before... |
tree | commitdiff |
2017-01-12 |
Matthieu Volat | Fix an undefined C behavior. |
tree | commitdiff |
next |