2012-01-13 |
Marion Guthmuller | model-checker : new function MC_diff to display all... |
commit | commitdiff | tree | snapshot |
2012-01-13 |
Marion Guthmuller | model-checker : break forgotten in switch |
commit | commitdiff | tree | snapshot |
2012-01-12 |
Marion Guthmuller | model-checker : add informations when log debug enabled |
commit | commitdiff | tree | snapshot |
2012-01-12 |
Marion Guthmuller | model-checker : prototypes of static functions moved |
commit | commitdiff | tree | snapshot |
2012-01-12 |
Marion Guthmuller | model-checker : prototypes of unused functions removed |
commit | commitdiff | tree | snapshot |
2012-01-12 |
Marion Guthmuller | model-checker : %zu instead of %Zu in printf |
commit | commitdiff | tree | snapshot |
2012-01-11 |
Marion Guthmuller | merge conflicts resolved |
commit | commitdiff | tree | snapshot |
2012-01-11 |
Marion Guthmuller | model-checker : more informations if log enabled for... |
commit | commitdiff | tree | snapshot |
2012-01-11 |
Marion Guthmuller | model-checker : add example centralized_liveness in... |
commit | commitdiff | tree | snapshot |
2012-01-11 |
Marion Guthmuller | model-checker : new example for liveness properties |
commit | commitdiff | tree | snapshot |
2012-01-11 |
Christophe... | Lua: copy the Lua task right after the C task using... |
commit | commitdiff | tree | snapshot |
2012-01-11 |
Christophe... | MSG: add a function to register a task copy callback |
commit | commitdiff | tree | snapshot |
2012-01-11 |
Christophe... | Remove declaration of unexisting functions |
commit | commitdiff | tree | snapshot |
2012-01-11 |
Christophe... | The timings of these tests have changed since crosstraf... |
commit | commitdiff | tree | snapshot |
2012-01-11 |
unknown | Download doc with wget on windows and add a target... |
commit | commitdiff | tree | snapshot |
2012-01-11 |
unknown | Add missing headers to simgrid install for windows |
commit | commitdiff | tree | snapshot |
2012-01-11 |
unknown | New logo for installer. |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | return 0 instead of die. |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | On windows pthread_atfork is not implemented |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | Make Hello World example works with mingw |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | Update nsis script. |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | Don't compile those examples on Win |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | Update README from HelloWorld. |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | Update doc for MinGW |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | sleep doesn't exist on windows. |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | Cosmetics and replace some deprecated function 'exec_pr... |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | Make Simgrid compile with MinGW and gcc4.6 |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | Remove unused part. |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | Only use MinGW compilator |
commit | commitdiff | tree | snapshot |
2012-01-10 |
unknown | Make those programs succed on windows. |
commit | commitdiff | tree | snapshot |
2012-01-10 |
Arnaud Giersch | Fix other "missing prototype" errors. |
commit | commitdiff | tree | snapshot |
2012-01-10 |
Marion Guthmuller | model-checker : bugged2_liveness with promela of LTL... |
commit | commitdiff | tree | snapshot |
2012-01-10 |
Arnaud Giersch | Fix test, and remove duplicated checks. |
commit | commitdiff | tree | snapshot |
2012-01-10 |
Arnaud Giersch | Fix error: passing argument 7 of ‘SIMIX_req_comm_isend... |
commit | commitdiff | tree | snapshot |
2012-01-10 |
Arnaud Giersch | Fix error: passing argument 3 of ‘xbt_dict_set’ discard... |
commit | commitdiff | tree | snapshot |
2012-01-10 |
Arnaud Giersch | Fix compilation errors about "enumeration value not... |
commit | commitdiff | tree | snapshot |
2012-01-10 |
Arnaud Giersch | Add missing declaration. |
commit | commitdiff | tree | snapshot |
2012-01-10 |
Marion Guthmuller | model-checker : new LTL property for bugged2_liveness... |
commit | commitdiff | tree | snapshot |
2012-01-10 |
Arnaud Giersch | Fix format. |
commit | commitdiff | tree | snapshot |
2012-01-10 |
Arnaud Giersch | Don't use printf modifier %Z. Use %z instead. |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Marion Guthmuller | model-checker : add comments for the example bugged2_li... |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Marion Guthmuller | model-checker : new examples for verification of livene... |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Martin Quinson | give the localisation of parse errors more accurately |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Martin Quinson | Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge... |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Martin Quinson | make sure that we won't survive a parser error in the... |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Martin Quinson | make it compile with -Werror by forcing a type casting |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Martin Quinson | improve doc of multicore in FAQ |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Navarrop | Remove test masterslave-cpu_ti-no-crosstraffic because... |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Navarrop | Update option page: Write that crosstraffic is enable... |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Navarrop | Add the faq to documentation because it is under versio... |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Navarrop | Rename old tesh with no-crosstraffic and new like old... |
commit | commitdiff | tree | snapshot |
2012-01-09 |
Martin Quinson | cosmetics in the ChangeLog |
commit | commitdiff | tree | snapshot |
2012-01-08 |
Lucas Schnorr | [trace] valgrind's memcheck to wipe out memory leaks... |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Arnaud Giersch | Fix the order of contraints changed by previous commits: |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Arnaud Giersch | In lmm_update_modified_set, don't visit variables twice. |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Arnaud Giersch | Try hard to optimize lmm_update_modified_set. |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Navarrop | The variable-constraint graph is already traversed... |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Arnaud Giersch | Ensure that all constraints are put in modified_constra... |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Arnaud Giersch | Remove constraint from modified_constraint_set, when... |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Navarrop | Rewrite script for update tesh file. |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Christophe... | Keep iwannadie set instead of lying to the context... |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Christophe... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Christophe... | SIMIX: when a process is killed, remove its blocking... |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Christophe... | MSG: don't keep pointers to a structure freed |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Navarrop | Add some tests for crosstraffic = 1. |
commit | commitdiff | tree | snapshot |
2012-01-06 |
Christophe... | Merge branch 'smpi' |
commit | commitdiff | tree | snapshot |
2012-01-05 |
Christophe... | clean_fun is the function that frees the userdata of... |
commit | commitdiff | tree | snapshot |
2012-01-05 |
Christophe... | SMPI: don't finish immediately a dsend comm. |
commit | commitdiff | tree | snapshot |
2012-01-05 |
Christophe... | SMPI: before terminating a process, wait for its asynch... |
commit | commitdiff | tree | snapshot |
2012-01-05 |
Christophe... | When a process leaves, no one should ever finish a... |
commit | commitdiff | tree | snapshot |
2012-01-05 |
Christophe... | Export SIMIX_rdv_remove and fix debug messages |
commit | commitdiff | tree | snapshot |
2012-01-05 |
Christophe... | -0.000000 is lower than 0.0. True story. |
commit | commitdiff | tree | snapshot |
2012-01-05 |
Marion Guthmuller | model-checker : warnings fixed |
commit | commitdiff | tree | snapshot |
2012-01-05 |
Navarrop | Sorry, for this stupid error |
commit | commitdiff | tree | snapshot |
2012-01-05 |
Pierre | Use xbt_config mechanism instead of hard coding value. |
commit | commitdiff | tree | snapshot |
2012-01-05 |
Pierre | Use of busy wait instead of futex if there is not futex.h |
commit | commitdiff | tree | snapshot |
2012-01-05 |
Pierre | Add a ifdef HAVE_FUTEX_H to compile on Mac |
commit | commitdiff | tree | snapshot |
2012-01-02 |
Christophe... | Add a Chord test with the constant network model |
commit | commitdiff | tree | snapshot |
2012-01-02 |
Martin Quinson | this configuration option does not exist anymore (and... |
commit | commitdiff | tree | snapshot |
2011-12-30 |
Christophe... | Fix supernovae compilation |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Martin Quinson | cleanup the debug messages |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Martin Quinson | more verbose debug messages |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Martin Quinson | When the process exits, don't cancel the communications... |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Martin Quinson | use sensible process names (their rank) in SMPI, and... |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Martin Quinson | Further investigate the dsend issue, in vain so far |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Martin Quinson | merge back the master trunk into the smpi branch |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | [doc] basic tracing options (and a link to the full... |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | [doc] colors are defined through the tracing API and... |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | [doc] update the graph visualization screenshot to... |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | [trace] tracing needs a Full network/optim, otherwise... |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | bug fix, tracing mechanism relies on a correct set_cate... |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | typo |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | [doc] updating the graph configuration documentation |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | [doc] fix on tracing parameter documentation |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | [doc] triva is using git |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | [doc] tracing documentation was duplicated, fix it |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | [trace] better source code comments for configuration... |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | [doc] documentation for three tracing options |
commit | commitdiff | tree | snapshot |
2011-12-26 |
Lucas Schnorr | [doc] users can also declare variable with colors for... |
commit | commitdiff | tree | snapshot |
next |