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] Refactor, group some informations about a given... |
blob | commitdiff | raw | diff to current |
2013-11-21 |
Arnaud Giersch | Misc cleanups: remove unnecessary casts, use unsigned... |
blob | commitdiff | raw | diff to current |
2013-11-08 |
Paul Bédaride | Merge branch 'hypervisor' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-11-08 |
Paul Bédaride | Merge tag 'v3_9_90' into hypervisor |
blob | commitdiff | raw | diff to current |
2013-10-30 |
Paul Bédaride | Merge commit '045db1657e870c721be490b411868f4181a12ced... |
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-01 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-10-01 |
Marion Guthmuller | model-checker : parallel system state comparison for... |
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-24 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
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-21 |
Marion Guthmuller | model-checker : parallel comparison of system states... |
blob | commitdiff | raw | diff to current |
2013-09-18 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-08-22 |
Arnaud Legrand | Fix a bunch of typos thanks to the new spell script... |
blob | commitdiff | raw | diff to current |
2013-08-19 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-08-14 |
Marion Guthmuller | model-checker : memory free and cleanup |
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 dot output for liveness MC |
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 : fix dot_output with DPOR |
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-28 |
Takahiro Hirofuchi | Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro... |
blob | commitdiff | raw | diff to current |
2013-06-19 |
Paul Bédaride | Merge branch 'master' into hypervisor |
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-02 |
Marion Guthmuller | model-checker : generate dot file for the verification... |
blob | commitdiff | raw | diff to current |
2013-05-31 |
Marion Guthmuller | model-checker : simplify algorithm for the verification... |
blob | commitdiff | raw | diff to current |
2013-05-28 |
Marion Guthmuller | model-checker : use only structure (mc_pair_t) for... |
blob | commitdiff | raw | diff to current |
2013-04-10 |
Takahiro Hirofuchi | Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro... |
blob | commitdiff | raw | diff to current |
2013-04-02 |
alebre | Merge branch 'master' into hypervisor |
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 |
Marion Guthmuller | model-checker : order reached_pairs by number of proces... |
blob | commitdiff | raw | diff to current |
2013-03-19 |
Marion Guthmuller | model-checker : store heap_bytes_used and number of... |
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 : 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 static function |
blob | commitdiff | raw | diff to current |
2013-03-16 |
Marion Guthmuller | model-checker : get hash of local and global variables... |
blob | commitdiff | raw | diff to current |
2013-03-16 |
Marion Guthmuller | model-checker : remove commentated declaration of funct... |
blob | commitdiff | raw | diff to current |
2013-03-16 |
Marion Guthmuller | model-checker : cleanups in mc_snapshot structure |
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 |
Takahiro Hirofuchi | Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro... |
blob | commitdiff | raw | diff to current |
2013-02-21 |
alebre | Merge with master and fix conflicts |
blob | commitdiff | raw | diff to current |
2013-02-19 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-02-18 |
Arnaud Giersch | Remove declarations for nonexistent functions or variables. |
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 | various fixes to hopefully compile under win32 |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Arnaud Giersch | Merge branch 'v3_9_x' |
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-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 : get bytes used in std_heap instead... |
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-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-14 |
Marion Guthmuller | model-checker : add nb_processes in snapshot |
blob | commitdiff | raw | diff to current |
2013-01-11 |
Marion Guthmuller | model-checker : free memory |
blob | commitdiff | raw | diff to current |
2013-01-11 |
Marion Guthmuller | model-checker : add chunks used into snapshot structure... |
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 : fix sorting of visited states and state... |
blob | commitdiff | raw | diff to current |
2013-01-01 |
Marion Guthmuller | model-checker : sorting of visited states according... |
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-02 |
Marion Guthmuller | model-checker : get global variables with objdump and... |
blob | commitdiff | raw | diff to current |
2012-12-02 |
Marion Guthmuller | model-checker : get .got.plt sections |
blob | commitdiff | raw | diff to current |
2012-11-30 |
shenshei | Merge ../simgrid |
blob | commitdiff | raw | diff to current |
2012-11-28 |
shenshei | Change simcall functions |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Jonathan Rouzaud... | update |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-11-20 |
Marion Guthmuller | model-checker : rename cfg flag for state comparison... |
blob | commitdiff | raw | diff to current |
2012-11-20 |
Marion Guthmuller | model-checker : ignore coverage variables |
blob | commitdiff | raw | diff to current |
2012-11-16 |
Marion Guthmuller | model-checker : fix dpor algorithm |
blob | commitdiff | raw | diff to current |
2012-11-15 |
Marion Guthmuller | model-checker : factorize code for safety and liveness... |
blob | commitdiff | raw | diff to current |
2012-11-15 |
Marion Guthmuller | model-checker : cleanups in verification of current... |
blob | commitdiff | raw | diff to current |
2012-11-15 |
Marion Guthmuller | model-checker : store last visited states during explor... |
blob | commitdiff | raw | diff to current |
2012-11-13 |
Marion Guthmuller | model-checker : new cfg command line flag (model-check... |
blob | commitdiff | raw | diff to current |
2012-11-12 |
Marion Guthmuller | model-checker : Add statistics about comparison times... |
blob | commitdiff | raw | diff to current |
2012-11-12 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-11-11 |
Marion Guthmuller | model-checker : get times elapsed for snasphot comparison |
blob | commitdiff | raw | diff to current |
2012-11-11 |
Marion Guthmuller | model-checker : add ignore mechanism for global variabl... |
blob | commitdiff | raw | diff to current |
2012-11-11 |
Marion Guthmuller | model-checker : get start of libsimgrid bss segment... |
blob | commitdiff | raw | diff to current |
2012-11-08 |
Marion Guthmuller | model-checker : new command line flag (model-check... |
blob | commitdiff | raw | diff to current |
2012-11-07 |
Marion Guthmuller | model-checker : add ignore mechanism for comparison... |
blob | commitdiff | raw | diff to current |
2012-10-27 |
Marion Guthmuller | model-checker : store initial snapshot in structure... |
blob | commitdiff | raw | diff to current |
2012-10-27 |
Marion Guthmuller | model-checker : init MC for liveness in a separate... |
blob | commitdiff | raw | diff to current |
2012-10-27 |
Marion Guthmuller | model-checker : change MC_take_snapshot_liveness declar... |
blob | commitdiff | raw | diff to current |
2012-10-27 |
Marion Guthmuller | model-checker : fix some memory leaks |
blob | commitdiff | raw | diff to current |
2012-10-27 |
Marion Guthmuller | model-checker : ignore pointers on raw_heap in data... |
blob | commitdiff | raw | diff to current |
next |