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 : cosmetics reindent
[simgrid.git]
/
src
/
2012-07-30
Marion Guthmuller
model-checker : update tests for snapshot comparison
tree
|
commitdiff
2012-07-30
Marion Guthmuller
model-checker : remove core dump for each reached pair
tree
|
commitdiff
2012-07-30
Marion Guthmuller
model-checker : cleanup on mc_checkpoint
tree
|
commitdiff
2012-07-30
Jean-Baptiste Hervé
Platform generation : add the exponential topology
tree
|
commitdiff
2012-07-30
Jean-Baptiste Hervé
Platform generation : add a function to compute distanc...
tree
|
commitdiff
2012-07-30
Jean-Baptiste Hervé
Platform generation : add the uniform topology
tree
|
commitdiff
2012-07-27
Jean-Baptiste Hervé
Platform generation : add the clique topology
tree
|
commitdiff
2012-07-27
Jean-Baptiste Hervé
Platform generation : add the "ring" topology
tree
|
commitdiff
2012-07-27
Jean-Baptiste Hervé
Platform generation : Add 2 topology setup functions
tree
|
commitdiff
2012-07-27
Jean-Baptiste Hervé
Platform generation : Add some debug
tree
|
commitdiff
2012-07-26
Jean-Baptiste Hervé
Platform generation : Add a function to interconnect...
tree
|
commitdiff
2012-07-26
Jean-Baptiste Hervé
Platform generation : modify some interface
tree
|
commitdiff
2012-07-26
Jean-Baptiste Hervé
First step to implement a platform generator in Simgrid
tree
|
commitdiff
2012-07-25
Marion Guthmuller
model-checker : cleanups for liveness property model...
tree
|
commitdiff
2012-07-25
Marion Guthmuller
model-checker : new heap comparison algorithm
tree
|
commitdiff
2012-07-24
Jean-Baptiste Hervé
Add an include to avoid a compilation warning
tree
|
commitdiff
2012-07-22
Martin Quinson
Add some support to bench the sequential and parallel...
tree
|
commitdiff
2012-07-22
Martin Quinson
useless tiny cleanups that should be done all over...
tree
|
commitdiff
2012-07-22
Martin Quinson
New function: xbt_os_timer_resume() to restart a timer...
tree
|
commitdiff
2012-07-17
Martin Quinson
regenerate the flexer files with a recent flexml, so...
tree
|
commitdiff
2012-07-17
Martin Quinson
Fix a bug making that the simulation ran longer than...
tree
|
commitdiff
2012-07-16
Marion Guthmuller
model-checker : #ifdef instead of #if (found by Cristia...
tree
|
commitdiff
2012-07-16
Marion Guthmuller
model-checker : add new pair reached in raw_heap
tree
|
commitdiff
2012-07-16
Marion Guthmuller
model-checker : add new pair reached even if compare==0
tree
|
commitdiff
2012-07-12
suter
Do the same as before to replay traces with SMPI, but...
tree
|
commitdiff
2012-07-12
Marion Guthmuller
model-checker : remove unnecessary memset on free fragm...
tree
|
commitdiff
2012-07-12
Marion Guthmuller
model-checker : comment MC_compare
tree
|
commitdiff
2012-07-12
navarro
Remove this output.
tree
|
commitdiff
2012-07-11
navarro
Add a tag cabinet to write new kind of cluster. See...
tree
|
commitdiff
2012-07-11
Marion Guthmuller
model-checker : application alert for state equality...
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : new recursive function for comparison...
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : malloc_backtrace_display functions...
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : heapinfo adresses refer to saved heap...
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : remove header of unused function
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : memset 0 on free block/fragment
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : factorization of set_pair_reached and...
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : remove useless code
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : update backtrace display
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : remove unused function
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : remove unnecessary take_snapshot for...
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : initialize variables
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : remove useless code
tree
|
commitdiff
2012-07-10
suter
Finally understand how the rate works. Explain it in...
tree
|
commitdiff
2012-07-09
suter
Add what's missing to load traces from SMPI.
tree
|
commitdiff
2012-07-09
suter
As pointed out by a user, the rate should be expressed...
tree
|
commitdiff
2012-07-09
suter
no need to add "rank" to the rank (will decrease trace...
tree
|
commitdiff
2012-07-09
Martin Quinson
document the upcoming change in SMPI
tree
|
commitdiff
2012-07-09
Jean-Baptiste Hervé
Fix a mistake in the Weibull inverse distribution function
tree
|
commitdiff
2012-07-05
Arnaud Giersch
Break loop here.
tree
|
commitdiff
2012-07-05
Arnaud Giersch
Check if cnst->cnst_usage is NULL.
tree
|
commitdiff
2012-07-05
Martin Quinson
regenerate the parser files with flexml 1.9.3 (thx...
tree
|
commitdiff
2012-07-05
navarro
free this dynar in none_finalize (if it was used).
tree
|
commitdiff
2012-07-05
navarro
Use new tag host_link for peer. No need for router...
tree
|
commitdiff
2012-07-05
navarro
Add two new tag for routing cluster (only):
tree
|
commitdiff
2012-07-04
Marion Guthmuller
model-checker : use rename() instead of system(mv ..)
tree
|
commitdiff
2012-07-04
Samuel Lepetit
Memory leak fix
tree
|
commitdiff
2012-07-04
Samuel Lepetit
Add MSG_vm_reboot
tree
|
commitdiff
2012-07-04
Samuel Lepetit
Return the new process in SIMIX_process_restart, simcal...
tree
|
commitdiff
2012-07-04
Samuel Lepetit
Fix SIMIX_process_kill(SIMIX_process_self()); issue...
tree
|
commitdiff
2012-07-04
Arnaud Giersch
Include simgrid_config.h before stdio.h to define _GNU_...
tree
|
commitdiff
2012-07-04
Arnaud Giersch
Remove useless defines.
tree
|
commitdiff
2012-07-04
Arnaud Giersch
Don't define variables in header files (part 2).
tree
|
commitdiff
2012-07-04
navarro
More cache cleaning in lmm_solve
tree
|
commitdiff
2012-07-04
schnorr
[trace] correctly declaring simgrid tracing mark values...
tree
|
commitdiff
2012-07-04
schnorr
[trace] don't specify color when declaring an event...
tree
|
commitdiff
2012-07-04
schnorr
[trace] follow the paje file format specification
tree
|
commitdiff
2012-07-04
Arnaud Giersch
Don't define variables in header file.
tree
|
commitdiff
2012-07-03
Arnaud Giersch
Fix memory leak.
tree
|
commitdiff
2012-07-03
Arnaud Giersch
[trace] free dicts on TRACE_end.
tree
|
commitdiff
2012-07-03
Arnaud Giersch
Fix free function for dynar, and simplify the code...
tree
|
commitdiff
2012-07-03
Arnaud Giersch
Avoid to free object twice.
tree
|
commitdiff
2012-07-03
Marion Guthmuller
model-checker : use abort() instead of a hack for core...
tree
|
commitdiff
2012-07-03
Marion Guthmuller
model-checker : typo
tree
|
commitdiff
2012-07-03
Marion Guthmuller
model-checker : create core dump without termination...
tree
|
commitdiff
2012-07-03
Marion Guthmuller
model-checker : pointer detection fixed
tree
|
commitdiff
2012-07-03
Samuel Lepetit
Little change in xbt_dynar_to_array doc
tree
|
commitdiff
2012-07-03
navarro
Fix some warnings in doc
tree
|
commitdiff
2012-07-03
navarro
lmm_solve cache cleaning
tree
|
commitdiff
2012-07-02
Arnaud Giersch
Define macros to make compatibility layer of libagraph...
tree
|
commitdiff
2012-07-02
Arnaud Giersch
Tiny corrections in doc.
tree
|
commitdiff
2012-07-02
Marion Guthmuller
model-checker : extend pointer detection in heap compar...
tree
|
commitdiff
2012-07-02
Marion Guthmuller
model-checker : remove unnecessary test
tree
|
commitdiff
2012-07-02
lbobelin
Just cleaned some stuff to only show undocumented funct...
tree
|
commitdiff
2012-06-29
lbobelin
Cleaned doc, re-included examples, should be better...
tree
|
commitdiff
2012-06-29
Marion Guthmuller
model-checker : tests for snapshot comparison
tree
|
commitdiff
2012-06-29
Marion Guthmuller
model-checker : test unit removed
tree
|
commitdiff
2012-06-29
Marion Guthmuller
model-checker : move functions about snapshot compariso...
tree
|
commitdiff
2012-06-29
Marion Guthmuller
model-checker : get fragment number like in realloc...
tree
|
commitdiff
2012-06-29
Arnaud Giersch
Reindent.
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Move a simcall doc from MSG to SIMIX
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Add some doc for SIMIX reference guide
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Fix issues in documentation
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Use msg_error_t instead of MSG_error_t
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Use msg_gpu_task_t instead of m_gpu_task_t
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Use msg_task_t instead of m_task_t
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Use msg_host_t instead of m_host_t.
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Use msg_process_t instead of m_process_t
tree
|
commitdiff
2012-06-29
Arnaud Giersch
Don't mix install and build directories in smpicc.
tree
|
commitdiff
2012-06-29
Arnaud Giersch
Missing include when !HAVE_TRACING.
tree
|
commitdiff
2012-06-29
Arnaud Giersch
Use memcpy() instead of possibly broken aliasing throug...
tree
|
commitdiff
next