2013-01-10 |
Marion Guthmuller | model-checker : free memory for stacks comparison |
commit | commitdiff | tree | snapshot |
2013-01-10 |
Marion Guthmuller | model-checker : disable use of system malloc for raw_heap |
commit | commitdiff | tree | snapshot |
2013-01-10 |
Marion Guthmuller | model-checker : some cleanup in mmalloc_compare_heap... |
commit | commitdiff | tree | snapshot |
2013-01-10 |
Arnaud Giersch | Variable should be initialized. |
commit | commitdiff | tree | snapshot |
2013-01-10 |
Arnaud Giersch | Free the TRACE_{start,end}_functions dynars when they... |
commit | commitdiff | tree | snapshot |
2013-01-09 |
Martin Quinson | actually, the github version is probably a better sourc... |
commit | commitdiff | tree | snapshot |
2013-01-08 |
Paul Bédaride | Fix lua deploy |
commit | commitdiff | tree | snapshot |
2013-01-08 |
Paul Bédaride | Fix lua platform script |
commit | commitdiff | tree | snapshot |
2013-01-08 |
Arnaud Giersch | Fix build with tracing=OFF. |
commit | commitdiff | tree | snapshot |
2013-01-08 |
Arnaud Giersch | Avoid to put smpi symbols in libsimgrid. |
commit | commitdiff | tree | snapshot |
2013-01-08 |
Arnaud Giersch | Reindent (again). |
commit | commitdiff | tree | snapshot |
2013-01-08 |
Martin Quinson | new step to not forget when releasing the files |
commit | commitdiff | tree | snapshot |
2013-01-07 |
Maximiliano... | chainsend: add optional argument to deployment file... |
commit | commitdiff | tree | snapshot |
2013-01-07 |
Marion Guthmuller | model-checker : comment backtrace and add ignore mechan... |
commit | commitdiff | tree | snapshot |
2013-01-03 |
Marion Guthmuller | model-checker : fix dichotomic search and insertion... |
commit | commitdiff | tree | snapshot |
2013-01-03 |
Marion Guthmuller | model-checker : update list of visited states during... |
commit | commitdiff | tree | snapshot |
2013-01-02 |
Marion Guthmuller | model-checker : use xbt_abort after exhaustive exploration |
commit | commitdiff | tree | snapshot |
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 |
next |