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] Preprocess type lookup
[simgrid.git]
/
src
/
mc
/
mc_private.h
2014-02-07
Gabriel Corona
[mc] Preprocess type lookup
blob
|
commitdiff
|
raw
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] 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] Cleanup mc_dwarf.c
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Gabriel Corona
[mc] Remove objdump code
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Gabriel Corona
[mc] Remove code for location of .plt and .got.plt
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Gabriel Corona
[mc] Use libdw for location list
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Gabriel Corona
[mc] Use libdw for functions and local variables
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Gabriel Corona
[mc] Use libdw for global variables
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Gabriel Corona
[mc] Deduplicate address location resolution in MC_dwar...
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Gabriel Corona
[mc] Add dwarf_global field to dw_variable_t
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Gabriel Corona
[mc] libdwarf integration for types
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Gabriel Corona
[mc] Fix warnings
blob
|
commitdiff
|
raw
|
diff to current
2014-01-16
Marion Guthmuller
model-checker : first steps for the study of MPI commun...
blob
|
commitdiff
|
raw
|
diff to current
2014-01-10
Gabriel Corona
[mc] Add comments
blob
|
commitdiff
|
raw
|
diff to current
2014-01-10
Gabriel Corona
[mc] Cleanup mc_object_info_t code
blob
|
commitdiff
|
raw
|
diff to current
2014-01-09
Gabriel Corona
[mv] Remove global {start,end}_{plt,got}_{libsimgrid...
blob
|
commitdiff
|
raw
|
diff to current
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-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-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-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-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
next