2013-01-02 |
Marion Guthmuller | model-checker : ignore some local variables from simix... |
commit | commitdiff | tree | snapshot |
2013-01-02 |
Marion Guthmuller | model-checker : fix sorting of visited states and state... |
commit | commitdiff | tree | snapshot |
2013-01-01 |
Marion Guthmuller | model-checker : sorting of visited states according... |
commit | commitdiff | tree | snapshot |
2013-01-01 |
Marion Guthmuller | model-checker : update bugged1 tesh |
commit | commitdiff | tree | snapshot |
2012-12-28 |
Martin Quinson | Revert "Kill the <backbone> tag" |
commit | commitdiff | tree | snapshot |
2012-12-28 |
Martin Quinson | Kill the <backbone> tag |
commit | commitdiff | tree | snapshot |
2012-12-26 |
Marion Guthmuller | model-checker : update chord_neverjoin tesh |
commit | commitdiff | tree | snapshot |
2012-12-26 |
Marion Guthmuller | model-checker : don't ignore simcall result in system... |
commit | commitdiff | tree | snapshot |
2012-12-26 |
Martin Quinson | add my last answer on the list to the FAQ |
commit | commitdiff | tree | snapshot |
2012-12-25 |
Martin Quinson | this file should not overload the codebase |
commit | commitdiff | tree | snapshot |
2012-12-25 |
Marion Guthmuller | model-checker : stats XP of model checking on chord... |
commit | commitdiff | tree | snapshot |
2012-12-24 |
Martin Quinson | remove the 'new_' part of function name sg_platf_new_tr... |
commit | commitdiff | tree | snapshot |
2012-12-24 |
Martin Quinson | acknoledge that the default value is set in network... |
commit | commitdiff | tree | snapshot |
2012-12-24 |
Martin Quinson | This set was recently renamed |
commit | commitdiff | tree | snapshot |
2012-12-21 |
suter | first try at replaying alltoall. Not tested yet |
commit | commitdiff | tree | snapshot |
2012-12-21 |
suter | make it compile |
commit | commitdiff | tree | snapshot |
2012-12-21 |
suter | factor verbose logging |
commit | commitdiff | tree | snapshot |
2012-12-21 |
suter | Cosmetics |
commit | commitdiff | tree | snapshot |
2012-12-21 |
Paul Bédaride | Revert "make MSG_comm_waitany use dynar" |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Arnaud Legrand | Allow MSG one-side communications that rely on parallel... |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Marion Guthmuller | model-checker : fix MC_take_snapshot if malloc used... |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Marion Guthmuller | model-checker : fix dpor with state equality reduction |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Marion Guthmuller | model-checker : if frame name is empty, stop stack... |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Marion Guthmuller | model-checker : remove restriction of DPOR if several... |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Maximiliano... | chainsend: fix tesh |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Maximiliano... | chainsend: change peers active wait to waitall |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Maximiliano... | chainsend: broadcaster should send synchronously |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Arnaud Giersch | Now, you have to use "cursor" instead of "i". |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Arnaud Giersch | Reindent file before changes. |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Arnaud Giersch | Use "debug" log level here. |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Arnaud Giersch | Some symbols were renamed by last flexml update. |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Arnaud Giersch | Update with newer flexml. |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Paul Bédaride | make MSG_comm_waitany use dynar |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Martin Quinson | improve the doc to include MSG_config |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Martin Quinson | make MSG_config public, document it, and implement... |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Paul Bédaride | Move module tracing into corresponding modules |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Arnaud Giersch | Link with -ldl when using dlsym. |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Martin Quinson | remove the create_resource entry point in resource... |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Martin Quinson | fix a typo |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Martin Quinson | rewrite the install doc, and integrate latest feedback... |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Martin Quinson | mark as advanced some options that are useless to the... |
commit | commitdiff | tree | snapshot |
2012-12-20 |
Martin Quinson | remove a bit of cruft from the install doc, more remain... |
commit | commitdiff | tree | snapshot |
2012-12-19 |
Martin Quinson | cosmetics |
commit | commitdiff | tree | snapshot |
2012-12-19 |
Martin Quinson | forgot the test file |
commit | commitdiff | tree | snapshot |
2012-12-19 |
Martin Quinson | use system malloc for the raw heap if GNU ld is used |
commit | commitdiff | tree | snapshot |
2012-12-19 |
suter | make this example be more valgrind compliant by increas... |
commit | commitdiff | tree | snapshot |
2012-12-18 |
Martin Quinson | Use xbt_malloc (and friends) instead of direct malloc() |
commit | commitdiff | tree | snapshot |
2012-12-18 |
Arnaud Giersch | Add -Wall to CMAKE_Fortran_FLAGS, unless enable_compile... |
commit | commitdiff | tree | snapshot |
2012-12-18 |
Arnaud Giersch | Linker option is useless when '-c' is present. |
commit | commitdiff | tree | snapshot |
2012-12-18 |
suter | this was fixed too |
commit | commitdiff | tree | snapshot |
2012-12-18 |
suter | mention bug fix in ChangeLog |
commit | commitdiff | tree | snapshot |
2012-12-18 |
suter | add test_sd_avail.tesh to the list |
commit | commitdiff | tree | snapshot |
2012-12-18 |
suter | add a tesh file for the test of availability traces |
commit | commitdiff | tree | snapshot |
2012-12-18 |
Arnaud Giersch | Avoid to compile files when they're not needed. |
commit | commitdiff | tree | snapshot |
2012-12-18 |
Arnaud Giersch | This file does not belong to TRACING_SRC; define SIMGRI... |
commit | commitdiff | tree | snapshot |
2012-12-18 |
Arnaud Giersch | Really remove deleted file. |
commit | commitdiff | tree | snapshot |
2012-12-18 |
Martin Quinson | Let's be honnest |
commit | commitdiff | tree | snapshot |
2012-12-18 |
Martin Quinson | refresh the README, and re-add it to the archives |
commit | commitdiff | tree | snapshot |
2012-12-18 |
Martin Quinson | that was really ancient (shame shame) |
commit | commitdiff | tree | snapshot |
2012-12-18 |
suter | This prevent periodic availability/state traces to... |
commit | commitdiff | tree | snapshot |
2012-12-18 |
Paul Bédaride | Fix _sg_do_model_check use with model_check=OFF |
commit | commitdiff | tree | snapshot |
2012-12-18 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-12-17 |
suter | cosmetics |
commit | commitdiff | tree | snapshot |
2012-12-17 |
suter | add an example to test availability traces. Weird behav... |
commit | commitdiff | tree | snapshot |
2012-12-17 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-12-17 |
Paul Bédaride | Restructure config headers |
commit | commitdiff | tree | snapshot |
2012-12-17 |
suter | no need to explicitly tell that resources are initially... |
commit | commitdiff | tree | snapshot |
2012-12-17 |
suter | when the first event of a trace (availability or state... |
commit | commitdiff | tree | snapshot |
2012-12-17 |
suter | when the value of an event is a negative one, don't... |
commit | commitdiff | tree | snapshot |
2012-12-17 |
suter | add more debugging info there. Nice to know what is... |
commit | commitdiff | tree | snapshot |
2012-12-17 |
Maximiliano... | chainsend: print some transfer stats, move debug prints... |
commit | commitdiff | tree | snapshot |
2012-12-17 |
Paul Bédaride | Fix model checker config issue |
commit | commitdiff | tree | snapshot |
2012-12-17 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-12-17 |
Paul Bédaride | Move config from surf to simgrid |
commit | commitdiff | tree | snapshot |
2012-12-16 |
Sebastien Badia | Cosmetics : Remove whitespaces for mquinson :-) |
commit | commitdiff | tree | snapshot |
2012-12-16 |
Marion Guthmuller | model-checker : remove tesh bugged2 (too long with... |
commit | commitdiff | tree | snapshot |
2012-12-16 |
Marion Guthmuller | model-checker : update tesh bugged1 with the new versio... |
commit | commitdiff | tree | snapshot |
2012-12-16 |
Marion Guthmuller | model-checker : interleave all enabled processes for... |
commit | commitdiff | tree | snapshot |
2012-12-16 |
Marion Guthmuller | model-checker : cosmectics |
commit | commitdiff | tree | snapshot |
2012-12-16 |
Marion Guthmuller | Remove comm from src_proc->comms and dst_proc->comms... |
commit | commitdiff | tree | snapshot |
2012-12-16 |
Marion Guthmuller | remove comm from rdv if comm destroyed before being... |
commit | commitdiff | tree | snapshot |
2012-12-14 |
Martin Quinson | doc fix: AS has no 'name' attribute, but a 'id' one |
commit | commitdiff | tree | snapshot |
2012-12-14 |
Martin Quinson | reindent, no real change |
commit | commitdiff | tree | snapshot |
2012-12-14 |
Arnaud Giersch | Typos. |
commit | commitdiff | tree | snapshot |
2012-12-14 |
Arnaud Giersch | Use cat+here document, instead of non-portable echo -e. |
commit | commitdiff | tree | snapshot |
2012-12-14 |
Martin Quinson | make doxygen happy |
commit | commitdiff | tree | snapshot |
2012-12-13 |
Martin Quinson | SimGrid 3.7 is ways too recent for GRAS (+cosmetics) |
commit | commitdiff | tree | snapshot |
2012-12-13 |
Martin Quinson | document how to react when stuff break during the upgrade |
commit | commitdiff | tree | snapshot |
2012-12-13 |
Martin Quinson | ignore that binary file |
commit | commitdiff | tree | snapshot |
2012-12-12 |
Augustin Degomme | change the way we handle MPI_Request termination |
commit | commitdiff | tree | snapshot |
2012-12-12 |
Arnaud Legrand | Spell check... |
commit | commitdiff | tree | snapshot |
2012-12-12 |
Arnaud Legrand | This is useful for those typing ./configure & make... |
commit | commitdiff | tree | snapshot |
2012-12-12 |
Paul Bédaride | Add ctest2junit.xsl for jenkins |
commit | commitdiff | tree | snapshot |
2012-12-12 |
Arnaud Giersch | Another missing include, needed with tracing=off. |
commit | commitdiff | tree | snapshot |
2012-12-11 |
Marion Guthmuller | model-checker : update tesh bugged1_liveness |
commit | commitdiff | tree | snapshot |
2012-12-11 |
Arnaud Giersch | File simgrid_modules.png is automatically generated. |
commit | commitdiff | tree | snapshot |
2012-12-11 |
Arnaud Giersch | Add rule to generate png files from DOC_FIGS. |
commit | commitdiff | tree | snapshot |
2012-12-11 |
Arnaud Giersch | Sort list, and add missing file output.goal.pdf. |
commit | commitdiff | tree | snapshot |
2012-12-11 |
Arnaud Giersch | Remove/add a few includes. |
commit | commitdiff | tree | snapshot |
2012-12-11 |
Arnaud Giersch | Revert "I'm so glad that this line is useless" |
commit | commitdiff | tree | snapshot |
next |