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
Break loop here.
[simgrid.git]
/
src
/
include
/
2012-07-05
navarro
Add two new tag for routing cluster (only):
tree
|
commitdiff
2012-07-03
navarro
lmm_solve cache cleaning
tree
|
commitdiff
2012-06-29
Marion Guthmuller
model-checker : tests for snapshot comparison
tree
|
commitdiff
2012-06-28
navarro
Create a dict with all hosts with state SURF_RESOURCE_O...
tree
|
commitdiff
2012-06-21
navarro
Put double instead of size_t.
tree
|
commitdiff
2012-06-21
Martin Quinson
Cleanups in the --cfg options regarding model-checking
tree
|
commitdiff
2012-06-21
Martin Quinson
Various cleanups to the model-checking user interface
tree
|
commitdiff
2012-06-21
jean-noel quintin
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2012-06-21
Marion Guthmuller
model-checker : factorization of code for model-checkin...
tree
|
commitdiff
2012-06-20
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
navarro
Put the different model in the dtd. Permit the xml...
tree
|
commitdiff
2012-06-20
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
Arnaud Giersch
Include "xbt/RngStream.h", and avoid duplicate definiti...
tree
|
commitdiff
2012-06-20
suter
Solve white space conflicts
tree
|
commitdiff
2012-06-20
Martin Quinson
sed -i -e 's/\t/ /g' *.[ch] Please people, stop using...
tree
|
commitdiff
2012-06-19
jbrv
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-19
jbrv
Make rngStream management functions in platform more...
tree
|
commitdiff
2012-06-18
navarro
Add 'content' priority for storage and then storage_type
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : fix std_heap address for heap compariso...
tree
|
commitdiff
2012-06-13
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-13
navarro
Change the file API, remove the mount point in each...
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-08
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
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-05-23
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-05-22
navarro
Merge ... cpu_update_actions_state_full and net_update_...
tree
|
commitdiff
2012-05-22
Frederic Suter
the "amount" field leads to weird behaviors when dealin...
tree
|
commitdiff
2012-05-14
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-05-14
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-05-14
Arnaud Giersch
Remove old cruft.
tree
|
commitdiff
2012-05-13
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-05-13
Martin Quinson
make xbt_os_thread module public (Java needs it, at...
tree
|
commitdiff
2012-05-13
Martin Quinson
ensure that this header can be made public by relying...
tree
|
commitdiff
2012-05-10
navarro
Merge cpu and network for action functions.
tree
|
commitdiff
2012-05-10
navarro
Put those variables private
tree
|
commitdiff
2012-05-10
navarro
Prepare network.c and cpu_cas01.c for net and cpu merge.
tree
|
commitdiff
2012-05-03
navarro
Revisit lazy_remaining_update that was completely broken.
tree
|
commitdiff
2012-05-03
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-04-28
Martin Quinson
I forgot to update my tree before commiting (once again...
tree
|
commitdiff
2012-04-27
Martin Quinson
Merge all public simix headers, and distribute them...
tree
|
commitdiff
2012-04-22
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-04-20
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-04-09
Martin Quinson
[routing] rename routing_global_t -> routing_platf_t...
tree
|
commitdiff
2012-04-09
Martin Quinson
[route parsing] make surf_network_resource_by_name...
tree
|
commitdiff
2012-04-09
Martin Quinson
[route parsing] rename network_element_t into sg_routin...
tree
|
commitdiff
2012-04-03
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-04-03
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-04-03
navarro
Implement file stat for storage model.
tree
|
commitdiff
2012-04-03
navarro
Return result on SIMIX_post_io
tree
|
commitdiff
2012-04-03
navarro
Reorganize storage structures (msg, smx and surf) and...
tree
|
commitdiff
2012-04-03
navarro
Make smx_file_t, surf_file_t and msg_file_t
tree
|
commitdiff
2012-04-02
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-04-02
Arnaud Giersch
Fix doxygen comments.
tree
|
commitdiff
2012-03-30
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-03-29
schnorr
function to get the weight of a constraint of a lmm...
tree
|
commitdiff
2012-03-27
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-03-27
navarro
Fix surf_storage execution
tree
|
commitdiff
2012-03-26
navarro
First step to return value on storage model.
tree
|
commitdiff
2012-03-26
navarro
Remove surf_file_t and smx_file_t for only m_file_t
tree
|
commitdiff
2012-03-23
Arnaud Giersch
Use type network_element_t instead of void*, and avoid...
tree
|
commitdiff
2012-03-23
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-03-22
navarro
First step to take care of constraint into storage...
tree
|
commitdiff
2012-03-22
navarro
Implement xbt_dict_t content for storage model
tree
|
commitdiff
2012-03-16
navarro
Now call communicate and get_route with void* and not...
tree
|
commitdiff
2012-03-07
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-03-07
schnorr
[ns3] there is no reason why this ns3-only parsing...
tree
|
commitdiff
2012-03-06
schnorr
fix prototype declaration for gtnets compilation
tree
|
commitdiff
2012-03-06
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-03-05
Arnaud Legrand
Enable generic_lmm_action to be lazily updated by refac...
tree
|
commitdiff
2012-03-05
navarro
Fix mem leack and factorize code.
tree
|
commitdiff
2012-03-05
Arnaud Legrand
Move this enum to a public place for future usage by...
tree
|
commitdiff
2012-03-05
Arnaud Legrand
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-03-02
navarro
Add storage to functions
tree
|
commitdiff
2012-03-01
navarro
Save information from routing corresponding to storage.
tree
|
commitdiff
2012-02-29
navarro
New way to use storage. See storage.xml
tree
|
commitdiff
2012-02-28
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-02-27
navarro
Add model storage to surf and add a tag storage to...
tree
|
commitdiff
2012-02-21
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-02-21
Arnaud Giersch
Fix type name and parsing for random generator.
tree
|
commitdiff
2012-02-21
Arnaud Giersch
Try to avoid to mix enum with anything else.
tree
|
commitdiff
2012-02-21
Arnaud Giersch
Remove trailing commas in enum declarations.
tree
|
commitdiff
2012-02-21
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-02-21
navarro
First step to create model storage.
tree
|
commitdiff
2012-02-21
navarro
Add function read write open close and stat to workstat...
tree
|
commitdiff
2012-02-08
Arnaud Giersch
Those are already declared in ./include/simgrid/modelch...
tree
|
commitdiff
2012-02-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-02-08
Martin Quinson
kill duplicate definitions, and try to ensure that...
tree
|
commitdiff
2012-02-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-02-07
Arnaud Giersch
Remove bogus inline declarations in private interface.
tree
|
commitdiff
2012-01-30
Marion Guthmuller
model-checker : merge conflict resolved
tree
|
commitdiff
2012-01-30
Martin Quinson
add proper copyright headers to the MC files
tree
|
commitdiff
2012-01-30
Marion Guthmuller
merge conflict resolved
tree
|
commitdiff
2012-01-27
Martin Quinson
add a function xbt_os_get_numcores()
tree
|
commitdiff
2012-01-20
Christophe Thiéry
Surf: allow to call share_resources in parallel (never...
tree
|
commitdiff
2012-01-16
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-01-13
Marion Guthmuller
Merge branch 'MC_LTL'
tree
|
commitdiff
2012-01-13
Marion Guthmuller
model-checker : new function MC_diff to display all...
tree
|
commitdiff
2012-01-13
Martin Quinson
Merge branch 'MC_LTL'
tree
|
commitdiff
next