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 : simplify algorithm for the verification of liveness properties
[simgrid.git]
/
include
/
msg
/
msg.h
2013-04-15
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
2013-03-27
Martin Quinson
fix for windows -- not sure if it's still mandatory...
blob
|
commitdiff
|
raw
2013-02-14
Jonathan Rouzaud...
Remove commented code from surf_routing_cluster
blob
|
commitdiff
|
raw
|
diff to current
2013-02-13
Augustin Degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-12
Arnaud Giersch
Add missing declaration.
blob
|
commitdiff
|
raw
|
diff to current
2013-02-12
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-12
Jonathan Rouzaud...
Bounded receive
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Arnaud Giersch
Merge branch 'v3_9_x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-30
Arnaud Giersch
Incorporate simgrid-java in simgrid-java/.
blob
|
commitdiff
|
raw
|
diff to current
2013-01-30
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-30
Arnaud Giersch
Merge branch 'v3_9_x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-30
Arnaud Giersch
Merge remote-tracking branch 'github/master'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-30
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-30
Arnaud Giersch
Merge branch 'v3_9_x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-30
Jonathan Rouzaud...
Add MSG_task_set_data_size function
blob
|
commitdiff
|
raw
|
diff to current
2013-01-30
Arnaud Giersch
Merge branch 'v3_9_x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-29
Arnaud Giersch
Merge branch 'v3_9_x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-29
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-29
Jonathan Rouzaud...
Add dsend_bounded send_with_timeout_bounded
blob
|
commitdiff
|
raw
|
diff to current
2013-01-29
Arnaud Giersch
Merge branch 'v3_9_x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-29
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-29
Jonathan Rouzaud...
Add MSG_task_isend_bounded
blob
|
commitdiff
|
raw
|
diff to current
2013-01-23
Paul Bédaride
Remove MSG_load_platform_script and SD_load_environment...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-21
Paul Bédaride
All hosts types fusion to xbt_dictelm_t
blob
|
commitdiff
|
raw
|
diff to current
2013-01-17
Arnaud Giersch
Merge branch 'master' into vmtrace
blob
|
commitdiff
|
raw
|
diff to current
2013-01-17
Arnaud Giersch
Merge branch 'vmtrace' again (don't try to undersatand...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-17
Arnaud Giersch
Merge branch 'master' into vmtrace
blob
|
commitdiff
|
raw
|
diff to current
2013-01-16
Jonathan Rouzaud...
Merge branch 'vmtrace'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-16
Jonathan Rouzaud...
Trying to fix modification with new master branch
blob
|
commitdiff
|
raw
|
diff to current
2013-01-16
Jonathan Rouzaud...
Merge with master
blob
|
commitdiff
|
raw
|
diff to current
2012-12-21
Paul Bédaride
Revert "make MSG_comm_waitany use dynar"
blob
|
commitdiff
|
raw
|
diff to current
2012-12-20
Paul Bédaride
make MSG_comm_waitany use dynar
blob
|
commitdiff
|
raw
|
diff to current
2012-12-20
Martin Quinson
make MSG_config public, document it, and implement...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-27
Jonathan Rouzaud...
update
blob
|
commitdiff
|
raw
|
diff to current
2012-11-27
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-14
Martin Quinson
New function: MSG_get_process_number()
blob
|
commitdiff
|
raw
|
diff to current
2012-10-27
Arnaud Giersch
Merge branch 'v3_8_x'
blob
|
commitdiff
|
raw
|
diff to current
2012-10-27
Arnaud Giersch
Merge branch 'v3_8_x'
blob
|
commitdiff
|
raw
|
diff to current
2012-10-25
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-25
navarro
Tranform extern for XBT_PUBLIC
blob
|
commitdiff
|
raw
|
diff to current
2012-10-24
alebre
Merge branch 'master' into vmtrace
blob
|
commitdiff
|
raw
|
diff to current
2012-10-12
navarro
First steps for making a tutorial on How to create...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-03
jean-noel quintin
Merge remote-tracking branch 'origin/master'
blob
|
commitdiff
|
raw
|
diff to current
2012-10-02
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-02
Martin Quinson
Deprecate MSG_clean
blob
|
commitdiff
|
raw
|
diff to current
2012-10-01
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-27
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-27
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-27
Jonathan Rouzaud...
Merge conflicts in instr_routing.c
blob
|
commitdiff
|
raw
|
diff to current
2012-09-18
suter
Doesn't see why MSG_get_host_number should be deprecated.
blob
|
commitdiff
|
raw
|
diff to current
2012-09-11
navarro
Add a function ls to storage
blob
|
commitdiff
|
raw
|
diff to current
2012-09-06
navarro
Add 3 msg functions to get and modify property of an...
blob
|
commitdiff
|
raw
|
diff to current
2012-08-09
Jonathan Rouzaud...
Modify Trace for msg_vm_t
blob
|
commitdiff
|
raw
|
diff to current
2012-08-08
Augustin Degomme
Add a MSG_mailbox_set_async function to allow to set...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-31
navarro
Add function to unlink a file.
blob
|
commitdiff
|
raw
|
diff to current
2012-07-31
navarro
Fix memory leak
blob
|
commitdiff
|
raw
|
diff to current
2012-07-04
Samuel Lepetit
Add MSG_vm_reboot
blob
|
commitdiff
|
raw
|
diff to current
2012-07-04
Samuel Lepetit
Return the new process in SIMIX_process_restart, simcal...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-04
Samuel Lepetit
Fix SIMIX_process_kill(SIMIX_process_self()); issue...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-02
Arnaud Giersch
Move compatibility typedefs in section MSG_USE_DEPRECATED.
blob
|
commitdiff
|
raw
|
diff to current
2012-06-29
Samuel Lepetit
Use msg_error_t instead of MSG_error_t
blob
|
commitdiff
|
raw
|
diff to current
2012-06-29
Samuel Lepetit
Use msg_gpu_task_t instead of m_gpu_task_t
blob
|
commitdiff
|
raw
|
diff to current
2012-06-29
Samuel Lepetit
Use msg_task_t instead of m_task_t
blob
|
commitdiff
|
raw
|
diff to current
2012-06-29
Samuel Lepetit
Use msg_host_t instead of m_host_t.
blob
|
commitdiff
|
raw
|
diff to current
2012-06-29
Samuel Lepetit
Use msg_process_t instead of m_process_t
blob
|
commitdiff
|
raw
|
diff to current
2012-06-27
Samuel Lepetit
First bricks for auto_restart support in SIMIX/MSG.
blob
|
commitdiff
|
raw
|
diff to current
2012-06-22
navarro
Need to have a double because the result should not...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-21
Martin Quinson
Cleanups in the --cfg options regarding model-checking
blob
|
commitdiff
|
raw
|
diff to current
2012-06-21
Martin Quinson
Various cleanups to the model-checking user interface
blob
|
commitdiff
|
raw
|
diff to current
2012-06-21
jean-noel quintin
Merge remote-tracking branch 'origin/master'
blob
|
commitdiff
|
raw
|
diff to current
2012-06-21
Marion Guthmuller
model-checker : factorization of code for model-checkin...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-21
Martin Quinson
Deprecate functions MSG_global_init() / MSG_global_init...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-21
Samuel Lepetit
Fix commit 825fb3d5095e6cce48885d1d04ab1ec3823dae6c
blob
|
commitdiff
|
raw
|
diff to current
2012-06-20
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-20
Samuel Lepetit
Add on_exit support on SIMIX/MSG, calling functions...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-14
Marion Guthmuller
resolve merge conflict
blob
|
commitdiff
|
raw
|
diff to current
2012-06-14
Samuel Lepetit
Add a MSG_vm_destroy function to free a virtual machine
blob
|
commitdiff
|
raw
|
diff to current
2012-06-13
Martin Quinson
New function: MSG_host_set_property_value()
blob
|
commitdiff
|
raw
|
diff to current
2012-06-13
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-13
navarro
Change the file API, remove the mount point in each...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-13
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-13
Marion Guthmuller
model-checker : remove binary name as argument of some...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-09
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-08
suter
First step to move trace replay from MSG towards SMPI
blob
|
commitdiff
|
raw
|
diff to current
2012-05-30
Samuel Lepetit
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-30
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-29
Martin Quinson
recommit my initial version of cloud stuff for 3.8...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-29
navarro
Remove kill_time from MSG_process_create_with_environment
blob
|
commitdiff
|
raw
|
diff to current
2012-05-29
navarro
Add MSG_process_set_kill_time
blob
|
commitdiff
|
raw
|
diff to current
2012-05-03
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-28
Martin Quinson
I forgot to update my tree before commiting (once again...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-27
Martin Quinson
Merge all public simix headers, and distribute them...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-27
Martin Quinson
Enhance the communication filtering mechanism
blob
|
commitdiff
|
raw
|
diff to current
2012-04-27
navarro
Rewrite the kill_time mecanism.
blob
|
commitdiff
|
raw
|
diff to current
2012-04-20
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-04
Martin Quinson
improve the doc of MSG datatypes (and dispatch them...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-03
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-03
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-03
navarro
Implement file stat for storage model.
blob
|
commitdiff
|
raw
|
diff to current
2012-04-03
navarro
Make smx_file_t, surf_file_t and msg_file_t
blob
|
commitdiff
|
raw
|
diff to current
next