A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[mc] Code for evaluation of the impact of the hash
[simgrid.git]
/
src
/
mc
/
mc_compare.c
2014-02-11
Gabriel Corona
[mc] Code for evaluation of the impact of the hash
blob
|
commitdiff
|
raw
2014-02-10
Gabriel Corona
[mc] Fix broken type lookup code
blob
|
commitdiff
|
raw
|
diff to current
2014-02-10
Gabriel Corona
Merge branch 'mc' into mc-perf
blob
|
commitdiff
|
raw
|
diff to current
2014-02-10
Gabriel Corona
[mc] Restore old behaviour when comparing pointers...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
Merge branch mc into mc-perf
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
[mc] Split address/location in dw_variable_t (which...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
[mc] Remove old hash code
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
[mc] Avoid type lookups and calls to get_type_description()
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
[mc] Pass mc_object_info_t arguiments in many places...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
[mc] Preprocess type lookup
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
[mc] Compute a single hash (64 bits) of the current...
blob
|
commitdiff
|
raw
|
diff to current
2014-01-31
Gabriel Corona
[mc] Enforce some assumption about the relationship...
blob
|
commitdiff
|
raw
|
diff to current
2014-01-31
Gabriel Corona
[mc] Add comments to compare_areas_with_type
blob
|
commitdiff
|
raw
|
diff to current
2014-01-31
Gabriel Corona
[mc] Do not ignore DW_TAG_const_type
blob
|
commitdiff
|
raw
|
diff to current
2014-01-31
Gabriel Corona
[mc] In compare_global_variables only compare values...
blob
|
commitdiff
|
raw
|
diff to current
2014-01-31
Gabriel Corona
[mc] DRY in snapshot_compare
blob
|
commitdiff
|
raw
|
diff to current
2014-01-31
Gabriel Corona
[mc] Have a more complete/accurate view of an given...
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Marion Guthmuller
Merge remote-tracking branch 'origin/libdw2'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Gabriel Corona
[mc] Use DWARF constants for type tags
blob
|
commitdiff
|
raw
|
diff to current
2014-01-10
Gabriel Corona
[mc] Split byte_size and element_count 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] Do not use mc_{global_variables,local_variables...
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 : fix detection of pointers on a fragment...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-04
Marion Guthmuller
model-checker : restore sequential system state compari...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-04
Marion Guthmuller
model-checker : add debug message
blob
|
commitdiff
|
raw
|
diff to current
2013-10-04
Marion Guthmuller
model-checker : automaton state comparison removed...
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-10-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-09-29
Marion Guthmuller
model-checker : update system state comparison
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-21
Marion Guthmuller
model-checker : parallel comparison of system states...
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-12
Marion Guthmuller
model-checker : fix comparison of local variables
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-05
Marion Guthmuller
model-checker : snapshot comparison with the types...
blob
|
commitdiff
|
raw
|
diff to current
2013-08-05
Marion Guthmuller
model-checker : comparison of number of processes and...
blob
|
commitdiff
|
raw
|
diff to current
2013-07-01
acarpena
Merge branch 'dvfs'
blob
|
commitdiff
|
raw
|
diff to current
2013-06-14
Guillaume Serrière
Change xbt_os_timer interface to handle cpu time, threa...
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-01
Marion Guthmuller
model-checker : update state equality detection
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 : code refactoring
blob
|
commitdiff
|
raw
|
diff to current
2013-03-16
Marion Guthmuller
model-checker : improve debug message
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 : fix memory leak
blob
|
commitdiff
|
raw
|
diff to current
2013-03-16
Marion Guthmuller
model-checker : cosmetics
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 : get instruction pointer and frame name...
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-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 : variable used ifdef MC_VERBOSE
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-28
Marion Guthmuller
unnecessary loop for the reset of the simcall args
blob
|
commitdiff
|
raw
|
diff to current
2013-01-28
Marion Guthmuller
model-checker : reset args and result of simcalls in...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-25
Marion Guthmuller
model-checker : compare directly local variables found...
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-25
Marion Guthmuller
model-checker : cleanups for heap comparison from globa...
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-11
Marion Guthmuller
model-checker : free memory
blob
|
commitdiff
|
raw
|
diff to current
2013-01-10
Marion Guthmuller
model-checker : fix memory free
blob
|
commitdiff
|
raw
|
diff to current
2013-01-10
Marion Guthmuller
model-checker : free memory for stacks comparison
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-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 : improve debug message if different...
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 : display instruction pointer if differen...
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-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 : ignore coverage variables
blob
|
commitdiff
|
raw
|
diff to current
2012-11-18
Marion Guthmuller
model-checker : ignore some variables enabled with...
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 : comparison times are NULL for visited_pair
blob
|
commitdiff
|
raw
|
diff to current
2012-11-12
Marion Guthmuller
model-checker : cosmetics on log message
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
next