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 : fix SIMCALL_MUTEX_LOCK with MC
[simgrid.git]
/
src
/
2015-02-25
Marion Guthmuller
model-checker : fix SIMCALL_MUTEX_LOCK with MC
tree
|
commitdiff
2015-02-24
Marion Guthmuller
model-checker : extend comm determinism verification
tree
|
commitdiff
2015-02-24
Marion Guthmuller
model-checker : non-progressive cycle detection (enable...
tree
|
commitdiff
2015-02-23
Martin Quinson
fix the formating of the energy plugin's documentation...
tree
|
commitdiff
2015-02-23
Martin Quinson
some more documentation to the energy plugin
tree
|
commitdiff
2015-02-22
Martin Quinson
cosmetics
tree
|
commitdiff
2015-02-22
Martin Quinson
SMPI: info message when the collective algorithm is...
tree
|
commitdiff
2015-02-18
Arnaud Legrand
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2015-02-18
Arnaud Legrand
Improve error message
tree
|
commitdiff
2015-02-17
Arnaud Giersch
Replace remaining smx_action by smx_synchro.
tree
|
commitdiff
2015-02-16
Martin Quinson
Have smpirun, smpicc and friends display the simgrid...
tree
|
commitdiff
2015-02-16
Martin Quinson
make smpirun guess the hostfile for cluster tags too
tree
|
commitdiff
2015-02-13
Marion Guthmuller
model-checker : include tag in comm determinism verific...
tree
|
commitdiff
2015-02-10
Marion Guthmuller
model-checker : intermediate backtracking enabled if...
tree
|
commitdiff
2015-02-10
Marion Guthmuller
model-checker : memory leak
tree
|
commitdiff
2015-02-09
Marion Guthmuller
model-checker : cosmetics
tree
|
commitdiff
2015-02-09
Marion Guthmuller
model-checker : non-recursive liveness algorithm
tree
|
commitdiff
2015-02-09
Marion Guthmuller
model-checker : intermediate backtracking with model...
tree
|
commitdiff
2015-02-09
Marion Guthmuller
model-checker : communications determinism with visited...
tree
|
commitdiff
2015-02-03
Martin Quinson
New property: watt_off to denote the disipation when...
tree
|
commitdiff
2015-02-03
Martin Quinson
partially fix the energy public API (massive renames...
tree
|
commitdiff
2015-02-03
Martin Quinson
Fix energy plugin wrt idle time
tree
|
commitdiff
2015-01-26
Martin Quinson
rename the property used by the energy plugin for clarity
tree
|
commitdiff
2015-01-26
Martin Quinson
oops, remove verbose debug output
tree
|
commitdiff
2015-01-26
Martin Quinson
even more informative error message
tree
|
commitdiff
2015-01-25
Martin Quinson
more informative (?) error message
tree
|
commitdiff
2015-01-25
Martin Quinson
properly pass the cluster's properties to the created...
tree
|
commitdiff
2015-01-25
Martin Quinson
more informative error message in some obscure error...
tree
|
commitdiff
2015-01-25
Martin Quinson
cosmetics in comments
tree
|
commitdiff
2015-01-22
Christian Heinrich
Modified error messages when creating CPUs for more...
tree
|
commitdiff
2015-01-20
suter
more verbose output following a weird crash on my laptop
tree
|
commitdiff
2015-01-06
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-01-05
Augustin Degomme
avoid breaking with recent freebsd that implement this...
tree
|
commitdiff
2014-12-22
Martin Quinson
Ensure that MSG_host_self() works from maestro context
tree
|
commitdiff
2014-12-12
Augustin Degomme
doc update for new appenders
tree
|
commitdiff
2014-12-12
Augustin Degomme
Patch by F.Chaix : add two "new" log appender methods...
tree
|
commitdiff
2014-12-12
Martin Quinson
more documentation about the simcall mechanism
tree
|
commitdiff
2014-12-10
Augustin Degomme
(try to) avoid looping forever, temporarily.
tree
|
commitdiff
2014-12-10
Augustin Degomme
Fix windows build (this is now used from the java library)
tree
|
commitdiff
2014-12-10
Marion Guthmuller
fix dot output with file descriptor checkpoint/restore
tree
|
commitdiff
2014-12-09
Augustin Degomme
Fix build
tree
|
commitdiff
2014-12-09
Gabriel Corona
[mc] Remove redundant typedefs
tree
|
commitdiff
2014-12-08
degomme
bashism -- (fix https://bugs.debian.org/cgi-bin/bugrepo...
tree
|
commitdiff
2014-12-08
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-12-08
Christian Heinrich
Fixed return values for several MPI_WIN functions
tree
|
commitdiff
2014-12-08
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-12-08
Adrien Lebre
Few temporary debug messages - adrien
tree
|
commitdiff
2014-12-06
Augustin Degomme
Add a mutex to lock access to the SMPI mailboxes when...
tree
|
commitdiff
2014-12-06
Augustin Degomme
Revert "Avoid using simcalls here, as by descheduling...
tree
|
commitdiff
2014-12-05
Augustin Degomme
Add MPI_Win_post, MPI_Win_start, MPI_Win_complete,...
tree
|
commitdiff
2014-12-04
Gabriel Corona
[mc] Don't include libunwind.h in non MC builds
tree
|
commitdiff
2014-12-04
Gabriel Corona
Merge branch 'master'
tree
|
commitdiff
2014-12-04
Gabriel Corona
[mc] Don't use unprototyped functions
tree
|
commitdiff
2014-12-04
Gabriel Corona
[mc] Remove useless header #includes
tree
|
commitdiff
2014-12-02
Augustin Degomme
forgot to add this include
tree
|
commitdiff
2014-12-02
Augustin Degomme
let's try to please windows
tree
|
commitdiff
2014-12-02
Augustin Degomme
Avoid using simcalls here, as by descheduling the proce...
tree
|
commitdiff
2014-12-02
Augustin Degomme
typos-=2
tree
|
commitdiff
2014-12-02
Augustin Degomme
avoid problem when freeing pointer with lb!=0
tree
|
commitdiff
2014-12-02
Augustin Degomme
do the same thing as before with IB model parameters
tree
|
commitdiff
2014-12-02
Gabriel Corona
[mc] Modularise header files for MC
tree
|
commitdiff
2014-12-02
Gabriel Corona
[mc] Define a type for MC object information flags
tree
|
commitdiff
2014-12-01
Gabriel Corona
[mc] Remove MC_ignore_global_variable() calls
tree
|
commitdiff
2014-12-01
Gabriel Corona
[mc] Enable MC specific behaviour in replay mode
tree
|
commitdiff
2014-12-01
Gabriel Corona
Revert "[mc] Enable MC specific behaviour in replay...
tree
|
commitdiff
2014-12-01
Gabriel Corona
[mc] Enable MC specific behaviour in replay mode
tree
|
commitdiff
2014-12-01
Gabriel Corona
[mc] Remove useless condition check
tree
|
commitdiff
2014-12-01
Gabriel Corona
Use pthread mutex instead of semaphore in mm
tree
|
commitdiff
2014-12-01
Gabriel Corona
s/formated/formatted/
tree
|
commitdiff
2014-12-01
Gabriel Corona
[mc] Initial support MC record/replay
tree
|
commitdiff
2014-12-01
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-11-29
Martin Quinson
fix the build of java bundles, sorry
tree
|
commitdiff
2014-11-29
Martin Quinson
reindent and improve displayed message
tree
|
commitdiff
2014-11-29
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-11-28
Augustin Degomme
move smpi bandwidth and latency factors out of the...
tree
|
commitdiff
2014-11-28
Adrien Lebre
merge msg_vm.c - adrien (please note that there is...
tree
|
commitdiff
2014-11-28
Augustin Degomme
Remove warnings in vm
tree
|
commitdiff
2014-11-28
Augustin Degomme
remove potential bug / clang warning
tree
|
commitdiff
2014-11-27
Takahiro Hirofuchi
support timeout of migration
tree
|
commitdiff
2014-11-27
Takahiro Hirofuchi
fix indent in migration code
tree
|
commitdiff
2014-11-27
Takahiro Hirofuchi
remove unnecessary comment out
tree
|
commitdiff
2014-11-27
Takahiro Hirofuchi
remove the unnecessary vm object in migration
tree
|
commitdiff
2014-11-27
Takahiro Hirofuchi
remove unused code in migration
tree
|
commitdiff
2014-11-27
Takahiro Hirofuchi
remove trailing space in the migration code
tree
|
commitdiff
2014-11-27
Takahiro Hirofuchi
remove unused migration code for CPU overheads
tree
|
commitdiff
2014-11-21
Gabriel Corona
Merge branch 'xp'
tree
|
commitdiff
2014-11-21
Gabriel Corona
Revert "Temporarily disable an option"
tree
|
commitdiff
2014-11-21
gabriel corona
Temporarily disable an option
tree
|
commitdiff
2014-11-18
Gabriel Corona
Infrastructure for statically defined tracepoints
tree
|
commitdiff
2014-11-18
Gabriel Corona
[mc] Remove reference to DW_TAG_mutable_type:
tree
|
commitdiff
2014-11-18
Martin Quinson
typo -= 2
tree
|
commitdiff
2014-11-18
degomme
protect these calls to smpi_datatype_size as they are...
tree
|
commitdiff
2014-11-17
degomme
Fix problem with unknown datatypes in replay/tracing.
tree
|
commitdiff
2014-11-17
degomme
There should not be msg datatypes here
tree
|
commitdiff
2014-11-17
Gabriel Corona
[mm] Disable HAVE_GNU_LD code in order to get rid of...
tree
|
commitdiff
2014-11-13
Gabriel Corona
Remove warning about uninitialized variable
tree
|
commitdiff
2014-11-13
Gabriel Corona
Don't use xbt_os_time() when not needed
tree
|
commitdiff
2014-11-13
Gabriel Corona
Fix small leak in NetworkIBModel::NetworkIBMode()
tree
|
commitdiff
2014-11-13
Gabriel Corona
[mc] Disable timer in MC
tree
|
commitdiff
2014-11-07
Gabriel Corona
[mc] Add useless parends to remove WTF warning-which...
tree
|
commitdiff
next