A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
simgrid.git
2015-05-04
Gabriel Corona
[mc] Fix mmalloc with fortran
commit
|
commitdiff
|
tree
|
snapshot
2015-05-04
Gabriel Corona
[mc] Fixed the compilation on non-MC build
commit
|
commitdiff
|
tree
|
snapshot
2015-05-04
Gabriel Corona
[mc] Fix the umpire tesh files
commit
|
commitdiff
|
tree
|
snapshot
2015-05-04
Gabriel Corona
[mc] Fix segfault in MC_request_is_enabled() executed...
commit
|
commitdiff
|
tree
|
snapshot
2015-05-04
Gabriel Corona
[mc] Fix umpire tests invocations (call simgrid-mc)
commit
|
commitdiff
|
tree
|
snapshot
2015-04-30
Christian Heinrich
Added include_path and dependencies for FreeBSD < 10.0
commit
|
commitdiff
|
tree
|
snapshot
2015-04-30
Christian Heinrich
Added reference link to comment in MakeLib.cmake
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Christian Heinrich
Fixed exception tests
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Christian Heinrich
Fixed typo in sg_config.c
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Gabriel Corona
[xbt] Add unit test got xbt_dict with arbitrary (not...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Gabriel Corona
Disable a test which only works on one computer
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Gabriel Corona
[smpi] Better implementation of predefined attributes
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Gabriel Corona
Sync the Fortran value of MPI_ERR_LASTCODE with the...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Christian Heinrich
-Wclobbered will now only be added for GCC.
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Christian Heinrich
Replaced check for GNU compiler with CMAKE variable...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Christian Heinrich
Removed if-statement from CMakeLists.txt
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Gabriel Corona
[mc] Remove the dual heap mc_heap/std_heap
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Gabriel Corona
[mc] Cleanup MC init code (split MCer and MCed init)
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Gabriel Corona
[mc] Move stacks_areas code in mcer_ignore
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Gabriel Corona
[mc] Cleanup mc_ignore/mcer_ignore
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Gabriel Corona
[mc] Move MCer code from mc_ignore.cpp to mcer_ignore.cpp
commit
|
commitdiff
|
tree
|
snapshot
2015-04-28
Gabriel Corona
[mc] Multiple heap removal (partial)
commit
|
commitdiff
|
tree
|
snapshot
2015-04-27
Christian Heinrich
Removed keyword 'register' from files.
commit
|
commitdiff
|
tree
|
snapshot
2015-04-27
Gabriel Corona
[mc] Fix XBT_CONNECT, mc_main is not in libsimgrid.so
commit
|
commitdiff
|
tree
|
snapshot
2015-04-27
Gabriel Corona
[mc] Add missing XBT_CONNECT, move some out of HAVE_MC
commit
|
commitdiff
|
tree
|
snapshot
2015-04-27
Gabriel Corona
Fix EXTRA_DIST
commit
|
commitdiff
|
tree
|
snapshot
2015-04-27
Gabriel Corona
Merge branch 'master' into mc
commit
|
commitdiff
|
tree
|
snapshot
2015-04-26
Martin Quinson
this example needs to forcefully destroy the VMs
commit
|
commitdiff
|
tree
|
snapshot
2015-04-26
Martin Quinson
revamp the start_kill test to greatly improve the coverage
commit
|
commitdiff
|
tree
|
snapshot
2015-04-26
Martin Quinson
Remove the kill_time timer when a process stops (fix...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-26
Martin Quinson
new function: remove a given element of the xbt_heap
commit
|
commitdiff
|
tree
|
snapshot
2015-04-26
Martin Quinson
more consistant identifier names around Java objects...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-25
Martin Quinson
Actually allows the GC to reclaim tasks (fix #18874)
commit
|
commitdiff
|
tree
|
snapshot
2015-04-23
Marion Guthmuller
model-checker : declare variable at the right place
commit
|
commitdiff
|
tree
|
snapshot
2015-04-23
Marion Guthmuller
model-checker : unused variable
commit
|
commitdiff
|
tree
|
snapshot
2015-04-23
Marion Guthmuller
model-checker : uninitialized variables
commit
|
commitdiff
|
tree
|
snapshot
2015-04-23
Marion Guthmuller
model-checker : missing header
commit
|
commitdiff
|
tree
|
snapshot
2015-04-23
Marion Guthmuller
model-checker : really fix mc dependancies with MC...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-23
Marion Guthmuller
model-checker : fix dependancies without MC
commit
|
commitdiff
|
tree
|
snapshot
2015-04-17
Gabriel Corona
[mc] Do not execute MCer code in MCed mode in MC_remove...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-17
Gabriel Corona
[mc] Add missing copyright notices (and update)
commit
|
commitdiff
|
tree
|
snapshot
2015-04-17
Gabriel Corona
[mc] C++ class PageStore
commit
|
commitdiff
|
tree
|
snapshot
2015-04-17
Gabriel Corona
[mc] C++ class ModelChecker
commit
|
commitdiff
|
tree
|
snapshot
2015-04-17
Gabriel Corona
[mc] Remove mc_interface.h
commit
|
commitdiff
|
tree
|
snapshot
2015-04-17
Gabriel Corona
[mc] Remove soft dirty page tracking
commit
|
commitdiff
|
tree
|
snapshot
2015-04-17
Gabriel Corona
[mc] Remove standalone mode and remove MC_do_the_modelc...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-16
Gabriel Corona
[mc] Remove mc_set.cpp
commit
|
commitdiff
|
tree
|
snapshot
2015-04-16
Gabriel Corona
[mc] Switch to C++
commit
|
commitdiff
|
tree
|
snapshot
2015-04-14
Gabriel Corona
Merge branch 'master' into mc-process
commit
|
commitdiff
|
tree
|
snapshot
2015-04-14
Gabriel Corona
Merge branch 'master' into mc-process
commit
|
commitdiff
|
tree
|
snapshot
2015-04-14
Gabriel Corona
[mc] Fix comm_determinism to work in split MCer/MCed
commit
|
commitdiff
|
tree
|
snapshot
2015-04-13
Christian Heinrich
Elaborated on error messages in src/msg/msg_process.c
commit
|
commitdiff
|
tree
|
snapshot
2015-04-13
Gabriel Corona
[mc] Fix MCed event/message loop
commit
|
commitdiff
|
tree
|
snapshot
2015-04-10
Gabriel Corona
[mc] Kill the MCed process if/when the MCer dies
commit
|
commitdiff
|
tree
|
snapshot
2015-04-10
Gabriel Corona
[mc] DRY MC_do_the_modelcheck_for_real()
commit
|
commitdiff
|
tree
|
snapshot
2015-04-09
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-09
Martin Quinson
tiny doc improvement
commit
|
commitdiff
|
tree
|
snapshot
2015-04-09
Martin Quinson
provide placeholder headers to not disturb the users
commit
|
commitdiff
|
tree
|
snapshot
2015-04-09
Gabriel Corona
[mc] Move comm determinism code in mc_comm_determinism.c
commit
|
commitdiff
|
tree
|
snapshot
2015-04-09
Gabriel Corona
[mc] Move liveness in MCer process
commit
|
commitdiff
|
tree
|
snapshot
2015-04-08
Christian Heinrich
SMPI: Fixed wrong value for MPI_ERR_LASTCODE.
commit
|
commitdiff
|
tree
|
snapshot
2015-04-08
Christian Heinrich
SMPI: More errorclasses: Added all errorclasses from...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-08
Arnaud Legrand
This tesh file was actually wrong. This is fixed by...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-08
Arnaud Legrand
document this test as broken
commit
|
commitdiff
|
tree
|
snapshot
2015-04-08
Arnaud Legrand
Cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2015-04-08
Arnaud Legrand
Integrate this exception example to the standard set...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-08
Arnaud Legrand
Making the exception/exception test work:
commit
|
commitdiff
|
tree
|
snapshot
2015-04-08
Arnaud Legrand
Adding debug messages
commit
|
commitdiff
|
tree
|
snapshot
2015-04-08
Arnaud Legrand
Make a more complex example that tests more combination...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-08
Adrien Lebre
Merge before commiting VM changes - Adrien
commit
|
commitdiff
|
tree
|
snapshot
2015-04-08
Adrien Lebre
Add hosts test before migrating a VM - adrien
commit
|
commitdiff
|
tree
|
snapshot
2015-04-07
Gabriel Corona
[mc] Cleanup safety initialisation code
commit
|
commitdiff
|
tree
|
snapshot
2015-04-07
Gabriel Corona
[mc] Cross-process xbt_swag_size(simix_global->process_...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-07
Gabriel Corona
[mc] Fix safety initialisation code
commit
|
commitdiff
|
tree
|
snapshot
2015-04-05
Martin Quinson
improve Java interface
commit
|
commitdiff
|
tree
|
snapshot
2015-04-05
Martin Quinson
kill unused code: Task.get/setId()
commit
|
commitdiff
|
tree
|
snapshot
2015-04-05
Martin Quinson
reindent the java sources
commit
|
commitdiff
|
tree
|
snapshot
2015-04-05
Martin Quinson
Rename Task.setDataSize() to Task.setBytesAmount()
commit
|
commitdiff
|
tree
|
snapshot
2015-04-05
Martin Quinson
Interface cleanup
commit
|
commitdiff
|
tree
|
snapshot
2015-04-05
Martin Quinson
add the path to jni.h to eclipse config
commit
|
commitdiff
|
tree
|
snapshot
2015-04-05
Martin Quinson
rename parameters to make them unanbigous
commit
|
commitdiff
|
tree
|
snapshot
2015-04-04
Martin Quinson
mv msg/msg.h simgrid/msg.h
commit
|
commitdiff
|
tree
|
snapshot
2015-04-04
Martin Quinson
mv simdag/simdag.h simgrid/simdag.h
commit
|
commitdiff
|
tree
|
snapshot
2015-04-04
Martin Quinson
cleanups and simplifications to our build system
commit
|
commitdiff
|
tree
|
snapshot
2015-04-04
Martin Quinson
rename parameters all around to make their meaning...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-04
Martin Quinson
revalidate teshes
commit
|
commitdiff
|
tree
|
snapshot
2015-04-04
Martin Quinson
Rename Process.currentProcess() to Process.getCurrentPr...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-04
Martin Quinson
cosmetics about excluded tests to ease the writing...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-04
Martin Quinson
no need for that include
commit
|
commitdiff
|
tree
|
snapshot
2015-04-04
Martin Quinson
dont segfault when exiting before everything is allocat...
commit
|
commitdiff
|
tree
|
snapshot
2015-04-04
Martin Quinson
dont mangle error messages when surf_exit segfaults
commit
|
commitdiff
|
tree
|
snapshot
2015-04-03
Gabriel Corona
[mc] Add %rip and %rsp in MC_dump_stacks() for x86_64
commit
|
commitdiff
|
tree
|
snapshot
2015-04-02
Gabriel Corona
[mc] Fix cross process access to xtd_heap in mc_diff.c
commit
|
commitdiff
|
tree
|
snapshot
2015-04-02
Gabriel Corona
[mc] Fix broken mc_snapshot_get_heap_end()
commit
|
commitdiff
|
tree
|
snapshot
2015-04-02
Gabriel Corona
[mc] Bring back snapshot comparison in safety
commit
|
commitdiff
|
tree
|
snapshot
2015-04-02
Gabriel Corona
[mc] Fix cross-process access in MC_request_is_enabled...
commit
|
commitdiff
|
tree
|
snapshot
2015-03-27
Gabriel Corona
[mc] Fix cross-process support in visited_state_new()
commit
|
commitdiff
|
tree
|
snapshot
2015-03-27
Gabriel Corona
[mc] Read context from remote process in MC_take_snapsh...
commit
|
commitdiff
|
tree
|
snapshot
2015-03-26
Gabriel Corona
[mc] Cross-process MC/safety implementation
commit
|
commitdiff
|
tree
|
snapshot
2015-03-26
Gabriel Corona
[mc] Fix buffer size in MC_process_refresh_malloc_info()
commit
|
commitdiff
|
tree
|
snapshot
next