A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Use %zu to format a sizeof value.
2012-01-13
Marion Guthmuller
Merge branch 'MC_LTL'
commit
|
commitdiff
|
tree
2012-01-13
Marion Guthmuller
model-checker : new function MC_diff to display all...
commit
|
commitdiff
|
tree
2012-01-13
Marion Guthmuller
model-checker : break forgotten in switch
commit
|
commitdiff
|
tree
2012-01-12
Marion Guthmuller
model-checker : add informations when log debug enabled
commit
|
commitdiff
|
tree
2012-01-12
Marion Guthmuller
model-checker : prototypes of static functions moved
commit
|
commitdiff
|
tree
2012-01-12
Marion Guthmuller
model-checker : prototypes of unused functions removed
commit
|
commitdiff
|
tree
2012-01-12
Marion Guthmuller
model-checker : %zu instead of %Zu in printf
commit
|
commitdiff
|
tree
2012-01-11
Marion Guthmuller
merge conflicts resolved
commit
|
commitdiff
|
tree
2012-01-11
Marion Guthmuller
model-checker : more informations if log enabled for...
commit
|
commitdiff
|
tree
2012-01-11
Marion Guthmuller
model-checker : add example centralized_liveness in...
commit
|
commitdiff
|
tree
2012-01-11
Marion Guthmuller
model-checker : new example for liveness properties
commit
|
commitdiff
|
tree
2012-01-10
Marion Guthmuller
model-checker : bugged2_liveness with promela of LTL...
commit
|
commitdiff
|
tree
2012-01-10
Marion Guthmuller
model-checker : new LTL property for bugged2_liveness...
commit
|
commitdiff
|
tree
2012-01-09
Marion Guthmuller
model-checker : add comments for the example bugged2_liveness
commit
|
commitdiff
|
tree
2012-01-09
Marion Guthmuller
model-checker : new examples for verification of liveness...
commit
|
commitdiff
|
tree
2012-01-05
Marion Guthmuller
model-checker : warnings fixed
commit
|
commitdiff
|
tree
2011-12-13
Marion Guthmuller
Merge branch 'master' into MC_LTL
commit
|
commitdiff
|
tree
2011-12-13
Marion Guthmuller
model-checker : clean code
commit
|
commitdiff
|
tree
2011-12-07
Marion Guthmuller
Merge branch 'master' into MC_LTL
commit
|
commitdiff
|
tree
2011-12-07
Marion Guthmuller
model-checker : hash of regions in snapshot for reached...
commit
|
commitdiff
|
tree
2011-12-07
Marion Guthmuller
model-checker : more requests of CS per process in...
commit
|
commitdiff
|
tree
2011-12-06
Marion Guthmuller
model-checker : block 0 (mdp->heapinfo[0]) removed...
commit
|
commitdiff
|
tree
2011-12-06
Marion Guthmuller
model-checker : reached_pairs changed to dynar
commit
|
commitdiff
|
tree
2011-12-05
Marion Guthmuller
model-checker : visited_pairs and visited_pairs_hash...
commit
|
commitdiff
|
tree
2011-12-05
Marion Guthmuller
model-checker : comparison between two hash of regions...
commit
|
commitdiff
|
tree
2011-12-05
Marion Guthmuller
Merge branch 'master' into MC_LTL
commit
|
commitdiff
|
tree
2011-12-05
Marion Guthmuller
model-checker : hash of regions in snapshot stored...
commit
|
commitdiff
|
tree
2011-12-01
Marion Guthmuller
model-checker : args prgm and automaton changed in...
commit
|
commitdiff
|
tree
2011-12-01
Marion Guthmuller
model-checker : free memory
commit
|
commitdiff
|
tree
2011-12-01
Marion Guthmuller
model-checker : new function MC_take_snapshot_to_restore_liv...
commit
|
commitdiff
|
tree
2011-11-30
Marion Guthmuller
model-checker : all heapstats except total size of...
commit
|
commitdiff
|
tree
2011-11-30
Marion Guthmuller
model-checker : remove comparison of heapstats between...
commit
|
commitdiff
|
tree
2011-11-30
Marion Guthmuller
Merge branch 'master' into MC_LTL
commit
|
commitdiff
|
tree
2011-11-30
Marion Guthmuller
model-checker : number of CS request per process reduced...
commit
|
commitdiff
|
tree
2011-11-30
Marion Guthmuller
model-checker : heap compared block by block or fragment...
commit
|
commitdiff
|
tree
2011-11-30
Marion Guthmuller
model-checker : remove stack from regions added in...
commit
|
commitdiff
|
tree
2011-11-28
Marion Guthmuller
model-checker : comparison of heap between two snapshots...
commit
|
commitdiff
|
tree
2011-11-28
Marion Guthmuller
model-checker : remove test useless before free(line)
commit
|
commitdiff
|
tree
2011-11-22
Marion Guthmuller
model-checker : close file /proc/self/maps at the end...
commit
|
commitdiff
|
tree
2011-11-22
Marion Guthmuller
merge conflicts
commit
|
commitdiff
|
tree
2011-11-22
Marion Guthmuller
model-checker : add snapshot of stack memory region...
commit
|
commitdiff
|
tree
2011-11-17
Marion Guthmuller
model-checker : examples changed
commit
|
commitdiff
|
tree
2011-11-17
Marion Guthmuller
model-checker : detection of pair already visited with...
commit
|
commitdiff
|
tree
2011-11-17
Marion Guthmuller
model-checker : stop exploration if there isn't evolution...
commit
|
commitdiff
|
tree
2011-11-15
Marion Guthmuller
model-checker : free memory at the end of stateless...
commit
|
commitdiff
|
tree
2011-11-15
Marion Guthmuller
model-checker : detection of acceptance cycle when...
commit
|
commitdiff
|
tree
2011-11-14
Marion Guthmuller
model-checker : add region (data of program) in snapshot
commit
|
commitdiff
|
tree
2011-11-14
Marion Guthmuller
model-checker : add name of program in arguments of...
commit
|
commitdiff
|
tree
2011-11-10
Marion Guthmuller
model-checker : MC_replay_liveness function extended...
commit
|
commitdiff
|
tree
2011-11-09
Marion Guthmuller
model-checker : example for detection of acceptance...
commit
|
commitdiff
|
tree
2011-11-09
Marion Guthmuller
model-checker : new version of stateless double dfs...
commit
|
commitdiff
|
tree
2011-11-09
Marion Guthmuller
model-checker : add number of requests executed for...
commit
|
commitdiff
|
tree
2011-11-09
Marion Guthmuller
model-checker : pair without request executed not replay...
commit
|
commitdiff
|
tree
2011-11-07
Marion Guthmuller
model-checker : add new MAX_DEPTH_LIVENESS with verification...
commit
|
commitdiff
|
tree
2011-11-04
Marion Guthmuller
model-checker : last version (incorrect) of double...
commit
|
commitdiff
|
tree
2011-11-03
Marion Guthmuller
model-checker : more condition (state with processes...
commit
|
commitdiff
|
tree
2011-11-03
Marion Guthmuller
model-checker: new examples for liveness model checking
commit
|
commitdiff
|
tree
2011-11-02
Marion Guthmuller
model-checker : add or remove debug information
commit
|
commitdiff
|
tree
2011-11-02
Marion Guthmuller
model-checker : change variable successors (local-...
commit
|
commitdiff
|
tree
2011-11-02
Marion Guthmuller
model-checker : memory leaks fixed in dfs algorithm...
commit
|
commitdiff
|
tree
2011-10-28
Marion Guthmuller
model-checker : function mmalloc_compare_mdesc fixed...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : function to compare values of propositional...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : remove unused variables
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : function to compare propositional symbol...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : change printf for size_t variables
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : test data in libsimgrid memory region...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : new functions to compare mmalloc in...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : add type in s_mc_mem_region (0=std_heap...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : add files for examples
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : nettoyage du code
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : new comparison for reached pairs (automaton...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : new comparison of pair reached (automaton...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : delete visited in struct xbt_state_t...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : delete struct reached_pair_stateless...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : delete num in struct mc_pair_t
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : empty pair for stateless ddfs fixed
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : ddfs stateless and stateful fixed
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : update ddfs stateful model checking...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : new structure reached_pair_stateless...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : stateless model checking for liveness...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : separate informations for safety stateful...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : new example bugged1 for stateful dpor
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : one more condition before interleaving...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : add condition of invisibility to reduce...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : new structure mc_pair_prop_t and backup...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : DPOR (independant transitions) algorithm...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : separate dfs and dpor algorithms with...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : example changed
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : 128bits->160bits for hash of visited...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : restore interleaved process when restore...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : dfs with good restore snapshot
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : correction of dfs algorithm for liveness...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : test dpor without replay from initial...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : rename file mc_dfs -> mc_liveness
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
MC LTL : last version dfs algorithm before reduction
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
MC LTL : add statistics
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model checker : dfs algorithm corrected
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-check : show stack when property not valid
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-check : dump stack for acceptance cycle
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-check : show stack for acceptance cycle
commit
|
commitdiff
|
tree
next