2014-01-09 |
Gabriel Corona | [mv] Remove global {start,end}_{plt,got}_{libsimgrid... |
blob | commitdiff | raw |
2014-01-09 |
Gabriel Corona | [mc] Add plt/got in mc_object_info_t |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Move start_text, start_data, start_bss into mc_obj... |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Include ELF file name in object_info_t |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Remvove mc_{global_variables,local_variables,varia... |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Do not use mc_{global_variables,local_variables... |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Refactor, group some informations about a given... |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Use LANG=C when calling objdump |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Add some documentation to the MC DWARF code |
blob | commitdiff | raw | diff to current |
2013-12-20 |
Gabriel Corona | [mc] Fix broken objdump parser with new versions of... |
blob | commitdiff | raw | diff to current |
2013-10-07 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-10-06 |
Marion Guthmuller | model-checker : fix memory leak in ddfs algorithm |
blob | commitdiff | raw | diff to current |
2013-10-06 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-10-04 |
Marion Guthmuller | model-checker : ignore information about simix_global |
blob | commitdiff | raw | diff to current |
2013-10-04 |
Marion Guthmuller | model-checker : ignore some information for system... |
blob | commitdiff | raw | diff to current |
2013-10-01 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-10-01 |
Arnaud Giersch | Centralize declaration for _sg_init_status (renamed... |
blob | commitdiff | raw | diff to current |
2013-09-26 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-09-25 |
Arnaud Giersch | Dig through git history, and update copyright lines. |
blob | commitdiff | raw | diff to current |
2013-09-25 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-09-24 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
2013-09-24 |
Marion Guthmuller | model-checker : fix system state comparison (I hate... |
blob | commitdiff | raw | diff to current |
2013-09-24 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-09-23 |
Arnaud Giersch | Fix error: ‘current_region’ may be used uninitialized... |
blob | commitdiff | raw | diff to current |
2013-09-21 |
Marion Guthmuller | model-checker : parallel comparison of system states... |
blob | commitdiff | raw | diff to current |
2013-09-21 |
Marion Guthmuller | model-checker : --cfg=model-check/checkpoint is an... |
blob | commitdiff | raw | diff to current |
2013-08-14 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-08-13 |
Marion Guthmuller | model-checker : fix ignore mechanism |
blob | commitdiff | raw | diff to current |
2013-08-12 |
Marion Guthmuller | model-checker : fix ignore global variable |
blob | commitdiff | raw | diff to current |
2013-08-12 |
Marion Guthmuller | model-checker : remove unused variable |
blob | commitdiff | raw | diff to current |
2013-08-12 |
Marion Guthmuller | model-checker : extend ignore mechanism with new user... |
blob | commitdiff | raw | diff to current |
2013-08-10 |
Marion Guthmuller | model-checker : add min and max values for MC_RANDOM... |
blob | commitdiff | raw | diff to current |
2013-08-10 |
Marion Guthmuller | model-checker : rename MC_max_depth(int prop) -> MC_cut() |
blob | commitdiff | raw | diff to current |
2013-08-05 |
Marion Guthmuller | model-checker : new primitive MC_max_depth, to define... |
blob | commitdiff | raw | diff to current |
2013-08-05 |
Marion Guthmuller | model-checker : snapshot comparison with the types... |
blob | commitdiff | raw | diff to current |
2013-07-01 |
acarpena | Merge branch 'dvfs' |
blob | commitdiff | raw | diff to current |
2013-06-08 |
Marion Guthmuller | model-checker : increase number of colors for dot output |
blob | commitdiff | raw | diff to current |
2013-06-08 |
Marion Guthmuller | model-checker : use raw_heap instead of std_heap |
blob | commitdiff | raw | diff to current |
2013-06-08 |
Marion Guthmuller | model-checker : add information in counter-example... |
blob | commitdiff | raw | diff to current |
2013-06-02 |
Marion Guthmuller | model-checker : generate dot file for the verification... |
blob | commitdiff | raw | diff to current |
2013-05-28 |
Marion Guthmuller | model-checker : free memory |
blob | commitdiff | raw | diff to current |
2013-05-10 |
Paul Bédaride | Add new boolean type for configuration |
blob | commitdiff | raw | diff to current |
2013-04-15 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Marion Guthmuller | model-checker : create dot_output file after MC_do_the_... |
blob | commitdiff | raw | diff to current |
2013-04-01 |
Marion Guthmuller | model-checker : update state equality detection |
blob | commitdiff | raw | diff to current |
2013-03-25 |
Marion Guthmuller | model-checker : ignore variable about time used with... |
blob | commitdiff | raw | diff to current |
2013-03-25 |
Marion Guthmuller | model-checker : last fix in DPOR algorithm if max depth... |
blob | commitdiff | raw | diff to current |
2013-03-25 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-03-25 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-03-21 |
Marion Guthmuller | model-checker : fix soundness of DPOR algorithm if... |
blob | commitdiff | raw | diff to current |
2013-03-19 |
Arnaud Giersch | Initialize variables. |
blob | commitdiff | raw | diff to current |
2013-03-19 |
Marion Guthmuller | model-checker : order reached_pairs by number of proces... |
blob | commitdiff | raw | diff to current |
2013-03-19 |
Marion Guthmuller | model-checker : cleanups |
blob | commitdiff | raw | diff to current |
2013-03-16 |
Marion Guthmuller | model-checker : ignore mc_time for heap comparison... |
blob | commitdiff | raw | diff to current |
2013-03-16 |
Marion Guthmuller | model-checker : new model-checker configuration model... |
blob | commitdiff | raw | diff to current |
2013-03-16 |
Marion Guthmuller | model-checker : fix MC_RANDOM simcall |
blob | commitdiff | raw | diff to current |
2013-03-16 |
Marion Guthmuller | model-checker : remove local variable only if frame... |
blob | commitdiff | raw | diff to current |
2013-03-16 |
Marion Guthmuller | model-checker : remove variable from mc_local_variables... |
blob | commitdiff | raw | diff to current |
2013-03-16 |
Marion Guthmuller | model-checker : new simcall MC_RANDOM |
blob | commitdiff | raw | diff to current |
2013-02-21 |
Arnaud Giersch | Remove useless statements. |
blob | commitdiff | raw | diff to current |
2013-02-12 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-02-11 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Marion Guthmuller | model-checker : fix insertion in mc_heap_comparison_ignore |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Arnaud Giersch | Merge branch 'v3_9_x' |
blob | commitdiff | raw | diff to current |
2013-02-03 |
Arnaud Giersch | Rename getline as xbt_getline. |
blob | commitdiff | raw | diff to current |
2013-02-02 |
Martin Quinson | Merge branch 'master' of github.com:mquinson/simgrid |
blob | commitdiff | raw | diff to current |
2013-02-01 |
Marion Guthmuller | model-checker : remove var in list of global variables... |
blob | commitdiff | raw | diff to current |
2013-02-01 |
Marion Guthmuller | model-checker : fix index of dynar in get_location |
blob | commitdiff | raw | diff to current |
2013-01-31 |
Marion Guthmuller | model-checker : start heap comparison from local variables |
blob | commitdiff | raw | diff to current |
2013-01-31 |
Marion Guthmuller | model-checker : fix get_local_variables |
blob | commitdiff | raw | diff to current |
2013-01-30 |
Arnaud Giersch | Incorporate simgrid-java in simgrid-java/. |
blob | commitdiff | raw | diff to current |
2013-01-25 |
Marion Guthmuller | model-checker : need to switch between raw heap and... |
blob | commitdiff | raw | diff to current |
2013-01-25 |
Marion Guthmuller | model-checker : move function from mc_global in mm_modu... |
blob | commitdiff | raw | diff to current |
2013-01-25 |
Marion Guthmuller | model-checker : start canonicalizatipn in heap comparis... |
blob | commitdiff | raw | diff to current |
2013-01-17 |
Arnaud Giersch | Merge branch 'master' into vmtrace |
blob | commitdiff | raw | diff to current |
2013-01-16 |
Jonathan Rouzaud... | Merge with master |
blob | commitdiff | raw | diff to current |
2013-01-14 |
Marion Guthmuller | model-checker : use a global timer for snapshot compari... |
blob | commitdiff | raw | diff to current |
2013-01-11 |
Marion Guthmuller | model-checker : free memory |
blob | commitdiff | raw | diff to current |
2013-01-07 |
Marion Guthmuller | model-checker : comment backtrace and add ignore mechan... |
blob | commitdiff | raw | diff to current |
2013-01-03 |
Marion Guthmuller | model-checker : fix dichotomic search and insertion... |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Marion Guthmuller | model-checker : use xbt_abort after exhaustive exploration |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Marion Guthmuller | model-checker : ignore some local variables from simix... |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Marion Guthmuller | model-checker : fix sorting of visited states and state... |
blob | commitdiff | raw | diff to current |
2012-12-18 |
Paul Bédaride | Fix _sg_do_model_check use with model_check=OFF |
blob | commitdiff | raw | diff to current |
2012-12-18 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-12-17 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-12-17 |
Paul Bédaride | Restructure config headers |
blob | commitdiff | raw | diff to current |
2012-12-17 |
Paul Bédaride | Fix model checker config issue |
blob | commitdiff | raw | diff to current |
2012-12-17 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-12-17 |
Paul Bédaride | Move config from surf to simgrid |
blob | commitdiff | raw | diff to current |
2012-12-16 |
Marion Guthmuller | model-checker : cosmectics |
blob | commitdiff | raw | diff to current |
2012-12-06 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-12-06 |
Marion Guthmuller | model-checker : ignore global variables corresponding... |
blob | commitdiff | raw | diff to current |
2012-12-04 |
Marion Guthmuller | model-checker : ignore new variables |
blob | commitdiff | raw | diff to current |
2012-12-04 |
Marion Guthmuller | model-checker : remove unused code |
blob | commitdiff | raw | diff to current |
2012-12-04 |
Marion Guthmuller | model-checker : set raw heap for initialization step |
blob | commitdiff | raw | diff to current |
2012-12-02 |
Marion Guthmuller | model-checker : statistics printed twice if exhaustive... |
blob | commitdiff | raw | diff to current |
2012-12-02 |
Marion Guthmuller | model-checker : get global variables with objdump and... |
blob | commitdiff | raw | diff to current |
2012-12-02 |
Marion Guthmuller | model-checker : cleanups in comments |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Jonathan Rouzaud... | update |
blob | commitdiff | raw | diff to current |
next |