2015-09-10 |
Gabriel Corona | [cmake] Use _GNU_SOURCE in order to detect asprintf |
tree | commitdiff |
2015-09-10 |
Gabriel Corona | [cmake] Better detection of snprintf, asprintf, etc. |
tree | commitdiff |
2015-09-10 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-09-10 |
Gabriel Corona | [mingw] Use __USE_MINGW_ANSI_STDIO when checking for... |
tree | commitdiff |
2015-09-10 |
Gabriel Corona | [mingw] Please use standard printf/scanf |
tree | commitdiff |
2015-09-08 |
Martin Quinson | disable a broken test, and cleanups |
tree | commitdiff |
2015-09-08 |
Martin Quinson | create the directory before populating it |
tree | commitdiff |
2015-09-08 |
Christian Heinrich | [Doc] Next major revision of the documentation |
tree | commitdiff |
2015-09-08 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-09-07 |
Gabriel Corona | [cmake] Remove the explicit linking on C++ standard... |
tree | commitdiff |
2015-09-07 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-09-07 |
Gabriel Corona | [mc] Fix another bunch of shebang with env |
tree | commitdiff |
2015-09-07 |
Gabriel Corona | Merge remote-tracking branch 'origin2/master' |
tree | commitdiff |
2015-09-07 |
Gabriel Corona | Use env to find script interpreters |
tree | commitdiff |
2015-09-07 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-09-07 |
Gabriel Corona | [mc] Fix LTO with all versions of GCC |
tree | commitdiff |
2015-08-31 |
Martin Quinson | [Cmake] small cleanup |
tree | commitdiff |
2015-08-31 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-08-31 |
Martin Quinson | don't tell 165 times that we need CMAKE v2.6 |
tree | commitdiff |
2015-08-28 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-08-28 |
Martin Quinson | cmake: move some bits to a better location |
tree | commitdiff |
2015-08-27 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-08-25 |
Lucas Schnorr | some traces have TAB instead of space after % |
tree | commitdiff |
2015-08-25 |
Gabriel Corona | [mc] Add tests to show that DPOR is guilty of mutex... |
tree | commitdiff |
2015-08-25 |
Gabriel Corona | [mc] Add a test to examplify that we should handle... |
tree | commitdiff |
2015-08-24 |
Gabriel Corona | smpirun: cleanup files and children before dying |
tree | commitdiff |
2015-08-24 |
Gabriel Corona | tesh: Let a grace period of 1s for the child process... |
tree | commitdiff |
2015-08-20 |
Martin Quinson | move another gcc version check in the right location |
tree | commitdiff |
2015-08-12 |
Martin Quinson | move the cmake files in tools/cmake |
tree | commitdiff |
2015-08-09 |
Martin Quinson | spell check the comments |
tree | commitdiff |
2015-08-08 |
Martin Quinson | add some more words to ignore |
tree | commitdiff |
2015-08-08 |
Martin Quinson | improve the usage message, and count the total amount... |
tree | commitdiff |
2015-08-05 |
Martin Quinson | Update copyright notices |
tree | commitdiff |
2015-08-05 |
Martin Quinson | don't artificially add the current year to the copyrigh... |
tree | commitdiff |
2015-08-05 |
Martin Quinson | only proceed files with an existing SimGrid copyright... |
tree | commitdiff |
2015-07-30 |
Gabriel Corona | Fix another typo |
tree | commitdiff |
2015-07-30 |
Martin Quinson | fix a typo |
tree | commitdiff |
2015-07-28 |
Martin Quinson | Fix distcheck |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [mc] Move Frame, ModelChecker, ObjectInformation, Type... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | Tesh: Use 0 as a default sorting prefix |
tree | commitdiff |
2015-07-25 |
Martin Quinson | Ooops, I bork a test |
tree | commitdiff |
2015-07-25 |
Martin Quinson | tesh: be much more verbose when sorted output don't... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | tesh now reports if the outputs were sorted on mismatch |
tree | commitdiff |
2015-07-25 |
Martin Quinson | Move some internal tools out of the way, to not scare... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | fix the tool to spellcheck the comments |
tree | commitdiff |
2015-07-25 |
Martin Quinson | move the tesh.pl with its friend |
tree | commitdiff |
2015-07-25 |
Martin Quinson | fix the log hierarchy extraction wrt mc_main, that... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | fix the make distcheck. Again. |
tree | commitdiff |
2015-07-24 |
Martin Quinson | kill the C version of tesh (now unused). RIP :( |
tree | commitdiff |
2015-07-14 |
Martin Quinson | Merge pull request #17 from mpoquet/master |
tree | commitdiff |
2015-06-29 |
Gabriel Corona | generate-dwarf-functions: add a 'Usage' comment |
tree | commitdiff |
2015-06-29 |
Gabriel Corona | Fix reference to generate.sh (now generate-dwarf-functions) |
tree | commitdiff |
2015-06-29 |
Gabriel Corona | [mc] Remove ugly #include |
tree | commitdiff |
2015-04-14 |
Gabriel Corona | Merge branch 'master' into mc-process |
tree | commitdiff |
2015-04-08 |
Adrien Lebre | Merge before commiting VM changes - Adrien |
tree | commitdiff |
2015-04-04 |
Martin Quinson | mv msg/msg.h simgrid/msg.h |
tree | commitdiff |
2015-04-04 |
Martin Quinson | cleanups and simplifications to our build system |
tree | commitdiff |
2015-02-18 |
Arnaud Legrand | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-11-28 |
Adrien Lebre | merge msg_vm.c - adrien (please note that there is... |
tree | commitdiff |
2014-11-24 |
Gabriel Corona | [mc] Disable/enable the stack-cleaner from a CLI argume... |
tree | commitdiff |
2014-11-24 |
Gabriel Corona | [mc] Fix the stack cleaner |
tree | commitdiff |
2014-11-06 |
Gabriel Corona | [mc] Fix the stack-cleaner |
tree | commitdiff |
2014-11-03 |
Gabriel Corona | [mc] Fix the previous stack-cleaning optimisation |
tree | commitdiff |
2014-11-03 |
Gabriel Corona | [mc] Do nto clean the main stack |
tree | commitdiff |
2014-11-03 |
Gabriel Corona | [mc] Add stack-cleaning compiler wrappers |
tree | commitdiff |
2014-10-22 |
etortilopez | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-10-16 |
Augustin Degomme | really fix dist |
tree | commitdiff |
2014-08-28 |
Adrien Lebre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-08-25 |
Gabriel Corona | [mc] ISP tests integration |
tree | commitdiff |
2014-07-28 |
Adrien Lebre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-07-28 |
Gabriel Corona | Shell script to generate a simple tesh file |
tree | commitdiff |
2014-07-28 |
Adrien Lebre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-07-25 |
Gabriel Corona | Merge branch 'mc' |
tree | commitdiff |
2014-07-24 |
Gabriel Corona | Merge remote-tracking branch 'origin/mc-fastsnapshot... |
tree | commitdiff |
2014-07-08 |
Gabriel Corona | Add support for C++ in tools/sg_unit_extractor.pl |
tree | commitdiff |
2014-06-27 |
Gabriel Corona | Merge branch 'mc' |
tree | commitdiff |
2014-06-18 |
Paul Bédaride | Merge branch 'v3_11_x' |
tree | commitdiff |
2014-06-04 |
Takahiro Hirofuchi | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2014-06-04 |
Paul Bédaride | Use tesh perl for all platforms |
tree | commitdiff |
2014-05-31 |
Paul Bédaride | Release 3 11 v3_11 |
tree | commitdiff |
2014-04-22 |
Stéphane Castelli | Merge branch 'smpi-topo' |
tree | commitdiff |
2014-04-08 |
Gabriel Corona | Merge remote-tracking branch 'origin/mc' |
tree | commitdiff |
2014-04-05 |
Arnaud Giersch | Complete tesh documentation. |
tree | commitdiff |
2014-03-24 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-03-22 |
Arnaud Giersch | Fix dist. |
tree | commitdiff |
2014-03-21 |
Gabriel Corona | Merge branch 'mc++' |
tree | commitdiff |
2014-03-19 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-03-18 |
degomme | Merge branch 'master' of git://scm.gforge.inria.fr... |
tree | commitdiff |
2014-03-18 |
degomme | be more friendly to systems where gcc is not used anymore |
tree | commitdiff |
2014-03-08 |
Martin Quinson | signals are signed ints (we were comparing unsigned... |
tree | commitdiff |
2014-03-06 |
Gabriel Corona | Merge branch 'mc' into mc++ |
tree | commitdiff |
2014-02-28 |
Gabriel Corona | Merge branch 'mc++' into mc-merge |
tree | commitdiff |
2014-02-24 |
Gabriel Corona | Merge 'master' into mc |
tree | commitdiff |
2014-02-21 |
Arnaud Giersch | Use the full jar here. |
tree | commitdiff |
2014-02-21 |
Arnaud Giersch | distcheck again. |
tree | commitdiff |
2014-02-21 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-02-21 |
Paul Bédaride | Add script to generate multi-platform jar |
tree | commitdiff |
2014-02-21 |
Arnaud Giersch | Make check_dist_archive accept the newly created .gitve... |
tree | commitdiff |
2014-02-19 |
Paul Bédaride | Fix normalize-pointers script |
tree | commitdiff |
2014-02-14 |
Arnaud Giersch | Typo: it's --log with two dashes. |
tree | commitdiff |
next |