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
remove potential bug / clang warning
[simgrid.git]
/
src
/
mc
/
mc_checkpoint.c
2014-02-17
Gabriel Corona
[mc] Avoid parsing /proc/self/maps if possible
blob
|
commitdiff
|
raw
2014-02-11
Gabriel Corona
[mc] Make usage of state hash a runtime parameter ...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-10
Gabriel Corona
[mc] Cache stack unwindinwg
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] Remove useless code (get SP register)
blob
|
commitdiff
|
raw
|
diff to current
2014-02-10
Gabriel Corona
[mc] Use optimized local implementation of libuwind...
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 useless zero-initialisations in the hot...
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-02-05
Arnaud Giersch
Add/update copyright notices.
blob
|
commitdiff
|
raw
|
diff to current
2014-02-04
Gabriel Corona
[mc] Remove code for finding an array byte size
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] 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 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] 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-10
Gabriel Corona
[mc] Remove spurious return in MC_find_object_address
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] Do not use mc_{global_variables,local_variables...
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 bug when parsing /proc/self/maps
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-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
Marion Guthmuller
model-checker : init var
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-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
Marion Guthmuller
model-checker : stop stack comparison before the contex...
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 : extend ignore mechanism with new user...
blob
|
commitdiff
|
raw
|
diff to current
2013-08-05
Marion Guthmuller
cosmetics
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-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-05-31
Marion Guthmuller
model-checker : initialize variables
blob
|
commitdiff
|
raw
|
diff to current
2013-05-30
Marion Guthmuller
model-checker : take snapshot of memory segments during...
blob
|
commitdiff
|
raw
|
diff to current
2013-05-28
Marion Guthmuller
model-checker : free memory
blob
|
commitdiff
|
raw
|
diff to current
2013-05-06
Paul Bédaride
Fix to handle warnings+optimizations on CI for MC32...
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-19
Marion Guthmuller
model-checker : cleanups
blob
|
commitdiff
|
raw
|
diff to current
2013-03-19
Marion Guthmuller
model-checker : code refactoring for get_hash_global
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 : get hash of local and global variables...
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
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-14
Arnaud Giersch
Use xbt_XXX_is_empty() instead of testing xbt_XXX_lengt...
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-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-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-31
Marion Guthmuller
model-checker : get bytes used in std_heap instead...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-31
Marion Guthmuller
model-checker : remove unnecessary variable
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
2012-12-20
Marion Guthmuller
model-checker : fix MC_take_snapshot if malloc used...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-20
Marion Guthmuller
model-checker : if frame name is empty, stop stack...
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-10
Marion Guthmuller
model-checker : one region in snapshot for data and...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Marion Guthmuller
model-checker : get libsimgrid_path with MC_init_memory...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-02
Marion Guthmuller
model-checker : get segments start only in MC_init_memo...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-02
Marion Guthmuller
model-checker : text segment is read and exec only
blob
|
commitdiff
|
raw
|
diff to current
2012-12-02
Marion Guthmuller
model-checker : cleanups in comments
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
next