| 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 |
Marion Guthmuller | model-checker : remove unused files |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Indentation fix |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-14 |
Arnaud Giersch | Fix format string. |
tree | commitdiff |
| 2012-06-14 |
Arnaud Giersch | Remove unused variable. |
tree | commitdiff |
| 2012-06-14 |
Arnaud Giersch | Add cases for missing enumeration values. |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] correctly generating viva categorized configuration |
tree | commitdiff |
| 2012-06-14 |
suter | add a SD_task_set_rate function |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Update MSG_comm_wait documentation |
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 | Bugfix in cloud API (again) |
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] re-write of trace mark API, need to declare... |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] only ignore the call if the mark type wasn... |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] we don't need to trace the destruction of the... |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] don't let mark the trace if platform is not... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : add header (description, copyright... |
tree | commitdiff |
| 2012-06-14 |
Arnaud Giersch | Fix build with paranoid flags: remove redundant '\0... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : comment unused variable |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : get end heap with field breakval in... |
tree | commitdiff |
| 2012-06-14 |
Sascha Hunold | updated jedule output of SimDag |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : move print statistics if property is... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : fix std_heap address for heap compariso... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : in second test unit, snapshot compariso... |
tree | commitdiff |
| 2012-06-13 |
Arnaud Giersch | [trace] correct impossible code. |
tree | commitdiff |
| 2012-06-13 |
Arnaud Giersch | [trace] new function: PJ_value_get_or_new(). |
tree | commitdiff |
| 2012-06-13 |
Arnaud Giersch | [trace] throw an exception instead of returning NULL. |
tree | commitdiff |
| 2012-06-13 |
Arnaud Giersch | [trace] test is obviously redundant here. |
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 |
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 |
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 |
Arnaud Giersch | Cosmetics: allow a semicolon after macro usage. |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | model-checker : new test unit for snapshot comparison |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | model-checker : remove unused argument in functions... |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | model-checker : add total hamming distance for heap... |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | model-checker : test unit for snapshot comparison |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | model-checker : unused variables deleted |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | model-checker : remove unnecessary get_memory_map_addr... |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | model-checker : update include file |
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-13 |
jbrv | Event generation for probabilist tmgr_trace |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | model-checker : print statistics in all cases (property... |
tree | commitdiff |
| 2012-06-12 |
Marion Guthmuller | model-checker : comment unused statistics information |
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 | Remove some debug from execution |
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 | model-checker : warnings compilation fixed |
tree | commitdiff |
| 2012-06-12 |
Marion Guthmuller | fix merge conflict |
tree | commitdiff |
| 2012-06-12 |
Marion Guthmuller | model-checker : fix number and address of blocks in... |
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-12 |
Arnaud Giersch | Fix compilation errors about unused or uninitialized... |
tree | commitdiff |
| 2012-06-12 |
jbrv | change a function name that I forgot to change |
tree | commitdiff |
| 2012-06-11 |
jbrv | Trace manager : add a function to generate values from... |
tree | commitdiff |
| 2012-06-11 |
jbrv | Trace manager : Add and change some structures and... |
tree | commitdiff |
| 2012-06-11 |
Marion Guthmuller | model-checker : remove useless memcmp in heap compariso... |
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-11 |
Stephane Genaud | gcc defines __APPLE__, use this instead APPLE |
tree | commitdiff |
| 2012-06-09 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-09 |
Marion Guthmuller | model-checker : heap comparison algorithm rewrited |
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-07 |
pierre | Hack to compile smpi on Mac (but need to fix;) |
tree | commitdiff |
| 2012-06-06 |
Marion Guthmuller | typos in message of backtrace display (where malloced... |
tree | commitdiff |
| 2012-06-06 |
schnorr | [trace] viva graph configuration (same as for triva... |
tree | commitdiff |
| 2012-06-06 |
schnorr | [trace] launch an exception if user provided an unknown... |
tree | commitdiff |
| 2012-06-05 |
Christophe Thiéry | The usual typo. |
tree | commitdiff |
| 2012-06-05 |
Martin Quinson | avoid double free issues when on host failure+process run |
tree | commitdiff |
| 2012-06-05 |
Martin Quinson | Bug fixes around the resource failures in Simix |
tree | commitdiff |
| 2012-06-05 |
Martin Quinson | do not hide issues |
tree | commitdiff |
| 2012-06-04 |
Arnaud Giersch | Declare as "unsigned" bit fields used as boolean. |
tree | commitdiff |
| 2012-06-04 |
Arnaud Giersch | Cosmetics: align comment. |
tree | commitdiff |
| 2012-06-04 |
Arnaud Giersch | Add missing includes. |
tree | commitdiff |
| 2012-06-04 |
Christophe Thiéry | A boolean should be unsigned if you want to compare... |
tree | commitdiff |
| 2012-06-03 |
Marion Guthmuller | model-checker : free pointers |
tree | commitdiff |
| 2012-06-03 |
Marion Guthmuller | model-checker : free pointers |
tree | commitdiff |
| 2012-06-03 |
Marion Guthmuller | model-checker : initialize pointer and update indice... |
tree | commitdiff |
| 2012-06-02 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-02 |
Marion Guthmuller | model-checker : free pointer |
tree | commitdiff |
| 2012-06-02 |
Marion Guthmuller | model-checker : initialize pointers (segfault with... |
tree | commitdiff |
| 2012-06-02 |
Marion Guthmuller | model-checker : add pair's number in struct mc_pair_rea... |
tree | commitdiff |
| 2012-06-02 |
Marion Guthmuller | model-checker : free pointers |
tree | commitdiff |
| 2012-06-01 |
Arnaud Giersch | Undefine this terms, or supernovae build will fail. |
tree | commitdiff |
| 2012-06-01 |
Marion Guthmuller | model-checker : oops, about 3000 blocks unchecked in... |
tree | commitdiff |
| 2012-06-01 |
Marion Guthmuller | model-checker : first work for canonicalisation (get... |
tree | commitdiff |
| next |
