| 2012-07-04 |
Arnaud Giersch | Make example compile with enable_warnings=ON. |
tree | commitdiff |
| 2012-07-04 |
Arnaud Giersch | Reindent. |
tree | commitdiff |
| 2012-07-04 |
Arnaud Giersch | Don't override CMAKE_C_FLAGS! |
tree | commitdiff |
| 2012-07-04 |
Arnaud Giersch | Make directory when building out of the source tree. |
tree | commitdiff |
| 2012-07-04 |
schnorr | [trace] fix paje header in tesh files |
tree | commitdiff |
| 2012-07-03 |
Marion Guthmuller | model-checker : copyright header for safety properties... |
tree | commitdiff |
| 2012-07-03 |
Samuel Lepetit | Add bittorrent example |
tree | commitdiff |
| 2012-07-03 |
Samuel Lepetit | Revalidate chord.tesh/chord_crosstraffic.tesh |
tree | commitdiff |
| 2012-07-03 |
Samuel Lepetit | Add leave in chord |
tree | commitdiff |
| 2012-07-02 |
Marion Guthmuller | model-checker: sed 's/m_task_t/msg_task_t/g' on MC... |
tree | commitdiff |
| 2012-06-29 |
lbobelin | Cleaned doc, re-included examples, should be better... |
tree | commitdiff |
| 2012-06-29 |
Marion Guthmuller | model-checker : tests for snapshot comparison |
tree | commitdiff |
| 2012-06-29 |
Samuel Lepetit | Use msg_error_t instead of MSG_error_t |
tree | commitdiff |
| 2012-06-29 |
Samuel Lepetit | Use msg_gpu_task_t instead of m_gpu_task_t |
tree | commitdiff |
| 2012-06-29 |
Samuel Lepetit | Use msg_task_t instead of m_task_t |
tree | commitdiff |
| 2012-06-29 |
Samuel Lepetit | Use msg_host_t instead of m_host_t. |
tree | commitdiff |
| 2012-06-29 |
Samuel Lepetit | Use msg_process_t instead of m_process_t |
tree | commitdiff |
| 2012-06-29 |
Arnaud Giersch | Update tesh files with process autorestart. |
tree | commitdiff |
| 2012-06-29 |
Arnaud Giersch | Add "output sort" in tesh files. |
tree | commitdiff |
| 2012-06-27 |
Samuel Lepetit | First bricks for auto_restart support in SIMIX/MSG. |
tree | commitdiff |
| 2012-06-26 |
Arnaud Giersch | Reindent Cmake files. |
tree | commitdiff |
| 2012-06-26 |
Arnaud Giersch | Remove unnecessary spaces and empty lines in tesh files. |
tree | commitdiff |
| 2012-06-26 |
Marion Guthmuller | model-checker : keep one bugged1 example for liveness... |
tree | commitdiff |
| 2012-06-26 |
Marion Guthmuller | model-checker : update list of examples in CMakeLists |
tree | commitdiff |
| 2012-06-26 |
Marion Guthmuller | model-checker : remove unused examples |
tree | commitdiff |
| 2012-06-26 |
Marion Guthmuller | model-checker : cosmetics reindent |
tree | commitdiff |
| 2012-06-22 |
navarro | Update tesh files using trace as those files have chang... |
tree | commitdiff |
| 2012-06-22 |
navarro | Need to have a double because the result should not... |
tree | commitdiff |
| 2012-06-22 |
Marion Guthmuller | model-checker : update tesh with new cleanups done... |
tree | commitdiff |
| 2012-06-21 |
navarro | Put double instead of size_t. |
tree | commitdiff |
| 2012-06-21 |
navarro | Comsetics |
tree | commitdiff |
| 2012-06-21 |
Arnaud Giersch | Remaining s/MSG_global_init/MSG_init/. |
tree | commitdiff |
| 2012-06-21 |
Martin Quinson | Cleanups in the --cfg options regarding model-checking |
tree | commitdiff |
| 2012-06-21 |
Martin Quinson | Various cleanups to the model-checking user interface |
tree | commitdiff |
| 2012-06-21 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
| 2012-06-21 |
Samuel Lepetit | Update masterslave_cloud tesh file |
tree | commitdiff |
| 2012-06-21 |
Marion Guthmuller | model-checker : update examples with new function MSG_init |
tree | commitdiff |
| 2012-06-21 |
Marion Guthmuller | model-checker: remove unused examples |
tree | commitdiff |
| 2012-06-21 |
Martin Quinson | Deprecate functions MSG_global_init() / MSG_global_init... |
tree | commitdiff |
| 2012-06-21 |
Samuel Lepetit | Fix bug #14412 (Killing a SIMIX process just after... |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | model-checker : remove unused example |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | model-checker : new surf configuration mc-checkpoint |
tree | commitdiff |
| 2012-06-20 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-20 |
navarro | Put the different model in the dtd. Permit the xml... |
tree | commitdiff |
| 2012-06-20 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-20 |
Arnaud Giersch | Remove unused file. |
tree | commitdiff |
| 2012-06-20 |
suter | Solve white space conflicts |
tree | commitdiff |
| 2012-06-20 |
Martin Quinson | sed -i -e 's/\t/ /g' *.[ch] Please people, stop using... |
tree | commitdiff |
| 2012-06-18 |
Marion Guthmuller | model-checker : update tesh examples with last modifica... |
tree | commitdiff |
| 2012-06-18 |
Arnaud Giersch | Fix tesh and cmake files for test masterslave_virtual_m... |
tree | commitdiff |
| 2012-06-15 |
navarro | Add generated mc files to extra dist |
tree | commitdiff |
| 2012-06-15 |
navarro | Clean sources for mc and reedit some files |
tree | commitdiff |
| 2012-06-15 |
navarro | Remove unused files |
tree | commitdiff |
| 2012-06-15 |
Marion Guthmuller | model-checker : remove unused files in examples/ms/mc |
tree | commitdiff |
| 2012-06-14 |
navarro | 2nd part of kill GLOB_RECURSE |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | resolve merge conflict |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : examples updated with new lex and yacc... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : lex and yacc parsing moved in src/xbt... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : remove unused files |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-14 |
navarro | First step to delete GLOB command from cmake |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Add a MSG_vm_destroy function to free a virtual machine |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Add tesh file for masterslave_virtual_machines |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : remove unnecessary include in lex file |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Fix the cloud API, nicely this time. |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Revert "Debug the cloud API, it should work as expected... |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] we don't destroy things we didn't create |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] re-write of trace mark API, need to declare... |
tree | commitdiff |
| 2012-06-13 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-13 |
Samuel Lepetit | Debug the cloud API, it should work as expected now. |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-13 |
Samuel Lepetit | Bugfix in msg/io example |
tree | commitdiff |
| 2012-06-13 |
navarro | Change the file API, remove the mount point in each... |
tree | commitdiff |
| 2012-06-13 |
Arnaud Giersch | Rewrite the platform_script.lua used by the test for... |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | model-checker : remove binary name as argument of some... |
tree | commitdiff |
| 2012-06-12 |
navarro | Remove some debug from execution |
tree | commitdiff |
| 2012-06-12 |
Marion Guthmuller | fix merge conflict |
tree | commitdiff |
| 2012-06-12 |
Arnaud Giersch | Missing include. |
tree | commitdiff |
| 2012-06-09 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-08 |
suter | First step to move trace replay from MSG towards SMPI |
tree | commitdiff |
| 2012-06-08 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-08 |
jbrv | Changed masterslave with failures test platform |
tree | commitdiff |
| 2012-06-07 |
schnorr | [trace] paje header changed, update tesh |
tree | commitdiff |
| 2012-06-03 |
Marion Guthmuller | model-checker : XBT_DEBUG replaced by XBT_INFO |
tree | commitdiff |
| 2012-06-03 |
Marion Guthmuller | model-checker : new properties in promela for centraliz... |
tree | commitdiff |
| 2012-06-03 |
Marion Guthmuller | model-checker : new examples |
tree | commitdiff |
| 2012-06-02 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-30 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-30 |
Marion Guthmuller | model-checker : remove unused variable CS_PER_PROCESS |
tree | commitdiff |
| 2012-05-30 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-29 |
Martin Quinson | recommit my initial version of cloud stuff for 3.8... |
tree | commitdiff |
| 2012-05-24 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-24 |
Laurent Bobelin | Removed some unused and out-of-date XML files, correcte... |
tree | commitdiff |
| 2012-05-23 |
schnorr | [trace] updating tesh's that check graph configuration... |
tree | commitdiff |
| 2012-05-23 |
Arnaud Giersch | Use standard modifier %z instead of %Z. |
tree | commitdiff |
| 2012-05-14 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2012-05-14 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-14 |
Christophe Thiéry | Add comments to this script |
tree | commitdiff |
| 2012-05-13 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| next |
