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 branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
[simgrid.git]
/
src
/
mc
/
2013-10-06
Marion Guthmuller
model-checker : fix memory leak in ddfs algorithm
tree
|
commitdiff
2013-10-06
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : ignore information about simix_global...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : ignore information about simix_global
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : fix detection of pointers on a fragment...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : ignore process_to_run and process_that_...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : restore sequential system state compari...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : fix sort of acceptance pairs
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : add debug message
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : ignore some information for system...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : automaton state comparison removed...
tree
|
commitdiff
2013-10-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-01
Arnaud Giersch
Centralize declaration for _sg_init_status (renamed...
tree
|
commitdiff
2013-10-01
Marion Guthmuller
model-checker : fix removal of a visited pair in livene...
tree
|
commitdiff
2013-10-01
Marion Guthmuller
model-checker : parallel system state comparison for...
tree
|
commitdiff
2013-10-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-29
Marion Guthmuller
model-checker : update system state comparison
tree
|
commitdiff
2013-09-26
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-25
Arnaud Giersch
Dig through git history, and update copyright lines.
tree
|
commitdiff
2013-09-25
Marion Guthmuller
model-checker : init var
tree
|
commitdiff
2013-09-25
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-24
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2013-09-24
Marion Guthmuller
model-checker : fix system state comparison (I hate...
tree
|
commitdiff
2013-09-24
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-23
Arnaud Giersch
Fix error: ‘current_region’ may be used uninitialized...
tree
|
commitdiff
2013-09-21
Marion Guthmuller
model-checker : parallel comparison of system states...
tree
|
commitdiff
2013-09-21
Marion Guthmuller
model-checker : minor fix in ddfs algorithm
tree
|
commitdiff
2013-09-21
Marion Guthmuller
model-checker : --cfg=model-check/checkpoint is an...
tree
|
commitdiff
2013-09-18
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-08-22
Arnaud Legrand
Fix a bunch of typos thanks to the new spell script...
tree
|
commitdiff
2013-08-19
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-08-14
Marion Guthmuller
model-checker : memory free and cleanup
tree
|
commitdiff
2013-08-14
Marion Guthmuller
model-checker : stop stack comparison before the contex...
tree
|
commitdiff
2013-08-14
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-08-13
Marion Guthmuller
model-checker : fix dot output for liveness MC
tree
|
commitdiff
2013-08-13
Marion Guthmuller
model-checker : fix ignore mechanism
tree
|
commitdiff
2013-08-12
Marion Guthmuller
model-checker : fix ignore global variable
tree
|
commitdiff
2013-08-12
Marion Guthmuller
model-checker : remove unused variable
tree
|
commitdiff
2013-08-12
Marion Guthmuller
model-checker : add debug message
tree
|
commitdiff
2013-08-12
Marion Guthmuller
model-checker : fix comparison of local variables
tree
|
commitdiff
2013-08-12
Marion Guthmuller
model-checker : extend ignore mechanism with new user...
tree
|
commitdiff
2013-08-10
Marion Guthmuller
model-checker : udpate debug information
tree
|
commitdiff
2013-08-10
Marion Guthmuller
model-checker : fix DPOR with visited states reduction
tree
|
commitdiff
2013-08-10
Marion Guthmuller
model-checker : add min and max values for MC_RANDOM...
tree
|
commitdiff
2013-08-10
Marion Guthmuller
model-checker : rename MC_max_depth(int prop) -> MC_cut()
tree
|
commitdiff
2013-08-10
Marion Guthmuller
model-checker : fix dot_output with DPOR
tree
|
commitdiff
2013-08-05
Marion Guthmuller
cosmetics
tree
|
commitdiff
2013-08-05
Marion Guthmuller
model-checker : new primitive MC_max_depth, to define...
tree
|
commitdiff
2013-08-05
Marion Guthmuller
model-checker : fix DPOR with timeout
tree
|
commitdiff
2013-08-05
Marion Guthmuller
model-checker : include simcall number in request_to_string
tree
|
commitdiff
2013-08-05
Marion Guthmuller
model-checker : snapshot comparison with the types...
tree
|
commitdiff
2013-08-05
Marion Guthmuller
model-checker : comparison of number of processes and...
tree
|
commitdiff
2013-07-01
acarpena
Merge branch 'dvfs'
tree
|
commitdiff
2013-06-28
Takahiro Hirofuchi
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
tree
|
commitdiff
2013-06-19
Paul Bédaride
Merge branch 'master' into hypervisor
tree
|
commitdiff
2013-06-14
Guillaume Serrière
Change xbt_os_timer interface to handle cpu time, threa...
tree
|
commitdiff
2013-06-13
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-06-13
Marion Guthmuller
model-checker : fix (again ..) DPOR for iSend/iRecv...
tree
|
commitdiff
2013-06-13
Marion Guthmuller
model-checker : improve debug messages
tree
|
commitdiff
2013-06-08
Marion Guthmuller
model-checker : free memory
tree
|
commitdiff
2013-06-08
Marion Guthmuller
model-checker : increase number of colors for dot output
tree
|
commitdiff
2013-06-08
Marion Guthmuller
model-checker : use raw_heap instead of std_heap
tree
|
commitdiff
2013-06-08
Marion Guthmuller
model-checker : fix dot output for smpi examples
tree
|
commitdiff
2013-06-08
Marion Guthmuller
model-checker : add information in counter-example...
tree
|
commitdiff
2013-06-02
Marion Guthmuller
model-checker : generate dot file for the verification...
tree
|
commitdiff
2013-06-02
Marion Guthmuller
model-checker : use else if instead of if then if
tree
|
commitdiff
2013-06-02
Marion Guthmuller
model-checker : fix dpor with dot_output
tree
|
commitdiff
2013-06-01
Marion Guthmuller
model-checker : fix memory free
tree
|
commitdiff
2013-05-31
Marion Guthmuller
model-checker : remove useless if
tree
|
commitdiff
2013-05-31
Marion Guthmuller
model-checker : fix compilation error
tree
|
commitdiff
2013-05-31
Marion Guthmuller
model-checker : remove useless take/restore snapshot
tree
|
commitdiff
2013-05-31
Marion Guthmuller
model-checker : initialize variables
tree
|
commitdiff
2013-05-31
Marion Guthmuller
model-checker : remove comment and add debug message
tree
|
commitdiff
2013-05-31
Marion Guthmuller
model-checker : simplify algorithm for the verification...
tree
|
commitdiff
2013-05-30
Marion Guthmuller
model-checker : take snapshot of memory segments during...
tree
|
commitdiff
2013-05-28
Marion Guthmuller
model-checker : use only structure (mc_pair_t) for...
tree
|
commitdiff
2013-05-28
Marion Guthmuller
model-checker : free memory
tree
|
commitdiff
2013-05-10
Paul Bédaride
Add new boolean type for configuration
tree
|
commitdiff
2013-05-06
Paul Bédaride
Fix to handle warnings+optimizations on CI for MC32...
tree
|
commitdiff
2013-04-15
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-04-10
Arnaud Giersch
Disable stream buffer when reading /proc/self/maps.
tree
|
commitdiff
2013-04-10
Takahiro Hirofuchi
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
tree
|
commitdiff
2013-04-03
Marion Guthmuller
model-checker : display address of communication in...
tree
|
commitdiff
2013-04-03
Marion Guthmuller
model-checker : iSend/iRecv independent with Wait but...
tree
|
commitdiff
2013-04-02
Marion Guthmuller
model-checker : state at max depth may have none interl...
tree
|
commitdiff
2013-04-02
alebre
Merge branch 'master' into hypervisor
tree
|
commitdiff
2013-04-02
Marion Guthmuller
model-checker : create dot_output file after MC_do_the_...
tree
|
commitdiff
2013-04-01
Marion Guthmuller
model-checker : restore independence between iSend...
tree
|
commitdiff
2013-04-01
Marion Guthmuller
model-checker : update state equality detection
tree
|
commitdiff
2013-03-25
Marion Guthmuller
model-checker : variable declaration deleted with a...
tree
|
commitdiff
2013-03-25
Marion Guthmuller
model-checker : add variable deleted before to resolve...
tree
|
commitdiff
2013-03-25
Marion Guthmuller
model-checker : ignore variable about time used with...
tree
|
commitdiff
2013-03-25
Marion Guthmuller
model-checker : if acceptance cycle is detected, get...
tree
|
commitdiff
2013-03-25
Marion Guthmuller
model-checker : last fix in DPOR algorithm if max depth...
tree
|
commitdiff
2013-03-25
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-03-25
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-03-21
Arnaud Giersch
Dumb commit: kill empty line.
tree
|
commitdiff
2013-03-21
Arnaud Giersch
Kill unused variable.
tree
|
commitdiff
2013-03-21
Marion Guthmuller
model-checker : use xbt_free_f instead of a new functio...
tree
|
commitdiff
2013-03-21
Marion Guthmuller
model-checker : fix soundness of DPOR algorithm if...
tree
|
commitdiff
next