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, tab forgotten
[simgrid.git]
/
include
/
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
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
suter
Solve white space conflicts
tree
|
commitdiff
2012-06-20
suter
add a new type of typed task to represent a MxN data...
tree
|
commitdiff
2012-06-20
jbrv
Probabilist trace generator : variable names changed
tree
|
commitdiff
2012-06-20
Martin Quinson
sed -i -e 's/\t/ /g' *.[ch] Please people, stop using...
tree
|
commitdiff
2012-06-19
Martin Quinson
typo (and copyright dates on the way)
tree
|
commitdiff
2012-06-19
lbobelin
Initial commit for split doc (in order to let Pierre...
tree
|
commitdiff
2012-06-19
Samuel Lepetit
Typo
tree
|
commitdiff
2012-06-18
navarro
Add 'content' priority for storage and then storage_type
tree
|
commitdiff
2012-06-15
Arnaud Giersch
Fix includes in surfxml_parse.h
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
Samuel Lepetit
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-14
suter
add a SD_task_set_rate function
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Add a MSG_vm_destroy function to free a virtual machine
tree
|
commitdiff
2012-06-14
Arnaud Giersch
__GNUC__ is already defined at this place.
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : add header (description, copyright...
tree
|
commitdiff
2012-06-14
schnorr
[trace] re-write of trace mark API, need to declare...
tree
|
commitdiff
2012-06-14
Arnaud Giersch
Add a defined(__GNUC__), and rework expression.
tree
|
commitdiff
2012-06-14
Martin Quinson
speak nicely to old gcc versions
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
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
Marion Guthmuller
model-checker : remove unused argument in functions...
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-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
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
fix merge conflict
tree
|
commitdiff
2012-06-12
Arnaud Giersch
Use XBT_PUBLIC for exported functions.
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-11
jbrv
Trace manager : Add and change some structures and...
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-09
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
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-04
Arnaud Giersch
Declare as "unsigned" bit fields used as boolean.
tree
|
commitdiff
2012-06-02
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-01
unknown
Functions RngStream must be XBT_PUBLIC for dll
tree
|
commitdiff
2012-06-01
unknown
Cosmetics
tree
|
commitdiff
2012-06-01
unknown
Fix compilation on Windows with pthread.
tree
|
commitdiff
2012-05-30
navarro
Don't change doxygen typo for \dontinclude
tree
|
commitdiff
2012-05-30
Samuel Lepetit
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-05-30
Samuel Lepetit
Move RngStream to xbt (public)
tree
|
commitdiff
2012-05-30
navarro
Some typos in source code
tree
|
commitdiff
2012-05-30
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-05-29
Martin Quinson
recommit my initial version of cloud stuff for 3.8...
tree
|
commitdiff
2012-05-29
navarro
Remove kill_time from MSG_process_create_with_environment
tree
|
commitdiff
2012-05-29
navarro
Add MSG_process_set_kill_time
tree
|
commitdiff
2012-05-25
navarro
Add documentation for xbt_dict_foreach
tree
|
commitdiff
2012-05-24
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-05-23
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-05-23
Arnaud Giersch
Cannot use a variable defined on command line here.
tree
|
commitdiff
2012-05-23
suter
add a SD_workstation_dump function (not tested yet)
tree
|
commitdiff
2012-05-23
Arnaud Giersch
Apparently, constructor priorities are not supported...
tree
|
commitdiff
2012-05-22
Frederic Suter
Add a new type of typed task that we may be able to...
tree
|
commitdiff
2012-05-21
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-05-21
Marion Guthmuller
model-checker : get location of pointed address in...
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-10
Martin Quinson
new function xbt_dynar_search_or_negative()
tree
|
commitdiff
2012-05-03
Samuel Lepetit
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-05-03
Marion Guthmuller
add SIMIX_host_get/set_data declaration in simix.h...
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
Remove the public field msg_host_t->name. Use MSG_host_...
tree
|
commitdiff
2012-04-27
Martin Quinson
simplify msg_host_t by inlining the simdata field
tree
|
commitdiff
2012-04-27
Martin Quinson
save one pointer per MSG host
tree
|
commitdiff
2012-04-27
Martin Quinson
Merge all public simix headers, and distribute them...
tree
|
commitdiff
2012-04-27
Martin Quinson
Enhance the communication filtering mechanism
tree
|
commitdiff
2012-04-27
navarro
Rewrite the kill_time mecanism.
tree
|
commitdiff
2012-04-27
Arnaud Giersch
Allow user defined format for XBT_IN() and XBT_HERE...
tree
|
commitdiff
2012-04-26
Samuel Lepetit
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-04-25
Arnaud Legrand
Add a convenient dynar function to sort the dynar using...
tree
|
commitdiff
2012-04-25
schnorr
[trace] let user code declare/set/push/pop states for...
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-20
Arnaud Giersch
Add a --verbose option for testall.
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-09
Martin Quinson
[route parsing] kill global_routing->size_of_link
tree
|
commitdiff
2012-04-05
schnorr
[trace] functions needed to create graph configuration...
tree
|
commitdiff
2012-04-05
schnorr
[trace] let code compile without tracing
tree
|
commitdiff
2012-04-05
schnorr
[trace] functions to get already declared user host...
tree
|
commitdiff
2012-04-05
schnorr
[trace] new function to get the declared marks
tree
|
commitdiff
2012-04-05
schnorr
[trace] new public function to get declared categories
tree
|
commitdiff
2012-04-04
navarro
Implement bypassRoute and bypassASroute. Add an example.
tree
|
commitdiff
next