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
merge conflicts
[simgrid.git]
/
src
/
mc
/
2011-11-22
Marion Guthmuller
merge conflicts
tree
|
commitdiff
2011-11-22
Marion Guthmuller
model-checker : add snapshot of stack memory region...
tree
|
commitdiff
2011-11-17
Marion Guthmuller
model-checker : detection of pair already visited with...
tree
|
commitdiff
2011-11-17
Marion Guthmuller
model-checker : stop exploration if there isn't evoluti...
tree
|
commitdiff
2011-11-15
Marion Guthmuller
model-checker : free memory at the end of stateless...
tree
|
commitdiff
2011-11-15
Marion Guthmuller
model-checker : detection of acceptance cycle when...
tree
|
commitdiff
2011-11-14
Marion Guthmuller
model-checker : add region (data of program) in snapshot
tree
|
commitdiff
2011-11-14
Marion Guthmuller
model-checker : add name of program in arguments of...
tree
|
commitdiff
2011-11-14
Arnaud Giersch
Use xbt_XXX_is_empty() instead of testing xbt_XXX_lengt...
tree
|
commitdiff
2011-11-10
Marion Guthmuller
model-checker : MC_replay_liveness function extended...
tree
|
commitdiff
2011-11-09
Arnaud Giersch
Kill "if" before free, and useless cast of free argument.
tree
|
commitdiff
2011-11-09
Marion Guthmuller
model-checker : new version of stateless double dfs...
tree
|
commitdiff
2011-11-09
Marion Guthmuller
model-checker : add number of requests executed for...
tree
|
commitdiff
2011-11-09
Marion Guthmuller
model-checker : pair without request executed not repla...
tree
|
commitdiff
2011-11-07
Marion Guthmuller
model-checker : add new MAX_DEPTH_LIVENESS with verific...
tree
|
commitdiff
2011-11-04
Marion Guthmuller
model-checker : last version (incorrect) of double...
tree
|
commitdiff
2011-11-03
Marion Guthmuller
model-checker : more condition (state with processes...
tree
|
commitdiff
2011-11-02
Marion Guthmuller
model-checker : change variable successors (local-...
tree
|
commitdiff
2011-11-02
Marion Guthmuller
model-checker : memory leaks fixed in dfs algorithm...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : function to compare values of propositi...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : remove unused variables
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : function to compare propositional symbo...
tree
|
commitdiff
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 : 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
new dfs algorithm with automaton of LTL formula
tree
|
commitdiff
2011-10-20
Martin Quinson
merge branches
tree
|
commitdiff
2011-05-18
Arnaud Giersch
[mc] Don't define variable "raw_heap_fd" twice.
tree
|
commitdiff
2011-05-10
Arnaud Giersch
Define and use a function to run the processes to run.
tree
|
commitdiff
2011-05-09
Arnaud Giersch
Change the handling of SIMIX requests in model checker...
tree
|
commitdiff
2011-04-20
Christophe Thiéry
MC: make the output independent of the type of processo...
tree
|
commitdiff
2011-04-19
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-04-19
Martin Quinson
fix MC in 32bit [Marion, still learning git -- shame...
tree
|
commitdiff
2011-04-08
Pierre-Nicolas Clauss
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-04-08
Navarrop
Merge commit '521daa8271ac2778d8b2944be25daae65d3540a1...
tree
|
commitdiff
2011-04-07
Christophe Thiéry
MC: perform actual model-checking in tesh tests
tree
|
commitdiff
2011-03-24
agiersch
Remove usage of xbt_assert[0-9].
tree
|
commitdiff
2011-03-24
agiersch
Replace, when possible, calls to bprintf() by calls...
tree
|
commitdiff
2011-03-21
thiery
Fix a comparison between different enums
tree
|
commitdiff
2011-02-17
agiersch
Use new style logging macros.
tree
|
commitdiff
2011-02-15
cristianrosa
Always show the MC statistics on exit.
tree
|
commitdiff
2011-02-15
cristianrosa
If --cfg=model-check:2 was passed, use a DFS exploration.
tree
|
commitdiff
2011-02-04
schnorr
model-check output more parsable
tree
|
commitdiff
2011-01-26
cristianrosa
Bugfix: return testany requests' result when they succe...
tree
|
commitdiff
2011-01-26
cristianrosa
Debug generation clean-ups.
tree
|
commitdiff
2011-01-26
cristianrosa
Bugfix: the dependence relation between isend/irecv...
tree
|
commitdiff
2011-01-26
cristianrosa
Improve independence detection and request pretty printing.
tree
|
commitdiff
2011-01-26
cristianrosa
Improve the show stack function. (Now it prints the...
tree
|
commitdiff
2011-01-20
cristianrosa
Add a clock per process when running in MC mode.
tree
|
commitdiff
2011-01-20
cristianrosa
Let the model-checker decide if the wait transitions...
tree
|
commitdiff
2011-01-20
cristianrosa
Code refactor: move the functions associated to the...
tree
|
commitdiff
2011-01-20
cristianrosa
Improve debug information for waitany and testany requests.
tree
|
commitdiff
2011-01-20
cristianrosa
Bugfix: do not compare comm actions to decide if they...
tree
|
commitdiff
2011-01-20
cristianrosa
Bugfix: correctly set the process to MC_DONE once the...
tree
|
commitdiff
2011-01-20
cristianrosa
Bugfix: every state should also save a copy of the...
tree
|
commitdiff
2011-01-20
cristianrosa
Translate the executed TestAny and WaitAny requests...
tree
|
commitdiff
2011-01-20
cristianrosa
Bugfix: save only the state of the heap and libsimgrid.
tree
|
commitdiff
2011-01-20
cristianrosa
Bugfix: do not assume that request of different type...
tree
|
commitdiff
2011-01-07
cristianrosa
Small bugfixes to stabilize the MC
tree
|
commitdiff
2011-01-05
cristianrosa
Add suport for TestAny and WaitAny requests to the...
tree
|
commitdiff
2011-01-05
cristianrosa
Rework state's implementation to better support waitany...
tree
|
commitdiff
2011-01-05
cristianrosa
Replace the setsets in the MC's states by malloced...
tree
|
commitdiff
2010-12-16
cristianrosa
Bugfix: deadlock detection was wrong. Reimplemented.
tree
|
commitdiff
2010-12-16
cristianrosa
Bugfix: correctly set/unset the raw memory when taking...
tree
|
commitdiff
2010-12-16
cristianrosa
Improve the debugging information
tree
|
commitdiff
2010-12-15
cristianrosa
Answer the request as the last action on it (it will...
tree
|
commitdiff
2010-12-15
cristianrosa
Fix the detection of the raw_heap when snapshoting
tree
|
commitdiff
next