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-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 |
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-10-24 |
Marion Guthmuller | model-checker : print depth of the counter-example... |
tree | commitdiff |
2013-10-08 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-10-08 |
Marion Guthmuller | model-checker : avoid unnecessary snapshot restore |
tree | commitdiff |
2013-10-07 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-10-06 |
Marion Guthmuller | model-checker : fix memory leak in ddfs algorithm |
tree | commitdiff |
2013-10-06 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : ignore information about simix_global... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : ignore information about simix_global |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : fix detection of pointers on a fragment... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : ignore process_to_run and process_that_... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : restore sequential system state compari... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : fix sort of acceptance pairs |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : add debug message |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : ignore some information for system... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : automaton state comparison removed... |
tree | commitdiff |
2013-10-01 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-10-01 |
Arnaud Giersch | Centralize declaration for _sg_init_status (renamed... |
tree | commitdiff |
2013-10-01 |
Marion Guthmuller | model-checker : fix removal of a visited pair in livene... |
tree | commitdiff |
2013-10-01 |
Marion Guthmuller | model-checker : parallel system state comparison for... |
tree | commitdiff |
2013-10-01 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-09-29 |
Marion Guthmuller | model-checker : update system state comparison |
tree | commitdiff |
2013-09-26 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-09-25 |
Arnaud Giersch | Dig through git history, and update copyright lines. |
tree | commitdiff |
2013-09-25 |
Marion Guthmuller | model-checker : init var |
tree | commitdiff |
2013-09-25 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-09-24 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2013-09-24 |
Marion Guthmuller | model-checker : fix system state comparison (I hate... |
tree | commitdiff |
2013-09-24 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-09-23 |
Arnaud Giersch | Fix error: ‘current_region’ may be used uninitialized... |
tree | commitdiff |
2013-09-21 |
Marion Guthmuller | model-checker : parallel comparison of system states... |
tree | commitdiff |
2013-09-21 |
Marion Guthmuller | model-checker : minor fix in ddfs algorithm |
tree | commitdiff |
2013-09-21 |
Marion Guthmuller | model-checker : --cfg=model-check/checkpoint is an... |
tree | commitdiff |
2013-09-18 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-08-22 |
Arnaud Legrand | Fix a bunch of typos thanks to the new spell script... |
tree | commitdiff |
2013-08-19 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-08-14 |
Marion Guthmuller | model-checker : memory free and cleanup |
tree | commitdiff |
2013-08-14 |
Marion Guthmuller | model-checker : stop stack comparison before the contex... |
tree | commitdiff |
2013-08-14 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-08-13 |
Marion Guthmuller | model-checker : fix dot output for liveness MC |
tree | commitdiff |
2013-08-13 |
Marion Guthmuller | model-checker : fix ignore mechanism |
tree | commitdiff |
2013-08-12 |
Marion Guthmuller | model-checker : fix ignore global variable |
tree | commitdiff |
2013-08-12 |
Marion Guthmuller | model-checker : remove unused variable |
tree | commitdiff |
2013-08-12 |
Marion Guthmuller | model-checker : add debug message |
tree | commitdiff |
2013-08-12 |
Marion Guthmuller | model-checker : fix comparison of local variables |
tree | commitdiff |
2013-08-12 |
Marion Guthmuller | model-checker : extend ignore mechanism with new user... |
tree | commitdiff |
2013-08-10 |
Marion Guthmuller | model-checker : udpate debug information |
tree | commitdiff |
2013-08-10 |
Marion Guthmuller | model-checker : fix DPOR with visited states reduction |
tree | commitdiff |
2013-08-10 |
Marion Guthmuller | model-checker : add min and max values for MC_RANDOM... |
tree | commitdiff |
2013-08-10 |
Marion Guthmuller | model-checker : rename MC_max_depth(int prop) -> MC_cut() |
tree | commitdiff |
2013-08-10 |
Marion Guthmuller | model-checker : fix dot_output with DPOR |
tree | commitdiff |
2013-08-05 |
Marion Guthmuller | cosmetics |
tree | commitdiff |
2013-08-05 |
Marion Guthmuller | model-checker : new primitive MC_max_depth, to define... |
tree | commitdiff |
2013-08-05 |
Marion Guthmuller | model-checker : fix DPOR with timeout |
tree | commitdiff |
2013-08-05 |
Marion Guthmuller | model-checker : include simcall number in request_to_string |
tree | commitdiff |
2013-08-05 |
Marion Guthmuller | model-checker : snapshot comparison with the types... |
tree | commitdiff |
2013-08-05 |
Marion Guthmuller | model-checker : comparison of number of processes and... |
tree | commitdiff |
2013-07-01 |
acarpena | Merge branch 'dvfs' |
tree | commitdiff |
2013-06-14 |
Guillaume Serrière | Change xbt_os_timer interface to handle cpu time, threa... |
tree | commitdiff |
2013-06-13 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-06-13 |
Marion Guthmuller | model-checker : fix (again ..) DPOR for iSend/iRecv... |
tree | commitdiff |
2013-06-13 |
Marion Guthmuller | model-checker : improve debug messages |
tree | commitdiff |
2013-06-08 |
Marion Guthmuller | model-checker : free memory |
tree | commitdiff |
2013-06-08 |
Marion Guthmuller | model-checker : increase number of colors for dot output |
tree | commitdiff |
2013-06-08 |
Marion Guthmuller | model-checker : use raw_heap instead of std_heap |
tree | commitdiff |
2013-06-08 |
Marion Guthmuller | model-checker : fix dot output for smpi examples |
tree | commitdiff |
2013-06-08 |
Marion Guthmuller | model-checker : add information in counter-example... |
tree | commitdiff |
2013-06-02 |
Marion Guthmuller | model-checker : generate dot file for the verification... |
tree | commitdiff |
2013-06-02 |
Marion Guthmuller | model-checker : use else if instead of if then if |
tree | commitdiff |
2013-06-02 |
Marion Guthmuller | model-checker : fix dpor with dot_output |
tree | commitdiff |
2013-06-01 |
Marion Guthmuller | model-checker : fix memory free |
tree | commitdiff |
2013-05-31 |
Marion Guthmuller | model-checker : remove useless if |
tree | commitdiff |
next |