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
2011-11-17
Marion Guthmuller
model-checker : detection of pair already visited with...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-17
Marion Guthmuller
model-checker : stop exploration if there isn't evoluti...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-15
Marion Guthmuller
model-checker : free memory at the end of stateless...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-15
Marion Guthmuller
model-checker : detection of acceptance cycle when...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-14
Marion Guthmuller
model-checker : add region (data of program) in snapshot
commit
|
commitdiff
|
tree
|
snapshot
2011-11-14
Marion Guthmuller
model-checker : add name of program in arguments of...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-10
Marion Guthmuller
model-checker : MC_replay_liveness function extended...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-09
Marion Guthmuller
model-checker : example for detection of acceptance...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-09
Marion Guthmuller
model-checker : new version of stateless double dfs...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-09
Marion Guthmuller
model-checker : add number of requests executed for...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-09
Marion Guthmuller
model-checker : pair without request executed not repla...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-07
Marion Guthmuller
model-checker : add new MAX_DEPTH_LIVENESS with verific...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-04
Marion Guthmuller
model-checker : last version (incorrect) of double...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-03
Marion Guthmuller
model-checker : more condition (state with processes...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-03
Marion Guthmuller
model-checker: new examples for liveness model checking
commit
|
commitdiff
|
tree
|
snapshot
2011-11-02
Marion Guthmuller
model-checker : add or remove debug information
commit
|
commitdiff
|
tree
|
snapshot
2011-11-02
Marion Guthmuller
model-checker : change variable successors (local-...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-02
Marion Guthmuller
model-checker : memory leaks fixed in dfs algorithm...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-28
Marion Guthmuller
model-checker : function mmalloc_compare_mdesc fixed...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : function to compare values of propositi...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : remove unused variables
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : function to compare propositional symbo...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : change printf for size_t variables
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : test data in libsimgrid memory region...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : new functions to compare mmalloc in...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : add type in s_mc_mem_region (0=std_heap...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : add files for examples
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : nettoyage du code
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : new comparison for reached pairs (autom...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : new comparison of pair reached (automat...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : delete visited in struct xbt_state_t...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : delete struct reached_pair_stateless...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : delete num in struct mc_pair_t
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : empty pair for stateless ddfs fixed
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : ddfs stateless and stateful fixed
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : update ddfs stateful model checking...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : new structure reached_pair_stateless...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : stateless model checking for liveness...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : separate informations for safety statef...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : new example bugged1 for stateful dpor
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : one more condition before interleaving...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : add condition of invisibility to reduce...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : new structure mc_pair_prop_t and backup...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : DPOR (independant transitions) algorith...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : separate dfs and dpor algorithms with...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : example changed
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : 128bits->160bits for hash of visited...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : restore interleaved process when restor...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : dfs with good restore snapshot
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : correction of dfs algorithm for livenes...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : test dpor without replay from initial...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-checker : rename file mc_dfs -> mc_liveness
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
MC LTL : last version dfs algorithm before reduction
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
MC LTL : add statistics
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model checker : dfs algorithm corrected
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-check : show stack when property not valid
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-check : dump stack for acceptance cycle
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model-check : show stack for acceptance cycle
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
model check : acceptance cycle detection with automaton...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
détection de cycle d'acceptation ok mais boucle infinie...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
correction compile warnings
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
start new example with parsing lex/yacc of automaton...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
include new files struct automaton for cmake
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
new dfs algorithm with automaton of LTL formula
commit
|
commitdiff
|
tree
|
snapshot
2011-10-25
Marion Guthmuller
new struct automaton
commit
|
commitdiff
|
tree
|
snapshot
2011-10-21
Navarrop
You can now specify if you want sleep to see memory...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-21
Navarrop
Optimize bprintf during cluster loop.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-21
Navarrop
Add optimization flag with gcc46.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
use more consistently the resource create of models...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
save some useless strdups
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
reduce the amount of damn paranoid checks in simdag...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Navarrop
Fix memoryleak.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Navarrop
Need to set state_file and availability file into the...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Christophe...
There is no contexts in SimDag
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Navarrop
Rewrite perl script for optorsim
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Navarrop
Update include tag.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Navarrop
Move arguments outside of the loop of hosts.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Navarrop
Remove unused and old function.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Navarrop
Remove supernovae mode for SimGrid v3.7
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Navarrop
Test the help command.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Navarrop
Update tag include
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
setup a mallocator for the simdag tasks. The gain is...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
memory cleanups
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Arnaud Giersch
s/GRAS_STUB_GENERATOR/SIMGRID_LUA/ to actually match...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Arnaud Giersch
Guard against multiple inclusion.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Arnaud Giersch
Fix race condition with gras-mmrpc test.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Arnaud Giersch
Figlet for 3.7 was incomplete.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Arnaud Giersch
tesh: add tests with empty output.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Arnaud Giersch
tesh: do not fail on empty output, when sorting is...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
Merge stuff again. Damn, I should pull before changing...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
merge branches
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
use a user level mallocator on the task content
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
enlarge my cluster once again
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
Performance boost by using a swag internally in SD_simulate
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Martin Quinson
Use the partial invalidation optimization by default...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Christophe...
This memory leak fix did not work with complex simulations.
commit
|
commitdiff
|
tree
|
snapshot
2011-10-20
Christophe...
SIMIX_CANCELED is a more adapted state in SIMIX_comm_ca...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-19
Martin Quinson
restore some stuff that got killed from the gitignore...
commit
|
commitdiff
|
tree
|
snapshot
2011-10-19
Martin Quinson
enlarge my cluster
commit
|
commitdiff
|
tree
|
snapshot
next