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
Untabify.
[simgrid.git]
/
src
/
simix
/
2013-01-31
Marion Guthmuller
model-checker : start heap comparison from local variables
tree
|
commitdiff
2013-01-31
Takahiro Hirofuchi
fix double brace
tree
|
commitdiff
2013-01-31
alebre
Merge branch 'master' into hypervisor
tree
|
commitdiff
2013-01-31
alebre
Merge branch 'master' into hypervisor
tree
|
commitdiff
2013-01-31
alebre
Fix conflict - Adrien
tree
|
commitdiff
2013-01-31
alebre
Still fixing bugs - Adrien
tree
|
commitdiff
2013-01-31
Takahiro Hirofuchi
add vm_suspend stuff
tree
|
commitdiff
2013-01-31
Takahiro Hirofuchi
fix a compilation error at SIMIX_vm_shutdown
tree
|
commitdiff
2013-01-31
Takahiro Hirofuchi
add the missing systemcall of SIMIX_vm_shutdown
tree
|
commitdiff
2013-01-31
Takahiro Hirofuchi
fix msg_vm_shutdown
tree
|
commitdiff
2013-01-31
Takahiro Hirofuchi
fix msg_vm_destroy
tree
|
commitdiff
2013-01-31
alebre
Fix conflict - Adrien
tree
|
commitdiff
2013-01-31
alebre
Still fixing bugs - Adrien
tree
|
commitdiff
2013-01-31
Takahiro Hirofuchi
fix destroy() of vm_ws
tree
|
commitdiff
2013-01-31
alebre
fix conflict
tree
|
commitdiff
2013-01-31
Takahiro Hirofuchi
add missing one
tree
|
commitdiff
2013-01-31
alebre
minor stuff
tree
|
commitdiff
2013-01-31
alebre
Adrien Fix conflict
tree
|
commitdiff
2013-01-31
alebre
Minor fixes - Adrien
tree
|
commitdiff
2013-01-31
Takahiro Hirofuchi
add vm shutdown (ongoing)
tree
|
commitdiff
2013-01-31
alebre
Fixed conflicts - Adrien
tree
|
commitdiff
2013-01-31
Takahiro Hirofuchi
working on vm destroy stuff
tree
|
commitdiff
2013-01-31
alebre
Some progress (start, get/set state, ...) - Adrien
tree
|
commitdiff
2013-01-31
alebre
Fix missing call to surf - Adrien
tree
|
commitdiff
2013-01-31
alebre
Add missing files
tree
|
commitdiff
2013-01-31
alebre
First complete implementation of a new MSG call (starti...
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
next