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
/
2012-06-19
jbrv
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-19
Christophe Thiéry
Actually, upvalues were implemented a while ago.
tree
|
commitdiff
2012-06-19
jbrv
Make rngStream management functions in platform more...
tree
|
commitdiff
2012-06-19
Marion Guthmuller
model-checker : fixme about initialization
tree
|
commitdiff
2012-06-19
Marion Guthmuller
model-checker : remove unused code and update debug...
tree
|
commitdiff
2012-06-19
Marion Guthmuller
model-checker : add stats in mmalloc
tree
|
commitdiff
2012-06-19
Marion Guthmuller
model-checker : cosmetics reindent
tree
|
commitdiff
2012-06-19
navarro
Fix compilation warning for unused variables
tree
|
commitdiff
2012-06-19
Samuel Lepetit
Remove internal function from the documentation
tree
|
commitdiff
2012-06-19
Samuel Lepetit
Typo
tree
|
commitdiff
2012-06-18
Marion Guthmuller
model-checker : add debug messages
tree
|
commitdiff
2012-06-18
Marion Guthmuller
model-checker : assert on block/fragment address in...
tree
|
commitdiff
2012-06-18
Marion Guthmuller
model-checker : unnecessary comments removed
tree
|
commitdiff
2012-06-18
navarro
Add 'content' priority for storage and then storage_type
tree
|
commitdiff
2012-06-18
navarro
Put the storage content into the storage and not into...
tree
|
commitdiff
2012-06-15
navarro
Clean sources for mc and reedit some files
tree
|
commitdiff
2012-06-14
Marion Guthmuller
resolve merge conflict
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : lex and yacc parsing moved in src/xbt...
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : remove unused files
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Indentation fix
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-14
Arnaud Giersch
Fix format string.
tree
|
commitdiff
2012-06-14
Arnaud Giersch
Remove unused variable.
tree
|
commitdiff
2012-06-14
Arnaud Giersch
Add cases for missing enumeration values.
tree
|
commitdiff
2012-06-14
schnorr
[trace] correctly generating viva categorized configuration
tree
|
commitdiff
2012-06-14
suter
add a SD_task_set_rate function
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Update MSG_comm_wait documentation
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Add a MSG_vm_destroy function to free a virtual machine
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Bugfix in cloud API (again)
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Fix the cloud API, nicely this time.
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Revert "Debug the cloud API, it should work as expected...
tree
|
commitdiff
2012-06-14
schnorr
[trace] re-write of trace mark API, need to declare...
tree
|
commitdiff
2012-06-14
schnorr
[trace] only ignore the call if the mark type wasn...
tree
|
commitdiff
2012-06-14
schnorr
[trace] we don't need to trace the destruction of the...
tree
|
commitdiff
2012-06-14
schnorr
[trace] don't let mark the trace if platform is not...
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : add header (description, copyright...
tree
|
commitdiff
2012-06-14
Arnaud Giersch
Fix build with paranoid flags: remove redundant '\0...
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : comment unused variable
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : get end heap with field breakval in...
tree
|
commitdiff
2012-06-14
Sascha Hunold
updated jedule output of SimDag
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : move print statistics if property is...
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : fix std_heap address for heap compariso...
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : in second test unit, snapshot compariso...
tree
|
commitdiff
2012-06-13
Arnaud Giersch
[trace] correct impossible code.
tree
|
commitdiff
2012-06-13
Arnaud Giersch
[trace] new function: PJ_value_get_or_new().
tree
|
commitdiff
2012-06-13
Arnaud Giersch
[trace] throw an exception instead of returning NULL.
tree
|
commitdiff
2012-06-13
Arnaud Giersch
[trace] test is obviously redundant here.
tree
|
commitdiff
2012-06-13
Martin Quinson
New function: MSG_host_set_property_value()
tree
|
commitdiff
2012-06-13
Samuel Lepetit
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-13
Samuel Lepetit
Debug the cloud API, it should work as expected now.
tree
|
commitdiff
2012-06-13
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-13
Marion Guthmuller
model-checker : get std_heap with mmalloc_get_current_h...
tree
|
commitdiff
2012-06-13
navarro
Change the file API, remove the mount point in each...
tree
|
commitdiff
2012-06-13
Arnaud Giersch
Cosmetics: allow a semicolon after macro usage.
tree
|
commitdiff
2012-06-13
Marion Guthmuller
model-checker : new test unit for snapshot comparison
tree
|
commitdiff
2012-06-13
Marion Guthmuller
model-checker : remove unused argument in functions...
tree
|
commitdiff
2012-06-13
Marion Guthmuller
model-checker : add total hamming distance for heap...
tree
|
commitdiff
2012-06-13
Marion Guthmuller
model-checker : test unit for snapshot comparison
tree
|
commitdiff
2012-06-13
Marion Guthmuller
model-checker : unused variables deleted
tree
|
commitdiff
2012-06-13
Marion Guthmuller
model-checker : remove unnecessary get_memory_map_addr...
tree
|
commitdiff
2012-06-13
Marion Guthmuller
model-checker : update include file
tree
|
commitdiff
2012-06-13
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-13
Marion Guthmuller
model-checker : remove binary name as argument of some...
tree
|
commitdiff
2012-06-13
jbrv
Event generation for probabilist tmgr_trace
tree
|
commitdiff
2012-06-13
Marion Guthmuller
model-checker : print statistics in all cases (property...
tree
|
commitdiff
2012-06-12
Marion Guthmuller
model-checker : comment unused statistics information
tree
|
commitdiff
2012-06-12
Arnaud Giersch
Don't rely on the non-standard on_exit() function.
tree
|
commitdiff
2012-06-12
Arnaud Giersch
Rename functions xbt_dict_hash*() to xbt_str_hash().
tree
|
commitdiff
2012-06-12
Arnaud Giersch
Inline functions without their definitions don't make...
tree
|
commitdiff
2012-06-12
navarro
Remove some debug from execution
tree
|
commitdiff
2012-06-12
navarro
Add disk usage and size parameters for storage.
tree
|
commitdiff
2012-06-12
jbrv
Add a constructor for probabilist tmgr_trace
tree
|
commitdiff
2012-06-12
Martin Quinson
that's perfectly fine to not free that memory on proces...
tree
|
commitdiff
2012-06-12
Marion Guthmuller
model-checker : warnings compilation fixed
tree
|
commitdiff
2012-06-12
Marion Guthmuller
fix merge conflict
tree
|
commitdiff
2012-06-12
Marion Guthmuller
model-checker : fix number and address of blocks in...
tree
|
commitdiff
2012-06-12
Arnaud Giersch
Define variables in C file.
tree
|
commitdiff
2012-06-12
Arnaud Giersch
Declare exported functions in header.
tree
|
commitdiff
2012-06-12
Arnaud Giersch
Fix compilation errors about unused or uninitialized...
tree
|
commitdiff
2012-06-12
jbrv
change a function name that I forgot to change
tree
|
commitdiff
2012-06-11
jbrv
Trace manager : add a function to generate values from...
tree
|
commitdiff
2012-06-11
jbrv
Trace manager : Add and change some structures and...
tree
|
commitdiff
2012-06-11
Marion Guthmuller
model-checker : remove useless memcmp in heap compariso...
tree
|
commitdiff
2012-06-11
jbrv
Add a function to copy a RngStream structure
tree
|
commitdiff
2012-06-11
jbrv
Move XBT hash functions to xbt_str.c and make them...
tree
|
commitdiff
2012-06-11
Stephane Genaud
gcc defines __APPLE__, use this instead APPLE
tree
|
commitdiff
2012-06-09
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-09
Marion Guthmuller
model-checker : heap comparison algorithm rewrited
tree
|
commitdiff
2012-06-08
jbrv
Add new functions to support different sources of avaib...
tree
|
commitdiff
2012-06-08
jbrv
Modify structures to support different sources of avaib...
tree
|
commitdiff
2012-06-08
suter
First step to move trace replay from MSG towards SMPI
tree
|
commitdiff
2012-06-08
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-07
schnorr
[trace] paje file format has evolved with a new event...
tree
|
commitdiff
2012-06-07
pierre
Hack to compile smpi on Mac (but need to fix;)
tree
|
commitdiff
2012-06-06
Marion Guthmuller
typos in message of backtrace display (where malloced...
tree
|
commitdiff
2012-06-06
schnorr
[trace] viva graph configuration (same as for triva...
tree
|
commitdiff
2012-06-06
schnorr
[trace] launch an exception if user provided an unknown...
tree
|
commitdiff
2012-06-05
Christophe Thiéry
The usual typo.
tree
|
commitdiff
2012-06-05
Martin Quinson
avoid double free issues when on host failure+process run
tree
|
commitdiff
2012-06-05
Martin Quinson
Bug fixes around the resource failures in Simix
tree
|
commitdiff
next