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
Value is used only when MC_is_active().
[simgrid.git]
/
src
/
simix
/
2013-02-11
Augustin Degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-02-07
Jonathan Rouzaud...
Add a new simcall that modifies the rate of the first...
tree
|
commitdiff
2013-02-06
Arnaud Giersch
Give state a sensible value, and don't let it uninitial...
tree
|
commitdiff
2013-02-06
Arnaud Giersch
Destroy comm action in SIMIX_process_kill.
tree
|
commitdiff
2013-02-05
Arnaud Giersch
Merge branch 'v3_9_x'
tree
|
commitdiff
2013-02-02
Arnaud Giersch
Typo.
tree
|
commitdiff
2013-02-02
Martin Quinson
Merge branch 'master' of github.com:mquinson/simgrid
tree
|
commitdiff
2013-01-31
Marion Guthmuller
model-checker : start heap comparison from local variables
tree
|
commitdiff
2013-01-30
Arnaud Giersch
Incorporate simgrid-java in simgrid-java/.
tree
|
commitdiff
2013-01-30
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-01-30
Paul Bédaride
Fix missing proto for PID functions
tree
|
commitdiff
2013-01-30
Arnaud Giersch
Merge branch 'v3_9_x'
tree
|
commitdiff
2013-01-30
Arnaud Giersch
Merge remote-tracking branch 'github/master'
tree
|
commitdiff
2013-01-30
Paul Bédaride
Make MSG use SIMIX pids
tree
|
commitdiff
2013-01-29
Paul Bédaride
Merge branch 'master' of 192.168.8.160:/git/simgrid
tree
|
commitdiff
2013-01-28
Marion Guthmuller
unnecessary loop for the reset of the simcall args
tree
|
commitdiff
2013-01-28
Marion Guthmuller
model-checker : don't need to reset the result of simca...
tree
|
commitdiff
2013-01-28
Marion Guthmuller
model-checker : reset args and result of simcalls in...
tree
|
commitdiff
2013-01-21
Paul Bédaride
All hosts types fusion to xbt_dictelm_t
tree
|
commitdiff
2013-01-17
Arnaud Giersch
Merge branch 'master' into vmtrace
tree
|
commitdiff
2013-01-16
Jonathan Rouzaud...
Merge with master
tree
|
commitdiff
2013-01-08
Paul Bédaride
Fix lua deploy
tree
|
commitdiff
2013-01-02
Marion Guthmuller
model-checker : ignore some local variables from simix...
tree
|
commitdiff
2012-12-26
Marion Guthmuller
model-checker : don't ignore simcall result in system...
tree
|
commitdiff
2012-12-17
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-12-17
Paul Bédaride
Move config from surf to simgrid
tree
|
commitdiff
2012-12-16
Marion Guthmuller
Remove comm from src_proc->comms and dst_proc->comms...
tree
|
commitdiff
2012-12-16
Marion Guthmuller
remove comm from rdv if comm destroyed before being...
tree
|
commitdiff
2012-12-04
Marion Guthmuller
model-checker : ignore simcall result in heap comparison
tree
|
commitdiff
2012-12-04
bedaride
Dirty Fix to handle model checking with new simcalls
tree
|
commitdiff
2012-12-03
shenshei
Fix debug message in simix
tree
|
commitdiff
2012-12-03
Augustin Degomme
remove sender's side data from mpi_send in the receiver...
tree
|
commitdiff
2012-12-03
Augustin Degomme
hopefully remove leak in permanent receive mode
tree
|
commitdiff
2012-12-03
Arnaud Giersch
Remove spurious semicolon.
tree
|
commitdiff
2012-12-03
Arnaud Giersch
Define inline functions in header file (again).
tree
|
commitdiff
2012-12-03
Arnaud Giersch
Remove prototypes.
tree
|
commitdiff
2012-12-03
Arnaud Giersch
Define inline function in header file.
tree
|
commitdiff
2012-11-30
shenshei
Merge ../simgrid
tree
|
commitdiff
2012-11-30
shenshei
New simcalls work
tree
|
commitdiff
2012-11-28
shenshei
Change simcall functions
tree
|
commitdiff
2012-11-28
paul bedaride
Add macros to generate simcalls code
tree
|
commitdiff
2012-11-28
Cristian Rosa
Make SimGrid compile again :)
tree
|
commitdiff
2012-11-28
Cristian Rosa
WIP on simcalls: fd8c267 Stop making direct calls to...
tree
|
commitdiff
2012-11-28
Cristian Rosa
Kill unused macro.
tree
|
commitdiff
2012-11-28
Cristian Rosa
Move Hosts related simcalls to the new API.
tree
|
commitdiff
2012-11-28
Cristian Rosa
Add new type of scalar value 'STRING' for const char*
tree
|
commitdiff
2012-11-28
Cristian Rosa
Extend definition of simcalls to include a pointer...
tree
|
commitdiff
2012-11-28
Cristian Rosa
Move SIMCALL_HOST_EXECUTE to the new simcall architectu...
tree
|
commitdiff
2012-11-28
Cristian Rosa
Add new simcall interface definitions.
tree
|
commitdiff
2012-11-28
Cristian Rosa
Extend definition of simcalls to include a pointer...
tree
|
commitdiff
2012-11-28
Cristian Rosa
Move SIMCALL_HOST_EXECUTE to the new simcall architectu...
tree
|
commitdiff
2012-11-28
Cristian Rosa
Add new simcall interface definitions.
tree
|
commitdiff
2012-11-28
Marion Guthmuller
model-checker : init result of simcalls for snapshot...
tree
|
commitdiff
2012-11-27
Jonathan Rouzaud...
update
tree
|
commitdiff
2012-11-27
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-11-23
Arnaud Giersch
Merge branch 'killgraskill'
tree
|
commitdiff
2012-11-23
Arnaud Giersch
Kill more references to GRAS.
tree
|
commitdiff
2012-11-23
Arnaud Giersch
Rename gras_config to internal_config.
tree
|
commitdiff
2012-11-23
Arnaud Giersch
Move check at another place where it doesn't break...
tree
|
commitdiff
2012-11-22
Martin Quinson
comments, debugs and other minor glitches
tree
|
commitdiff
2012-11-22
Martin Quinson
kill synchronized dynars: we don't need them and they...
tree
|
commitdiff
2012-11-19
Martin Quinson
add the TLA specification of the simix network layer...
tree
|
commitdiff
2012-11-18
Marion Guthmuller
model-checker : ignore some variables enabled with...
tree
|
commitdiff
2012-11-15
Marion Guthmuller
model-checker : factorize code for safety and liveness...
tree
|
commitdiff
2012-11-12
Marion Guthmuller
model-checker : Add statistics about comparison times...
tree
|
commitdiff
2012-11-12
Augustin Degomme
cosmetics and fix ugly bug in windows code
tree
|
commitdiff
2012-11-12
Augustin Degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-11-12
Augustin Degomme
avoid setting the value of the stack size for thread...
tree
|
commitdiff
2012-11-12
Augustin Degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-11-11
Marion Guthmuller
model-checker : add ignore mechanism for global variabl...
tree
|
commitdiff
2012-11-09
Marion Guthmuller
model-checker : add size of stack in parameter of the...
tree
|
commitdiff
2012-11-09
Augustin Degomme
add a function in xbt to allow setting the stack size...
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : add local variables from xbt/ex.h in...
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : ignore some local variables from xbt...
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : add ignore mechanism for comparison...
tree
|
commitdiff
2012-10-28
Arnaud Giersch
Fix compilation without MC.
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : New public functions to take a snapshot...
tree
|
commitdiff
2012-10-27
Arnaud Giersch
Merge branch 'v3_8_x'
tree
|
commitdiff
2012-10-27
Arnaud Giersch
Merge branch 'v3_8_x'
tree
|
commitdiff
2012-10-25
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-25
navarro
Fix compilation and configuration since win commits
tree
|
commitdiff
2012-10-25
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-25
navarro
Tranform extern for XBT_PUBLIC
tree
|
commitdiff
2012-10-25
navarro
Delete some warning during the ref_guide build
tree
|
commitdiff
2012-10-24
Maximiliano Geier
Pull changes to push BitTorrent fix
tree
|
commitdiff
2012-10-24
alebre
Merge branch 'master' into vmtrace
tree
|
commitdiff
2012-10-19
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-19
navarro
Compil smpi on win32.
tree
|
commitdiff
2012-10-19
Maximiliano Geier
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-17
Martin Quinson
Cancel the comms of leaving processes instead of destro...
tree
|
commitdiff
2012-10-16
Martin Quinson
s/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly...
tree
|
commitdiff
2012-10-15
Martin Quinson
ensures that runall is never called on empty set
tree
|
commitdiff
2012-10-12
navarro
Compilation with warning flags
tree
|
commitdiff
2012-10-12
navarro
Oups rename function
tree
|
commitdiff
2012-10-12
navarro
Add first steps to explain How to add a new model in...
tree
|
commitdiff
2012-10-12
navarro
First steps for making a tutorial on How to create...
tree
|
commitdiff
2012-10-11
paul bedaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-11
Arnaud Giersch
Define _GNU_SOURCE in xbt/misc.h, so that it's defined...
tree
|
commitdiff
2012-10-10
jean-noel quintin
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2012-10-10
Arnaud Giersch
Remove unused function.
tree
|
commitdiff
next