A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
simgrid.git
2012-11-11
Marion Guthmuller
model-checker : unset raw heap after display of statist...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-11
Marion Guthmuller
model-checker : get times elapsed for snasphot comparison
commit
|
commitdiff
|
tree
|
snapshot
2012-11-11
Marion Guthmuller
model-checker : add ignore mechanism for global variabl...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-11
Marion Guthmuller
model-checker : get start of libsimgrid bss segment...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-11
Marion Guthmuller
model-checker : typo
commit
|
commitdiff
|
tree
|
snapshot
2012-11-09
Marion Guthmuller
Shake up snapshot comparison : apply a new order of...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-09
Marion Guthmuller
model-checker : remove unnecessary comment
commit
|
commitdiff
|
tree
|
snapshot
2012-11-09
Marion Guthmuller
model-checker : move creation of initial_state_liveness...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-09
Marion Guthmuller
model-checker : add size of stack in parameter of the...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-09
Marion Guthmuller
model-checker : getter function for chunks used in...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-09
Marion Guthmuller
model-checker : use statistics already included in...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-09
Marion Guthmuller
model-checker : initialize global variables
commit
|
commitdiff
|
tree
|
snapshot
2012-11-09
Augustin Degomme
add a function in xbt to allow setting the stack size...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-08
Marion Guthmuller
model-checker : enable WaitTimeout requests only if...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-08
Marion Guthmuller
model-checker : new command line flag (model-check...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : initialize variables (compilation error...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : add debug information on processes...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker: add chord example for liveness property...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : initialize global variable ignore_done...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : remove backtracking if no more request...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : comment trigger for state equality...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : improve debug information for stacks...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : add local variables from xbt/ex.h in...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : ignore some local variables from xbt...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : update examples for test snapshot compa...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : memory free
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : verification of current_heap
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : add ignore mechanism for comparison...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : remove declaration of unused function
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Marion Guthmuller
model-checker : fix dynar index in algorithm to get...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Augustin Degomme
add timeout to compute tesh, as i386 debian is painfull...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-05
Augustin Degomme
as MPI_Iprobe always use a 0-sized request, do not...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-04
degomme
add a tesh file and test for two already existing tests...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-04
degomme
handle MPI_UB and MPI_LB for real, activate tests in...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
navarro
Add an example of generated pdf from simgrid scalability
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
Augustin Degomme
replace explicit smpi_sleep calls I introduced in some...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
Augustin Degomme
quick fix that hopefully won't break too much compilati...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
Augustin Degomme
do not fail when building smpi without f2c, as it is...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
Augustin Degomme
move defines frmpo smpi.h to mpi.h, to avoid using...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
Augustin Degomme
remove todo, once done
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
navarro
Change parse for exec to be complient with simgrid...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
navarro
Oups
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
navarro
Reused mem check in pipol
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
navarro
Remove all navarro into source of pipol
commit
|
commitdiff
|
tree
|
snapshot
2012-10-31
Arnaud Giersch
Variable is unused, remove it.
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
suter
use MSG_host_set_property_value everywhere
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
suter
better to use a function that exists than dealing with...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
navarro
Correct way to use CTestCustom.cmake
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
Augustin Degomme
small change for future fortran tests in context folder
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
Augustin Degomme
add changes to previous commit on ctest
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
Augustin Degomme
correct behavior of smpi_group_excl and smpi_group_int...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
Augustin Degomme
modifiy alltoall test to cover all 3 algorithms current...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
Augustin Degomme
add a CMakeCustom.cmake file, which is automatically...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
navarro
Add docs
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
navarro
Cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
navarro
Update target sync-pipol
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
navarro
Add a new target for update pipol scripts
commit
|
commitdiff
|
tree
|
snapshot
2012-10-30
navarro
Comsetics. Replace exec_program by execute_process
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
Arnaud Giersch
Fix compilation error.
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
navarro
Fix doxygen table generation
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
Augustin Degomme
handle nested datatypes in smpi (structs of vectors...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
navarro
Cosmetics. Remove unused part
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
navarro
Add doc for dev_guide
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
Arnaud Giersch
Force Fortran compiler name, before calling enable_lang...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
Arnaud Giersch
This variable is useless. CMAKE_Fortran_COMPILER is...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
Arnaud Giersch
Slight reindent.
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
navarro
Comsetic and uninstall lib lua and man for tesh
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
Augustin Degomme
WORKING_DIRECTORY option for add_test was not supported...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-29
Augustin Degomme
remove absolute paths from test scripts
commit
|
commitdiff
|
tree
|
snapshot
2012-10-28
Arnaud Giersch
Fix compilation without MC.
commit
|
commitdiff
|
tree
|
snapshot
2012-10-28
Arnaud Giersch
Optionally look for a Fortran compiler.
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : update second parameter of mmorecore...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : store initial snapshot in structure...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : don't call exit at the end of MC (segfa...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : update debug information
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : remove the display of promela property
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : test examples for snapshot comparison
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : New public functions to take a snapshot...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : let some debug information with XBT_INFO
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : check current heap
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : update bprintf format for local variables
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : fix memory leaks in heap comparison
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : clean debug information in bugged1_live...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : remove files about test_heap_comparison
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : process can be NULL
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : backtracking if there is no request...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : use xbt_abort to exit MC if acceptance...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : init MC for liveness in a separate...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : if get_libsimgrid_plt_section called...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : display debug information with XBT_DEBU...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : change MC_take_snapshot_liveness declar...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : remove instruction pointer offset for...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : stack_areas stored in raw_heap instead...
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : debug information more concise
commit
|
commitdiff
|
tree
|
snapshot
2012-10-27
Marion Guthmuller
model-checker : fix some memory leaks
commit
|
commitdiff
|
tree
|
snapshot
next