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-21
Marion Guthmuller
model-checker: take snapshot if property file set
commit
|
commitdiff
|
tree
|
snapshot
2012-11-21
Martin Quinson
s/lastest/latest/ (stupid me)
commit
|
commitdiff
|
tree
|
snapshot
2012-11-21
Marion Guthmuller
model-checker : abort if acceptance cycle detected
commit
|
commitdiff
|
tree
|
snapshot
2012-11-21
Marion Guthmuller
model-checker : remove automatic activation of MC if...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Marion Guthmuller
model-checker : new tesh for snapshot comparison tests
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Marion Guthmuller
model-checker : rename cfg flag for state comparison...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Marion Guthmuller
model-checker : use xbt_cfg_setdefault instead of defau...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Marion Guthmuller
model-checker : ignore coverage variables
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Marion Guthmuller
model-checker : abort if popen failed
commit
|
commitdiff
|
tree
|
snapshot
2012-11-19
Marion Guthmuller
model-checker : fix compilation error (with optimizatio...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-19
Martin Quinson
add the TLA specification of the simix network layer...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-19
Martin Quinson
attempt to get everything properly cleaned when only...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : add tesh for bugged1_liveness and chord...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : use XBT_DEBUG instead of XBT_INFO
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : fix insertion in mc_data_bss_comparion
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : ignore some variables enabled with...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : improve stack ignore in heap comparison...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : stateful mode disabled by default
commit
|
commitdiff
|
tree
|
snapshot
2012-11-17
Marion Guthmuller
model-checker : stop independance reduction if same...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-16
Marion Guthmuller
model-checker : ignore new local variable
commit
|
commitdiff
|
tree
|
snapshot
2012-11-16
Marion Guthmuller
model-checker : use XBT_DEBUG instead of XBT_INFO
commit
|
commitdiff
|
tree
|
snapshot
2012-11-16
Marion Guthmuller
model-checker : MC_init() must be called for initial...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-16
Marion Guthmuller
model-checker : fix dpor algorithm
commit
|
commitdiff
|
tree
|
snapshot
2012-11-16
Marion Guthmuller
forget to apply cleanups in MC on SMPI (separate MC_mod...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : factorize code for safety and liveness...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : fix dependance theorem according to...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : warning message if max depth is reached
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : memory free
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : cleanups in verification of current...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : comparison times are NULL for visited_pair
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : fix segfault in get_local_variables_val...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : create subdir for chord example with...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : store last visited states during explor...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Arnaud Giersch
Do memchecks with tracing=on, now that it's enabled...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Arnaud Giersch
Put the TRY..CATCH inside a wrapper function.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Arnaud Giersch
Add missing include.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Arnaud Giersch
Put forward declaration of static function in c file...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
paul bedaride
Fix TestSuite.msg-file
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Arnaud Giersch
Make paranoid compiler happy.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Maximiliano...
flatifier: added --downgrade option to output version...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Martin Quinson
display on configuration output whether the mallocators...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Martin Quinson
turn off the mallocators during the memory check
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Martin Quinson
git reset hard works even for Java. True story.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Arnaud Giersch
Git-reset should do the job here, plus minor corrections.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Martin Quinson
ahem, document the right name for the new function
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Martin Quinson
rewrite the 'howto release' guide, in paranoid mode
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Martin Quinson
typo in comments
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Martin Quinson
cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Martin Quinson
New function: MSG_get_process_number()
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Martin Quinson
enhance the flatifier so that it can be used for platfo...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Maximiliano...
BitTorrent: changed the way the PIECE message is handle...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Maximiliano...
BitTorrent: added reference to the report by A. Legout...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Arnaud Giersch
smpicc: also reset CMAKE_LINKARGS when no linking is...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Arnaud Giersch
Size can be negative. Use ssize_t instead of size_t.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Arnaud Giersch
Remove unsupported flags when Clang is used.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Arnaud Giersch
Also print CMAKE_xxx_COMPILER_ID.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-13
Marion Guthmuller
model-checker : new cfg command line flag (model-check...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-13
paul bedaride
Correct a bug in kademlia
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Arnaud Giersch
Write the add_test(...) so that they are compatible...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Arnaud Giersch
Use configure_file(... COPYONLY) instead of file(COPY...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Arnaud Giersch
Define macro if it's missing.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Arnaud Giersch
Protect string with quotes.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Arnaud Giersch
Use options compatible with older versions of git.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Arnaud Giersch
If several remotes are set, arbitrarily use the first...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Marion Guthmuller
model-checker : cosmetics on log message
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Marion Guthmuller
model-checker : Add statistics about comparison times...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Augustin Degomme
cosmetics and fix ugly bug in windows code
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Augustin Degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Lucas Schnorr
[trace] bye bye triva, welcome viva
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Augustin Degomme
update doc for asynchronous send
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Lucas Schnorr
[trace] do not extract topology graph if user ask to...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Lucas Schnorr
[trace] new tracing option to disable the topology...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Lucas Schnorr
[trace] cosmetics, platform is registered as a hierarch...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Augustin Degomme
update doc to reflect change of the stack_size parameter
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Augustin Degomme
avoid setting the value of the stack size for thread...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-12
Augustin Degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-11
Marion Guthmuller
model-checker : remove chunks used comparison at the...
commit
|
commitdiff
|
tree
|
snapshot
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
next