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
model-checker : get times elapsed for snasphot comparison
[simgrid.git]
/
src
/
2012-11-11
Marion Guthmuller
model-checker : get times elapsed for snasphot comparison
tree
|
commitdiff
2012-11-11
Marion Guthmuller
model-checker : add ignore mechanism for global variabl...
tree
|
commitdiff
2012-11-11
Marion Guthmuller
model-checker : get start of libsimgrid bss segment...
tree
|
commitdiff
2012-11-11
Marion Guthmuller
model-checker : typo
tree
|
commitdiff
2012-11-09
Marion Guthmuller
Shake up snapshot comparison : apply a new order of...
tree
|
commitdiff
2012-11-09
Marion Guthmuller
model-checker : remove unnecessary comment
tree
|
commitdiff
2012-11-09
Marion Guthmuller
model-checker : move creation of initial_state_liveness...
tree
|
commitdiff
2012-11-09
Marion Guthmuller
model-checker : add size of stack in parameter of the...
tree
|
commitdiff
2012-11-09
Marion Guthmuller
model-checker : getter function for chunks used in...
tree
|
commitdiff
2012-11-09
Marion Guthmuller
model-checker : use statistics already included in...
tree
|
commitdiff
2012-11-09
Marion Guthmuller
model-checker : initialize global variables
tree
|
commitdiff
2012-11-08
Marion Guthmuller
model-checker : enable WaitTimeout requests only if...
tree
|
commitdiff
2012-11-08
Marion Guthmuller
model-checker : new command line flag (model-check...
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : initialize variables (compilation error...
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : add debug information on processes...
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : initialize global variable ignore_done...
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : remove backtracking if no more request...
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : comment trigger for state equality...
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : improve debug information for stacks...
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 : memory free
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : verification of current_heap
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : add ignore mechanism for comparison...
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : remove declaration of unused function
tree
|
commitdiff
2012-11-07
Marion Guthmuller
model-checker : fix dynar index in algorithm to get...
tree
|
commitdiff
2012-11-04
degomme
handle MPI_UB and MPI_LB for real, activate tests in...
tree
|
commitdiff
2012-10-31
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-31
Augustin Degomme
quick fix that hopefully won't break too much compilati...
tree
|
commitdiff
2012-10-30
Augustin Degomme
correct behavior of smpi_group_excl and smpi_group_int...
tree
|
commitdiff
2012-10-29
Arnaud Giersch
Fix compilation error.
tree
|
commitdiff
2012-10-29
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-29
Augustin Degomme
handle nested datatypes in smpi (structs of vectors...
tree
|
commitdiff
2012-10-28
Arnaud Giersch
Fix compilation without MC.
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : update second parameter of mmorecore...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : store initial snapshot in structure...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : don't call exit at the end of MC (segfa...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : update debug information
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : remove the display of promela property
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : New public functions to take a snapshot...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : let some debug information with XBT_INFO
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : check current heap
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : update bprintf format for local variables
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : fix memory leaks in heap comparison
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : remove files about test_heap_comparison
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : process can be NULL
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : backtracking if there is no request...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : use xbt_abort to exit MC if acceptance...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : init MC for liveness in a separate...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : if get_libsimgrid_plt_section called...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : display debug information with XBT_DEBU...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : change MC_take_snapshot_liveness declar...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : remove instruction pointer offset for...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : stack_areas stored in raw_heap instead...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : debug information more concise
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : fix some memory leaks
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : first line of objdump --section-headers...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : fix first parameter for get_stack_point...
tree
|
commitdiff
2012-10-27
Marion Guthmuller
model-checker : ignore pointers on raw_heap in data...
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-26
navarro
SMPI finally works ;)
tree
|
commitdiff
2012-10-26
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-26
navarro
Fix smpi script variables between cmake home dir and...
tree
|
commitdiff
2012-10-26
Augustin Degomme
fortran-smpi was broken
tree
|
commitdiff
2012-10-26
Augustin Degomme
correct some issues with MPI_Sendrecv_replace, to avoid...
tree
|
commitdiff
2012-10-26
Augustin Degomme
add a few fortran bindings and types to have better...
tree
|
commitdiff
2012-10-26
Augustin Degomme
add various defines and objects to provide better compi...
tree
|
commitdiff
2012-10-26
Augustin Degomme
have waitall output an error if an issue is encountered...
tree
|
commitdiff
2012-10-25
Martin Quinson
documentation improvement [thx Sylvain for pointing...
tree
|
commitdiff
2012-10-25
navarro
Fix compilation on linux ;)
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
Compilation fix on SMPI with WIN32
tree
|
commitdiff
2012-10-25
navarro
Huge hack for call of smpi_simulated_main.
tree
|
commitdiff
2012-10-25
navarro
Add a surf function to get configuration parameters...
tree
|
commitdiff
2012-10-25
Lucas Schnorr
[trace] link value here should indicate resource topology
tree
|
commitdiff
2012-10-25
navarro
Fix documentation warnings
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
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-23
Arnaud Giersch
Regenerate with latest flexml.
tree
|
commitdiff
2012-10-23
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-23
Augustin Degomme
number of elements can be 0 in type constructors
tree
|
commitdiff
2012-10-23
Augustin Degomme
do not free the group of MPI_COMM_WORLD when asked...
tree
|
commitdiff
2012-10-23
Augustin Degomme
we should not check subtypes are commited before, as...
tree
|
commitdiff
2012-10-23
Augustin Degomme
add MPI_PACKED datatype (for compilation only, MPI_Pack...
tree
|
commitdiff
2012-10-23
Augustin Degomme
do not free the group when freeing the comm, there...
tree
|
commitdiff
2012-10-23
navarro
Fix compilation error since TAG tutorial
tree
|
commitdiff
2012-10-23
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-23
navarro
Add first steps for a TAG tutorial
tree
|
commitdiff
2012-10-23
Arnaud Giersch
Call gap_remove in generic_update_actions_state_lazy...
tree
|
commitdiff
2012-10-23
Arnaud Giersch
Define an additional parameter for the hack around...
tree
|
commitdiff
2012-10-23
Arnaud Giersch
Cosmetics: rewrite usage() in smpirun.in.
tree
|
commitdiff
2012-10-23
Arnaud Giersch
Cannot use xbt_die when log layout format contains...
tree
|
commitdiff
2012-10-23
Arnaud Giersch
Add missing calls to XBT_LOG_CONNECT.
tree
|
commitdiff
2012-10-22
suter
move the xbt_mallocator_release after the free of the...
tree
|
commitdiff
2012-10-20
Arnaud Giersch
Exclude smpi_process_argc and smpi_glogal_size when...
tree
|
commitdiff
next