| 2014-02-18 |
Marion Guthmuller | model-checker : conflit |
tree | commitdiff |
| 2014-02-18 |
Marion Guthmuller | model-checker : minor fix |
tree | commitdiff |
| 2014-02-18 |
Marion Guthmuller | model-checker : new configuration flag for the detectio... |
tree | commitdiff |
| 2014-02-18 |
Marion Guthmuller | model-checker : remove or comment some printf |
tree | commitdiff |
| 2014-02-18 |
Marion Guthmuller | model-checker : fix comm destroy for send detached... |
tree | commitdiff |
| 2014-02-18 |
Marion Guthmuller | model-checker : try to fix the model-checker in case... |
tree | commitdiff |
| 2014-02-18 |
Marion Guthmuller | model-checker : wait with timeout is always dependant... |
tree | commitdiff |
| 2014-02-18 |
Marion Guthmuller | fix debug log |
tree | commitdiff |
| 2014-02-10 |
Gabriel Corona | [mc] Remove useless code (get SP register) |
tree | commitdiff |
| 2014-02-10 |
Gabriel Corona | [mc] Restore old behaviour when comparing pointers... |
tree | commitdiff |
| 2014-02-07 |
Gabriel Corona | [mc] Fix sefault where a variable has no name |
tree | commitdiff |
| 2014-02-07 |
Gabriel Corona | [mc] Split address/location in dw_variable_t (which... |
tree | commitdiff |
| 2014-02-07 |
Gabriel Corona | [mc] Fix segfaults when type->name==NULL |
tree | commitdiff |
| 2014-02-07 |
Gabriel Corona | [mc] Disable communication pattern code (segfault) |
tree | commitdiff |
| 2014-02-04 |
Gabriel Corona | [mc] Remove code for finding an array byte size |
tree | commitdiff |
| 2014-02-03 |
Gabriel Corona | [mc] Fix broken type in compare_heap_area_with_type |
tree | commitdiff |
| 2014-01-31 |
Gabriel Corona | [mc] Enforce some assumption about the relationship... |
tree | commitdiff |
| 2014-01-31 |
Gabriel Corona | [mc] Add comments to compare_areas_with_type |
tree | commitdiff |
| 2014-01-31 |
Gabriel Corona | [mc] Do not ignore DW_TAG_const_type |
tree | commitdiff |
| 2014-01-31 |
Gabriel Corona | [mc] In compare_global_variables only compare values... |
tree | commitdiff |
| 2014-01-31 |
Gabriel Corona | [mc] DRY in snapshot_compare |
tree | commitdiff |
| 2014-01-31 |
Gabriel Corona | [mc] Have a more complete/accurate view of an given... |
tree | commitdiff |
| 2014-01-31 |
Gabriel Corona | [mc] Fix element count computation for a givena array... |
tree | commitdiff |
| 2014-01-31 |
Gabriel Corona | [mc] Fix handling of location |
tree | commitdiff |
| 2014-01-31 |
Gabriel Corona | [mc] Comment logging in order to fix the unit tests |
tree | commitdiff |
| 2014-01-17 |
Marion Guthmuller | Merge remote-tracking branch 'origin/libdw2' |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Add DW_TAG_formal_parameter as variables in the... |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Use literal values in DWARF constant to name mappings |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Cleanup mc_dwarf.c |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Remove useless argument in MC_dwarf_at_location |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Add comments/doxygen |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Free memory for object_info |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Remove objdump code |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Remove code for location of .plt and .got.plt |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Use libdw for location list |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Use libdw for functions and local variables |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Use libdw for global variables |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Deduplicate address location resolution in MC_dwar... |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Remove MC_dwarf_tag_type() |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Add dwarf_global field to dw_variable_t |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] libdwarf integration for types |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Use DWARF constants for type tags |
tree | commitdiff |
| 2014-01-17 |
Gabriel Corona | [mc] Fix warnings |
tree | commitdiff |
| 2014-01-16 |
Marion Guthmuller | model-checker : first steps for the study of MPI commun... |
tree | commitdiff |
| 2014-01-10 |
Gabriel Corona | [mc] Remove type DW_TAG_enumerator type (because it... |
tree | commitdiff |
| 2014-01-10 |
Gabriel Corona | [mc] Split byte_size and element_count in mc_object_info_t |
tree | commitdiff |
| 2014-01-10 |
Gabriel Corona | [mc] Remove spurious return in MC_find_object_address |
tree | commitdiff |
| 2014-01-10 |
Gabriel Corona | [mc] Add comments |
tree | commitdiff |
| 2014-01-10 |
Gabriel Corona | [mc] Restore lightweight MC initialisation procedure |
tree | commitdiff |
| 2014-01-10 |
Gabriel Corona | [mc] Cleanup mc_object_info_t code |
tree | commitdiff |
| 2014-01-09 |
Gabriel Corona | [mv] Remove global {start,end}_{plt,got}_{libsimgrid... |
tree | commitdiff |
| 2014-01-09 |
Gabriel Corona | [mc] Add plt/got in mc_object_info_t |
tree | commitdiff |
| 2014-01-09 |
Gabriel Corona | [mc] Move start_text, start_data, start_bss into mc_obj... |
tree | commitdiff |
| 2014-01-09 |
Gabriel Corona | [mc] Include ELF file name in object_info_t |
tree | commitdiff |
| 2014-01-09 |
Gabriel Corona | [mc] Remvove mc_{global_variables,local_variables,varia... |
tree | commitdiff |
| 2014-01-09 |
Gabriel Corona | [mc] Do not use mc_{global_variables,local_variables... |
tree | commitdiff |
| 2014-01-09 |
Gabriel Corona | [mc] Refactor, group some informations about a given... |
tree | commitdiff |
| 2014-01-09 |
Gabriel Corona | [mc] Use LANG=C when calling objdump |
tree | commitdiff |
| 2014-01-09 |
Gabriel Corona | [mc] Add some documentation to the MC DWARF code |
tree | commitdiff |
| 2014-01-06 |
Gabriel Corona | [mc] Fix bug in recurive call of compare_heap_area_with... |
tree | commitdiff |
| 2013-12-20 |
Gabriel Corona | [mc] Fix bug when parsing /proc/self/maps |
tree | commitdiff |
| 2013-12-20 |
Gabriel Corona | [mc] Fix broken objdump parser with new versions of... |
tree | commitdiff |
| 2013-11-08 |
Arnaud Giersch | Give smpiff the directory to libf2c. |
tree | commitdiff |
| 2013-11-08 |
Arnaud Giersch | Try to fix temp file creation. |
tree | commitdiff |
| 2013-11-08 |
Augustin Degomme | be a little more tricky and hopefully more portable |
tree | commitdiff |
| 2013-11-08 |
Augustin Degomme | more bash->sh changes |
tree | commitdiff |
| 2013-11-08 |
Augustin Degomme | thanks to Matthieu Volat, freebsd build may work again... |
tree | commitdiff |
| 2013-11-08 |
Augustin Degomme | I blame someone else for this |
tree | commitdiff |
| 2013-11-07 |
Arnaud Giersch | Look for gfortran before enabling support for smpif90. |
tree | commitdiff |
| 2013-11-07 |
Arnaud Giersch | Free group_lookup at finalize. |
tree | commitdiff |
| 2013-11-07 |
Arnaud Giersch | Increase junkarea to 4kiB. |
tree | commitdiff |
| 2013-11-07 |
Arnaud Giersch | Fix 32 bits builds. |
tree | commitdiff |
| 2013-11-07 |
Arnaud Giersch | Add Fortran bindigns for smpi+dvfs. |
tree | commitdiff |
| 2013-11-07 |
Arnaud Giersch | Export DVFS functionality for smpi (experimental). |
tree | commitdiff |
| 2013-11-06 |
Augustin Degomme | potential fixes |
tree | commitdiff |
| 2013-11-06 |
suter | leak --(cherry picked from commit dd1330c53beec9c5abb8b... |
tree | commitdiff |
| 2013-11-06 |
Arnaud Giersch | Make functions public, they are need by macros SMPI_SAM... |
tree | commitdiff |
| 2013-11-06 |
Arnaud Giersch | Cosmetics: uncapitalize. |
tree | commitdiff |
| 2013-11-06 |
suter | handle pending asynchronous requests on finalize (shoul... |
tree | commitdiff |
| 2013-11-06 |
suter | simplify and improve the way asynchronous send and... |
tree | commitdiff |
| 2013-11-06 |
Arnaud Giersch | Misc cleanups. |
tree | commitdiff |
| 2013-11-06 |
Arnaud Giersch | Simplify logic, and free loc in all cases. |
tree | commitdiff |
| 2013-11-06 |
Arnaud Giersch | Avoid to dereference a null index when HAVE_TRACING. |
tree | commitdiff |
| 2013-11-06 |
Arnaud Giersch | Request should not be null here. |
tree | commitdiff |
| 2013-11-06 |
Augustin Degomme | Trace buffer is not to be handled by the format-depende... |
tree | commitdiff |
| 2013-11-06 |
Augustin Degomme | Make time independent tracing output by default in... |
tree | commitdiff |
| 2013-11-05 |
Arnaud Giersch | Use DBL_MAX for values of type double. |
tree | commitdiff |
| 2013-11-05 |
Arnaud Giersch | Check that table[0].name is defined. |
tree | commitdiff |
| 2013-11-05 |
Arnaud Giersch | Define buffer on the stack here. |
tree | commitdiff |
| 2013-11-04 |
Arnaud Giersch | Define SIMGRID_VERSION_STRING, and add option --version... |
tree | commitdiff |
| 2013-11-04 |
Arnaud Giersch | Merge commit '78f0dd861a9bb479f33b9494a2b4ed7b977288a4... |
tree | commitdiff |
| 2013-11-04 |
Pierre Veyre | Add some MSG_file function prototypes |
tree | commitdiff |
| 2013-11-04 |
Arnaud Giersch | Rewrite to avoid compiler warnings about unused variables. |
tree | commitdiff |
| 2013-11-04 |
Arnaud Giersch | Avoid to use static variables from inside a non-static... |
tree | commitdiff |
| 2013-11-04 |
Arnaud Giersch | There is no need to export these functions. Mark them... |
tree | commitdiff |
| 2013-11-04 |
Arnaud Giersch | Inline is overkill for this function. |
tree | commitdiff |
| 2013-11-04 |
Arnaud Giersch | Remove useless test (it's always true). |
tree | commitdiff |
| 2013-11-04 |
Arnaud Giersch | Remove useless test (is_homogeneous). |
tree | commitdiff |
| 2013-11-02 |
Arnaud Giersch | Rename SG_java -> simgrid-java. |
tree | commitdiff |
| 2013-10-31 |
Arnaud Giersch | Prevent user from making call to MPI within a SMPI_SAMP... |
tree | commitdiff |
| next |
