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
Merge ../simgrid
[simgrid.git]
/
src
/
2012-11-30
shenshei
Merge ../simgrid
tree
|
commitdiff
2012-11-30
shenshei
New simcalls work
tree
|
commitdiff
2012-11-29
suter
printing the final simulation time also has to be done...
tree
|
commitdiff
2012-11-29
suter
assuming that rank 0 is the last to finish is a bad...
tree
|
commitdiff
2012-11-29
suter
clean stuff even when the scheduled is not good
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
Stop making direct calls to SIMIX for host handling...
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
schnorr
[trace] avoiding key clashes on paje links
tree
|
commitdiff
2012-11-28
Augustin Degomme
forgot to add color for computing in previous commit
tree
|
commitdiff
2012-11-28
Augustin Degomme
add option to generate states for code outside smpi...
tree
|
commitdiff
2012-11-28
jean-noel quintin
[smpi,simix-network] remove a useless function
tree
|
commitdiff
2012-11-28
schnorr
[trace] header re-organization (now with a basic version)
tree
|
commitdiff
2012-11-28
schnorr
[trace] fix color for MPI operations to correctly follo...
tree
|
commitdiff
2012-11-28
schnorr
[trace] new option tracing/basic (used to generate...
tree
|
commitdiff
2012-11-28
Marion Guthmuller
model-checker : init result of simcalls for snapshot...
tree
|
commitdiff
2012-11-28
Marion Guthmuller
model-checker : try first to associate each block or...
tree
|
commitdiff
2012-11-27
Marion Guthmuller
model-checker : remove unnecessary step
tree
|
commitdiff
2012-11-27
Marion Guthmuller
model-checker : equal_to field of blocks/fragments...
tree
|
commitdiff
2012-11-27
Marion Guthmuller
modelc-checker : reset list of blocks/fragments pairs...
tree
|
commitdiff
2012-11-27
Marion Guthmuller
model-checker : init equal_to field to -1 for each...
tree
|
commitdiff
2012-11-27
Marion Guthmuller
model-checker : set size used to 0 when free fragment
tree
|
commitdiff
2012-11-27
Arnaud Giersch
Typo + kill useless empty lines.
tree
|
commitdiff
2012-11-27
Arnaud Giersch
Call xbt_log_postexit() at the end.
tree
|
commitdiff
2012-11-27
Arnaud Giersch
gras_os_time() has vanished.
tree
|
commitdiff
2012-11-27
Arnaud Giersch
File is unused since commit 678328fb7b84cbcebfff2e5df24...
tree
|
commitdiff
2012-11-26
Arnaud Giersch
Remove needless volatile qualifier.
tree
|
commitdiff
2012-11-26
suter
change default value of tcp_gamma to use something...
tree
|
commitdiff
2012-11-26
Martin Quinson
doxygen is sooooo roten, it drives me crazy
tree
|
commitdiff
2012-11-26
Martin Quinson
add xbt_fifo_search(), to search an item with a user...
tree
|
commitdiff
2012-11-25
Martin Quinson
move sg_cmdline to xbt/virtu.h module, and rename it...
tree
|
commitdiff
2012-11-25
Martin Quinson
xbt_os_procname and xbt_binary_name are the same -...
tree
|
commitdiff
2012-11-25
Martin Quinson
Apparently, I'm not allowed to free the memory here
tree
|
commitdiff
2012-11-25
Martin Quinson
plug a (damn) memleak. Gosh, this one was hard to get...
tree
|
commitdiff
2012-11-23
Arnaud Giersch
Remove fixme comment.
tree
|
commitdiff
2012-11-23
Arnaud Giersch
Log priorities were renamed a long time ago.
tree
|
commitdiff
2012-11-23
Arnaud Giersch
Eradicate gras further.
tree
|
commitdiff
2012-11-23
Arnaud Giersch
Merge branch 'killgraskill'
tree
|
commitdiff
2012-11-23
Arnaud Giersch
Finalize coverage for swag.c.
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
Kill xbt_dynar_dopar().
tree
|
commitdiff
2012-11-23
Arnaud Giersch
Use real threads for xbt_dynar_dopar.
tree
|
commitdiff
2012-11-23
Arnaud Giersch
Move check at another place where it doesn't break...
tree
|
commitdiff
2012-11-22
Martin Quinson
useless cosmetic
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-22
suter
typo--
tree
|
commitdiff
2012-11-22
suter
some things do not have to be done by each process
tree
|
commitdiff
2012-11-22
Arnaud Giersch
We want host name here, not process name.
tree
|
commitdiff
2012-11-22
Arnaud Giersch
Remove more references to gras.
tree
|
commitdiff
2012-11-22
Arnaud Giersch
Define xbt_os_procname().
tree
|
commitdiff
2012-11-22
Arnaud Giersch
xbt_trp and xbt_datadesc were removed.
tree
|
commitdiff
2012-11-22
Arnaud Giersch
Kill gras_modinter.h.
tree
|
commitdiff
2012-11-22
Arnaud Giersch
Log category gras_trp_sg does not exist anymore.
tree
|
commitdiff
2012-11-22
suter
remove some leaks in verbose replay
tree
|
commitdiff
2012-11-22
Martin Quinson
first try at killing GRAS -- does not compile yet
tree
|
commitdiff
2012-11-22
paul bedaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-11-21
Augustin Degomme
secure the stack size parameter for thread,
tree
|
commitdiff
2012-11-21
Augustin Degomme
seriously ...
tree
|
commitdiff
2012-11-21
Marion Guthmuller
model-checker: take snapshot if property file set
tree
|
commitdiff
2012-11-21
Martin Quinson
s/lastest/latest/ (stupid me)
tree
|
commitdiff
2012-11-21
Marion Guthmuller
model-checker : abort if acceptance cycle detected
tree
|
commitdiff
2012-11-21
Marion Guthmuller
model-checker : remove automatic activation of MC if...
tree
|
commitdiff
2012-11-20
Marion Guthmuller
model-checker : rename cfg flag for state comparison...
tree
|
commitdiff
2012-11-20
Marion Guthmuller
model-checker : use xbt_cfg_setdefault instead of defau...
tree
|
commitdiff
2012-11-20
Marion Guthmuller
model-checker : ignore coverage variables
tree
|
commitdiff
2012-11-20
Marion Guthmuller
model-checker : abort if popen failed
tree
|
commitdiff
2012-11-19
Marion Guthmuller
model-checker : fix compilation error (with optimizatio...
tree
|
commitdiff
2012-11-19
Martin Quinson
add the TLA specification of the simix network layer...
tree
|
commitdiff
2012-11-19
Martin Quinson
attempt to get everything properly cleaned when only...
tree
|
commitdiff
2012-11-18
Marion Guthmuller
model-checker : use XBT_DEBUG instead of XBT_INFO
tree
|
commitdiff
2012-11-18
Marion Guthmuller
model-checker : fix insertion in mc_data_bss_comparion
tree
|
commitdiff
2012-11-18
Marion Guthmuller
model-checker : ignore some variables enabled with...
tree
|
commitdiff
2012-11-18
Marion Guthmuller
model-checker : improve stack ignore in heap comparison...
tree
|
commitdiff
2012-11-18
Marion Guthmuller
model-checker : stateful mode disabled by default
tree
|
commitdiff
2012-11-17
Marion Guthmuller
model-checker : stop independance reduction if same...
tree
|
commitdiff
2012-11-16
Marion Guthmuller
model-checker : ignore new local variable
tree
|
commitdiff
2012-11-16
Marion Guthmuller
model-checker : use XBT_DEBUG instead of XBT_INFO
tree
|
commitdiff
2012-11-16
Marion Guthmuller
model-checker : MC_init() must be called for initial...
tree
|
commitdiff
2012-11-16
Marion Guthmuller
model-checker : fix dpor algorithm
tree
|
commitdiff
2012-11-16
Marion Guthmuller
forget to apply cleanups in MC on SMPI (separate MC_mod...
tree
|
commitdiff
2012-11-15
Marion Guthmuller
model-checker : factorize code for safety and liveness...
tree
|
commitdiff
2012-11-15
Marion Guthmuller
model-checker : fix dependance theorem according to...
tree
|
commitdiff
2012-11-15
Marion Guthmuller
model-checker : warning message if max depth is reached
tree
|
commitdiff
2012-11-15
Marion Guthmuller
model-checker : memory free
tree
|
commitdiff
2012-11-15
Marion Guthmuller
model-checker : cleanups in verification of current...
tree
|
commitdiff
2012-11-15
Marion Guthmuller
model-checker : comparison times are NULL for visited_pair
tree
|
commitdiff
2012-11-15
Marion Guthmuller
model-checker : fix segfault in get_local_variables_val...
tree
|
commitdiff
next