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
s/lastest/latest/ (stupid me)
[simgrid.git]
/
src
/
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
2012-11-15
Marion Guthmuller
model-checker : store last visited states during explor...
tree
|
commitdiff
2012-11-15
Arnaud Giersch
Put forward declaration of static function in c file...
tree
|
commitdiff
2012-11-15
paul bedaride
Fix TestSuite.msg-file
tree
|
commitdiff
2012-11-14
Martin Quinson
New function: MSG_get_process_number()
tree
|
commitdiff
2012-11-14
Arnaud Giersch
smpicc: also reset CMAKE_LINKARGS when no linking is...
tree
|
commitdiff
2012-11-14
Arnaud Giersch
Size can be negative. Use ssize_t instead of size_t.
tree
|
commitdiff
2012-11-13
Marion Guthmuller
model-checker : new cfg command line flag (model-check...
tree
|
commitdiff
2012-11-12
Marion Guthmuller
model-checker : cosmetics on log message
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
Lucas Schnorr
[trace] bye bye triva, welcome viva
tree
|
commitdiff
2012-11-12
Augustin Degomme
update doc for asynchronous send
tree
|
commitdiff
2012-11-12
Lucas Schnorr
[trace] do not extract topology graph if user ask to...
tree
|
commitdiff
2012-11-12
Lucas Schnorr
[trace] new tracing option to disable the topology...
tree
|
commitdiff
2012-11-12
Lucas Schnorr
[trace] cosmetics, platform is registered as a hierarch...
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 : remove chunks used comparison at the...
tree
|
commitdiff
2012-11-11
Marion Guthmuller
model-checker : unset raw heap after display of statist...
tree
|
commitdiff
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-09
Augustin Degomme
add a function in xbt to allow setting the stack size...
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-05
Augustin Degomme
as MPI_Iprobe always use a 0-sized request, do not...
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
next