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
modify the test to not die poorly anymore. Just gently exit with an
[simgrid.git]
/
src
/
2012-06-26
suter
invalid access mode should be tested in the setter...
tree
|
commitdiff
2012-06-26
suter
have to use basename once again to make tesh happy
tree
|
commitdiff
2012-06-26
suter
When you detect a cycle in a structure supposed to...
tree
|
commitdiff
2012-06-26
Samuel Lepetit
Fix a memory leak.
tree
|
commitdiff
2012-06-25
Samuel Lepetit
Add a simcall for process_on_exit
tree
|
commitdiff
2012-06-25
Samuel Lepetit
Fix commit f48cc395ebecc84d865ab551a672d2a2358624e5
tree
|
commitdiff
2012-06-25
Samuel Lepetit
Fix an issue when you registered a on_exit function...
tree
|
commitdiff
2012-06-24
suter
SD_unschedule was never tested and actually buggy for...
tree
|
commitdiff
2012-06-22
Marion Guthmuller
model-checker : keep MC_request_to_string in std heap
tree
|
commitdiff
2012-06-22
Marion Guthmuller
model-checker : detect pointers on valid fragment in...
tree
|
commitdiff
2012-06-22
navarro
Need to have a double because the result should not...
tree
|
commitdiff
2012-06-22
Martin Quinson
MSG_config mc-related stuff is not enough to activate...
tree
|
commitdiff
2012-06-22
Samuel Lepetit
Remove MSG_process_kill_from_SIMIX
tree
|
commitdiff
2012-06-22
Martin Quinson
oops, we broke non-model-checking builds yesterday...
tree
|
commitdiff
2012-06-21
Marion Guthmuller
model-checker : comment storage of visited pairs
tree
|
commitdiff
2012-06-21
navarro
Put double instead of size_t.
tree
|
commitdiff
2012-06-21
navarro
More debug
tree
|
commitdiff
2012-06-21
navarro
Fix update of the file size when write a double and...
tree
|
commitdiff
2012-06-21
navarro
Rewrite the way the disk usage and file size are updated
tree
|
commitdiff
2012-06-21
Arnaud Giersch
Move MSG_parallel_task_create() in msg_task.c.
tree
|
commitdiff
2012-06-21
Arnaud Giersch
Make the initializations follow the order of the declar...
tree
|
commitdiff
2012-06-21
Arnaud Giersch
Remaining s/MSG_global_init/MSG_init/.
tree
|
commitdiff
2012-06-21
Martin Quinson
Cleanups in the --cfg options regarding model-checking
tree
|
commitdiff
2012-06-21
Martin Quinson
improve documentation on the way
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Check if the host is down at the end of a SIMIX_io_finish
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Kill the process when a host fails when doing a synchro...
tree
|
commitdiff
2012-06-21
Martin Quinson
Various cleanups to the model-checking user interface
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Check if the host is down after a execute in SIMIX_exec...
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Check if the host is down after a communication
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Prevent TRACE_msg_process_kill to be called more than...
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Add TRACE_msg_process_kill to the list of functions...
tree
|
commitdiff
2012-06-21
jean-noel quintin
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2012-06-21
Marion Guthmuller
model-checker : fix debug message
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Remove dead code from MSG
tree
|
commitdiff
2012-06-21
jean-noel quintin
[simdag,dotloader] clean the valgrind output
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Don't give control back to user after a process is...
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Check if the host is down in SIMIX_post_process_sleep.
tree
|
commitdiff
2012-06-21
Marion Guthmuller
model-checker : end of cleanup for stateful and statele...
tree
|
commitdiff
2012-06-21
Martin Quinson
let model-checking compile without supernovae activated...
tree
|
commitdiff
2012-06-21
Martin Quinson
useless cosmetics
tree
|
commitdiff
2012-06-21
Marion Guthmuller
model-checker : unused variable
tree
|
commitdiff
2012-06-21
Martin Quinson
remove useless check that will never detect any issue
tree
|
commitdiff
2012-06-21
Marion Guthmuller
model-checker : factorization of code for model-checkin...
tree
|
commitdiff
2012-06-21
Martin Quinson
Deprecate functions MSG_global_init() / MSG_global_init...
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Cleanup in SIMIX_process_on_exit_runall
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Fix bug #14412 (Killing a SIMIX process just after...
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Fix commit 825fb3d5095e6cce48885d1d04ab1ec3823dae6c
tree
|
commitdiff
2012-06-21
Arnaud Giersch
Call simcall_set_category after simdata->compute is...
tree
|
commitdiff
2012-06-21
Martin Quinson
pebcak protection: some day, someone will use a differe...
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Move SIMIX_process_on_exit functions to public
tree
|
commitdiff
2012-06-21
jbrv
remove some trailing spaces
tree
|
commitdiff
2012-06-21
jbrv
event trace generation : improving some functions
tree
|
commitdiff
2012-06-20
suter
typo
tree
|
commitdiff
2012-06-20
Martin Quinson
MC checkpoints implies MC
tree
|
commitdiff
2012-06-20
Martin Quinson
meaningful pebcak message: you need to compile MC in...
tree
|
commitdiff
2012-06-20
Marion Guthmuller
model-checker : new surf configuration mc-checkpoint
tree
|
commitdiff
2012-06-20
Marion Guthmuller
Revert "model-checker : add new surf configuration...
tree
|
commitdiff
2012-06-20
Marion Guthmuller
model-checker : add new surf configuration mc-checkpoint
tree
|
commitdiff
2012-06-20
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
Samuel Lepetit
Add on_exit support on SIMIX/MSG, calling functions...
tree
|
commitdiff
2012-06-20
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
suter
Don't try to dump an output if no event has been stored...
tree
|
commitdiff
2012-06-20
Marion Guthmuller
model-checker : cosmetics, tab forgotten
tree
|
commitdiff
2012-06-20
navarro
Remove unused variable
tree
|
commitdiff
2012-06-20
Samuel Lepetit
Bugfix in MSG_parallel_task_execute
tree
|
commitdiff
2012-06-20
Samuel Lepetit
Stop doing evil things in MSG_parallel_task_execute...
tree
|
commitdiff
2012-06-20
navarro
Put the different model in the dtd. Permit the xml...
tree
|
commitdiff
2012-06-20
Samuel Lepetit
Factorise MSG_task_execute and MSG_parallel_task_execute
tree
|
commitdiff
2012-06-20
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
Arnaud Giersch
More cleanup!
tree
|
commitdiff
2012-06-20
suter
add a simple explication about how to use the config...
tree
|
commitdiff
2012-06-20
Samuel Lepetit
Memory leak fix
tree
|
commitdiff
2012-06-20
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
suter
works better once tested
tree
|
commitdiff
2012-06-20
Samuel Lepetit
Use the same way of checking the state of the communica...
tree
|
commitdiff
2012-06-20
navarro
Replace usleep for nanosleep
tree
|
commitdiff
2012-06-20
Samuel Lepetit
Bugfix of the previous commit.
tree
|
commitdiff
2012-06-20
Arnaud Giersch
Keep tabs in generated files.
tree
|
commitdiff
2012-06-20
Arnaud Giersch
Include "xbt/RngStream.h", and avoid duplicate definiti...
tree
|
commitdiff
2012-06-20
Samuel Lepetit
Fix issue when a host failed while executing a task...
tree
|
commitdiff
2012-06-20
Marion Guthmuller
model-checker : cosmetics reindent
tree
|
commitdiff
2012-06-20
Marion Guthmuller
model-checker : cosmetics reindent
tree
|
commitdiff
2012-06-20
Marion Guthmuller
model-checker : cosmectics reindent and unnecessary...
tree
|
commitdiff
2012-06-20
suter
Solve white space conflicts
tree
|
commitdiff
2012-06-20
suter
add a new type of typed task to represent a MxN data...
tree
|
commitdiff
2012-06-20
jbrv
Probabilist trace generator : variable names changed
tree
|
commitdiff
2012-06-20
Martin Quinson
sed -i -e 's/\t/ /g' *.[ch] Please people, stop using...
tree
|
commitdiff
2012-06-20
Marion Guthmuller
model-checker : detect pointers on valid blocks in...
tree
|
commitdiff
2012-06-20
Marion Guthmuller
model-checker : memset 0 on block/fragment allocated...
tree
|
commitdiff
2012-06-19
navarro
Start to rewrite the mechanism for usage of a storage
tree
|
commitdiff
2012-06-19
jbrv
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-19
Christophe Thiéry
Actually, upvalues were implemented a while ago.
tree
|
commitdiff
2012-06-19
jbrv
Make rngStream management functions in platform more...
tree
|
commitdiff
2012-06-19
Marion Guthmuller
model-checker : fixme about initialization
tree
|
commitdiff
2012-06-19
Marion Guthmuller
model-checker : remove unused code and update debug...
tree
|
commitdiff
2012-06-19
Marion Guthmuller
model-checker : add stats in mmalloc
tree
|
commitdiff
2012-06-19
Marion Guthmuller
model-checker : cosmetics reindent
tree
|
commitdiff
2012-06-19
navarro
Fix compilation warning for unused variables
tree
|
commitdiff
2012-06-19
Samuel Lepetit
Remove internal function from the documentation
tree
|
commitdiff
2012-06-19
Samuel Lepetit
Typo
tree
|
commitdiff
next