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 : change printf for size_t variables
[simgrid.git]
/
src
/
2011-10-25
Marion Guthmuller
model-checker : change printf for size_t variables
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : test data in libsimgrid memory region...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : new functions to compare mmalloc in...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : add type in s_mc_mem_region (0=std_heap...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : nettoyage du code
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : new comparison for reached pairs (autom...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : new comparison of pair reached (automat...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : delete visited in struct xbt_state_t...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : delete struct reached_pair_stateless...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : delete num in struct mc_pair_t
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : empty pair for stateless ddfs fixed
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : ddfs stateless and stateful fixed
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : update ddfs stateful model checking...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : new structure reached_pair_stateless...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : stateless model checking for liveness...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : separate informations for safety statef...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : new example bugged1 for stateful dpor
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : one more condition before interleaving...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : add condition of invisibility to reduce...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : new structure mc_pair_prop_t and backup...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : DPOR (independant transitions) algorith...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : separate dfs and dpor algorithms with...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : 128bits->160bits for hash of visited...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : restore interleaved process when restor...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : dfs with good restore snapshot
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : correction of dfs algorithm for livenes...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : test dpor without replay from initial...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : rename file mc_dfs -> mc_liveness
tree
|
commitdiff
2011-10-25
Marion Guthmuller
MC LTL : last version dfs algorithm before reduction
tree
|
commitdiff
2011-10-25
Marion Guthmuller
MC LTL : add statistics
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model checker : dfs algorithm corrected
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-check : show stack when property not valid
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-check : dump stack for acceptance cycle
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-check : show stack for acceptance cycle
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model check : acceptance cycle detection with automaton...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
détection de cycle d'acceptation ok mais boucle infinie...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
correction compile warnings
tree
|
commitdiff
2011-10-25
Marion Guthmuller
start new example with parsing lex/yacc of automaton...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
new dfs algorithm with automaton of LTL formula
tree
|
commitdiff
2011-10-25
Marion Guthmuller
new struct automaton
tree
|
commitdiff
2011-10-21
Navarrop
Optimize bprintf during cluster loop.
tree
|
commitdiff
2011-10-20
Martin Quinson
use more consistently the resource create of models...
tree
|
commitdiff
2011-10-20
Martin Quinson
reduce the amount of damn paranoid checks in simdag...
tree
|
commitdiff
2011-10-20
Navarrop
Need to set state_file and availability file into the...
tree
|
commitdiff
2011-10-20
Navarrop
Update include tag.
tree
|
commitdiff
2011-10-20
Navarrop
Move arguments outside of the loop of hosts.
tree
|
commitdiff
2011-10-20
Navarrop
Remove unused and old function.
tree
|
commitdiff
2011-10-20
Navarrop
Remove supernovae mode for SimGrid v3.7
tree
|
commitdiff
2011-10-20
Navarrop
Update tag include
tree
|
commitdiff
2011-10-20
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-10-20
Martin Quinson
setup a mallocator for the simdag tasks. The gain is...
tree
|
commitdiff
2011-10-20
Arnaud Giersch
s/GRAS_STUB_GENERATOR/SIMGRID_LUA/ to actually match...
tree
|
commitdiff
2011-10-20
Arnaud Giersch
Guard against multiple inclusion.
tree
|
commitdiff
2011-10-20
Martin Quinson
Merge stuff again. Damn, I should pull before changing...
tree
|
commitdiff
2011-10-20
Martin Quinson
merge branches
tree
|
commitdiff
2011-10-20
Martin Quinson
Performance boost by using a swag internally in SD_simulate
tree
|
commitdiff
2011-10-20
Martin Quinson
Use the partial invalidation optimization by default...
tree
|
commitdiff
2011-10-20
Christophe Thiéry
This memory leak fix did not work with complex simulations.
tree
|
commitdiff
2011-10-20
Christophe Thiéry
SIMIX_CANCELED is a more adapted state in SIMIX_comm_ca...
tree
|
commitdiff
2011-10-14
Christophe Thiéry
In case of failures, a process may become runnable...
tree
|
commitdiff
2011-10-14
Christophe Thiéry
Improve debug messages
tree
|
commitdiff
2011-10-14
Christophe Thiéry
Make cancelling a non-running task a no-op
tree
|
commitdiff
2011-10-14
Christophe Thiéry
Fix remaining memory leaks in MSG
tree
|
commitdiff
2011-10-14
Christophe Thiéry
Simix: clean unfinished comms when terminating a process
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Fighting more memory leaks in Chord
tree
|
commitdiff
2011-10-13
Navarrop
Add host core to "1.0" for tag peer.
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Merge branch 'lua'
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Lua: more debugging info
tree
|
commitdiff
2011-10-10
Lucas Schnorr
[trace] strictly following the header of the paje file...
tree
|
commitdiff
2011-10-06
Christophe Thiéry
Lua: add support of closures to the state cloner
tree
|
commitdiff
2011-10-05
Arnaud Giersch
Make xbt_strbuff_chomp() really do its work.
tree
|
commitdiff
2011-10-05
Arnaud Giersch
An empty strbuff should really be empty.
tree
|
commitdiff
2011-10-05
Arnaud Giersch
.gitignore: delete .gitignore files in subdirectories.
tree
|
commitdiff
2011-10-05
Arnaud Giersch
Do not call surf_solve() when there is nothing to run.
tree
|
commitdiff
2011-10-04
Christophe Thiéry
Remove an obsolete function
tree
|
commitdiff
2011-10-03
Christophe Thiéry
Lua: fix registering maestro tables
tree
|
commitdiff
2011-09-29
Christophe Thiéry
Simplifying and improving identification of tables
tree
|
commitdiff
2011-09-29
Christophe Thiéry
Split sglua_move_value() in different functions for...
tree
|
commitdiff
2011-09-29
Christophe Thiéry
Rename s_buffer_t to s_sglua_buffer_t
tree
|
commitdiff
2011-09-29
Christophe Thiéry
Lua: separate bindings, state cloning functions and...
tree
|
commitdiff
2011-09-29
Navarrop
Implement RED module for ns3 into simgrid code.
tree
|
commitdiff
2011-09-28
Christophe Thiéry
Lua: sending and receiving tasks work, tests are okay.
tree
|
commitdiff
2011-09-28
Navarrop
We need the same gcc of cmake for smpicc.
tree
|
commitdiff
2011-09-27
Christophe Thiéry
Trying to make userdata work
tree
|
commitdiff
2011-09-27
Christophe Thiéry
Lua: handle userdata and the registry
tree
|
commitdiff
2011-09-27
Navarrop
Revert "Those files should not be in git."
tree
|
commitdiff
2011-09-27
Christophe Thiéry
Merge branch 'lua' of git+ssh://scm.gforge.inria.fr...
tree
|
commitdiff
2011-09-27
Navarrop
Those files should not be in git.
tree
|
commitdiff
2011-09-27
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-09-27
Christophe Thiéry
Revert "Implementing Lua simulated processes as indepen...
tree
|
commitdiff
2011-09-27
Christophe Thiéry
Revert "These messages should be print in debug logs...
tree
|
commitdiff
2011-09-27
Christophe Thiéry
Revert "Fix format string error."
tree
|
commitdiff
2011-09-27
Navarrop
This file should not be in git repository.
tree
|
commitdiff
2011-09-27
Christophe Thiéry
Improve formatting of debug info
tree
|
commitdiff
2011-09-27
Arnaud Giersch
Fix format string error.
tree
|
commitdiff
2011-09-27
Arnaud Giersch
Free exception.
tree
|
commitdiff
2011-09-27
Arnaud Giersch
Commit changes to simgrid_dtd.l.
tree
|
commitdiff
2011-09-27
Christophe Thiéry
These messages should be print in debug logs only
tree
|
commitdiff
2011-09-27
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
next