2012-06-21 |
navarro | Fix update of the file size when write a double and... |
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 |
Marion Guthmuller | model-checker : factorization of code for model-checkin... |
tree | commitdiff |
2012-06-21 |
Martin Quinson | Deprecate functions MSG_global_init() / MSG_global_init... |
tree | commitdiff |
2012-06-21 |
Samuel Lepetit | Fix commit 825fb3d5095e6cce48885d1d04ab1ec3823dae6c |
tree | commitdiff |
2012-06-21 |
Martin Quinson | pebcak protection: some day, someone will use a differe... |
tree | commitdiff |
2012-06-21 |
Samuel Lepetit | Move SIMIX_process_on_exit functions to public |
tree | commitdiff |
2012-06-21 |
jbrv | remove some trailing spaces |
tree | commitdiff |
2012-06-21 |
jbrv | event trace generation : improving some functions |
tree | commitdiff |
2012-06-20 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-20 |
Samuel Lepetit | Add on_exit support on SIMIX/MSG, calling functions... |
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 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-20 |
suter | Solve white space conflicts |
tree | commitdiff |
2012-06-20 |
suter | add a new type of typed task to represent a MxN data... |
tree | commitdiff |
2012-06-20 |
jbrv | Probabilist trace generator : variable names changed |
tree | commitdiff |
2012-06-20 |
Martin Quinson | sed -i -e 's/\t/ /g' *.[ch] Please people, stop using... |
tree | commitdiff |
2012-06-19 |
Martin Quinson | typo (and copyright dates on the way) |
tree | commitdiff |
2012-06-19 |
lbobelin | Initial commit for split doc (in order to let Pierre... |
tree | commitdiff |
2012-06-19 |
Samuel Lepetit | Typo |
tree | commitdiff |
2012-06-18 |
navarro | Add 'content' priority for storage and then storage_type |
tree | commitdiff |
2012-06-15 |
Arnaud Giersch | Fix includes in surfxml_parse.h |
tree | commitdiff |
2012-06-14 |
Marion Guthmuller | resolve merge conflict |
tree | commitdiff |
2012-06-14 |
Marion Guthmuller | model-checker : lex and yacc parsing moved in src/xbt... |
tree | commitdiff |
2012-06-14 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-14 |
suter | add a SD_task_set_rate function |
tree | commitdiff |
2012-06-14 |
Samuel Lepetit | Add a MSG_vm_destroy function to free a virtual machine |
tree | commitdiff |
2012-06-14 |
Arnaud Giersch | __GNUC__ is already defined at this place. |
tree | commitdiff |
2012-06-14 |
Marion Guthmuller | model-checker : add header (description, copyright... |
tree | commitdiff |
2012-06-14 |
schnorr | [trace] re-write of trace mark API, need to declare... |
tree | commitdiff |
2012-06-14 |
Arnaud Giersch | Add a defined(__GNUC__), and rework expression. |
tree | commitdiff |
2012-06-14 |
Martin Quinson | speak nicely to old gcc versions |
tree | commitdiff |
2012-06-13 |
Martin Quinson | New function: MSG_host_set_property_value() |
tree | commitdiff |
2012-06-13 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
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 : get std_heap with mmalloc_get_current_h... |
tree | commitdiff |
2012-06-13 |
navarro | Change the file API, remove the mount point in each... |
tree | commitdiff |
2012-06-13 |
Marion Guthmuller | model-checker : remove unused argument in functions... |
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 |
Arnaud Giersch | Don't rely on the non-standard on_exit() function. |
tree | commitdiff |
2012-06-12 |
Arnaud Giersch | Rename functions xbt_dict_hash*() to xbt_str_hash(). |
tree | commitdiff |
2012-06-12 |
Arnaud Giersch | Inline functions without their definitions don't make... |
tree | commitdiff |
2012-06-12 |
navarro | Add disk usage and size parameters for storage. |
tree | commitdiff |
2012-06-12 |
jbrv | Add a constructor for probabilist tmgr_trace |
tree | commitdiff |
2012-06-12 |
Martin Quinson | that's perfectly fine to not free that memory on proces... |
tree | commitdiff |
2012-06-12 |
Marion Guthmuller | fix merge conflict |
tree | commitdiff |
2012-06-12 |
Arnaud Giersch | Use XBT_PUBLIC for exported functions. |
tree | commitdiff |
2012-06-12 |
Arnaud Giersch | Define variables in C file. |
tree | commitdiff |
2012-06-12 |
Arnaud Giersch | Declare exported functions in header. |
tree | commitdiff |
2012-06-11 |
jbrv | Trace manager : Add and change some structures and... |
tree | commitdiff |
2012-06-11 |
jbrv | Add a function to copy a RngStream structure |
tree | commitdiff |
2012-06-11 |
jbrv | Move XBT hash functions to xbt_str.c and make them... |
tree | commitdiff |
2012-06-09 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-08 |
jbrv | Add new functions to support different sources of avaib... |
tree | commitdiff |
2012-06-08 |
jbrv | Modify structures to support different sources of avaib... |
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-07 |
schnorr | [trace] paje file format has evolved with a new event... |
tree | commitdiff |
2012-06-04 |
Arnaud Giersch | Declare as "unsigned" bit fields used as boolean. |
tree | commitdiff |
2012-06-02 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-01 |
unknown | Functions RngStream must be XBT_PUBLIC for dll |
tree | commitdiff |
2012-06-01 |
unknown | Cosmetics |
tree | commitdiff |
2012-06-01 |
unknown | Fix compilation on Windows with pthread. |
tree | commitdiff |
2012-05-30 |
navarro | Don't change doxygen typo for \dontinclude |
tree | commitdiff |
2012-05-30 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-05-30 |
Samuel Lepetit | Move RngStream to xbt (public) |
tree | commitdiff |
2012-05-30 |
navarro | Some typos in source code |
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-29 |
navarro | Remove kill_time from MSG_process_create_with_environment |
tree | commitdiff |
2012-05-29 |
navarro | Add MSG_process_set_kill_time |
tree | commitdiff |
2012-05-25 |
navarro | Add documentation for xbt_dict_foreach |
tree | commitdiff |
2012-05-24 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-05-23 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-05-23 |
Arnaud Giersch | Cannot use a variable defined on command line here. |
tree | commitdiff |
2012-05-23 |
suter | add a SD_workstation_dump function (not tested yet) |
tree | commitdiff |
2012-05-23 |
Arnaud Giersch | Apparently, constructor priorities are not supported... |
tree | commitdiff |
2012-05-22 |
Frederic Suter | Add a new type of typed task that we may be able to... |
tree | commitdiff |
2012-05-21 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-05-21 |
Marion Guthmuller | model-checker : get location of pointed address in... |
tree | commitdiff |
2012-05-13 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-05-13 |
Martin Quinson | make xbt_os_thread module public (Java needs it, at... |
tree | commitdiff |
2012-05-10 |
Martin Quinson | new function xbt_dynar_search_or_negative() |
tree | commitdiff |
2012-05-03 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-05-03 |
Marion Guthmuller | add SIMIX_host_get/set_data declaration in simix.h... |
tree | commitdiff |
2012-05-03 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-04-28 |
Martin Quinson | I forgot to update my tree before commiting (once again... |
tree | commitdiff |
2012-04-27 |
Martin Quinson | Remove the public field msg_host_t->name. Use MSG_host_... |
tree | commitdiff |
2012-04-27 |
Martin Quinson | simplify msg_host_t by inlining the simdata field |
tree | commitdiff |
2012-04-27 |
Martin Quinson | save one pointer per MSG host |
tree | commitdiff |
2012-04-27 |
Martin Quinson | Merge all public simix headers, and distribute them... |
tree | commitdiff |
2012-04-27 |
Martin Quinson | Enhance the communication filtering mechanism |
tree | commitdiff |
2012-04-27 |
navarro | Rewrite the kill_time mecanism. |
tree | commitdiff |
2012-04-27 |
Arnaud Giersch | Allow user defined format for XBT_IN() and XBT_HERE... |
tree | commitdiff |
2012-04-26 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
next |