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
2023-11-20
Martin Quinson
Fix a bug in concurrent modif of a collection that...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-20
Martin Quinson
Enable GLIBCXX_DEBUG in maintainer mode
commit
|
commitdiff
|
tree
|
snapshot
2023-11-20
Martin Quinson
Regenerate those files with mpi_isendrecv and mpi_isend...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-20
Martin Quinson
Fix a dead store reported by infer
commit
|
commitdiff
|
tree
|
snapshot
2023-11-19
Martin Quinson
Plug a memleak
commit
|
commitdiff
|
tree
|
snapshot
2023-11-19
Martin Quinson
Add what's missing to obey the deprecation warning...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-19
Martin Quinson
Fix some more doc errors. There is so many of them :(
commit
|
commitdiff
|
tree
|
snapshot
2023-11-19
Martin Quinson
Kill unstandard, untested and dubious ways to use Condi...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-19
Fred Suter
add specifying handling of timeout for MessImpl (none...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-17
Augustin Degomme
add 2 tests for comm
commit
|
commitdiff
|
tree
|
snapshot
2023-11-17
Augustin Degomme
one more test for attr
commit
|
commitdiff
|
tree
|
snapshot
2023-11-17
Augustin Degomme
add one more test
commit
|
commitdiff
|
tree
|
snapshot
2023-11-17
Augustin Degomme
add tests for isendrecv and isendrecv_replace
commit
|
commitdiff
|
tree
|
snapshot
2023-11-17
Augustin Degomme
add new coll tests
commit
|
commitdiff
|
tree
|
snapshot
2023-11-17
Augustin Degomme
implement mpi_isendrecv and mpi_isendrecv_replace
commit
|
commitdiff
|
tree
|
snapshot
2023-11-17
Augustin Degomme
add gatherv test
commit
|
commitdiff
|
tree
|
snapshot
2023-11-17
Augustin Degomme
fix warning in mpich new test
commit
|
commitdiff
|
tree
|
snapshot
2023-11-16
Augustin Degomme
smpi: fix issue with message IDs. In case of persistent...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-16
Augustin Degomme
add some new pt2pt tests from mpich
commit
|
commitdiff
|
tree
|
snapshot
2023-11-16
Martin Quinson
Fix some more doc bugs
commit
|
commitdiff
|
tree
|
snapshot
2023-11-16
Martin Quinson
Document ActivitySet
commit
|
commitdiff
|
tree
|
snapshot
2023-11-16
Martin Quinson
Fix some doxygen errors
commit
|
commitdiff
|
tree
|
snapshot
2023-11-16
Martin Quinson
Deprecate the bindings of a deprecated function
commit
|
commitdiff
|
tree
|
snapshot
2023-11-16
Martin Quinson
Ease the usage of cmake for SMPI programs
commit
|
commitdiff
|
tree
|
snapshot
2023-11-16
Martin Quinson
Another attempt at fixing the Flag2 job of jenkins
commit
|
commitdiff
|
tree
|
snapshot
2023-11-16
Martin Quinson
Jenkins::Flag2: use ninja if avail; verbose builds
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Martin Quinson
Give a way to add binaries to the list that shouldn...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Martin Quinson
stop being a stupidly rushing boar (hopefuly)
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Martin Quinson
Properly pass the LD_PRELOAD as a setenv command in...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Martin Quinson
tesh: allow variable substitutions in setenv cmds,...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Martin Quinson
Rework the doc of model-check/replay, and add an exampl...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Martin Quinson
cut the backtrace displayed from sthread to the sthread...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Martin Quinson
Various doc improvements
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Martin Quinson
Fix Host::execute to use *this as a host location,...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Martin Quinson
typo
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Martin Quinson
Merge branch 'battery-get-name' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Adrien Gougeon
add get_name for batteries. update dag_from_json to...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-15
Martin Quinson
Draft a release
commit
|
commitdiff
|
tree
|
snapshot
2023-11-14
Martin Quinson
Fix an ODR reported by ASan
commit
|
commitdiff
|
tree
|
snapshot
2023-11-14
Martin Quinson
Have create_jbod() return a JbodPtr instead of Jbod...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-14
Martin Quinson
Give a way to C users to not leak activities in activityset
commit
|
commitdiff
|
tree
|
snapshot
2023-11-14
Martin Quinson
Try to fix a compiler error seen on Flag2 job of jenkins
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
MC: move the reversible_race logic to the Transition...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Fred Suter
simplify the way Jbods are defined
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
another try at cleanly unlocking the mutexes before...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
Try to fix a failure about mutex freed too early in RMA
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
Fix clang builds
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
New method: MutexImpl::is_granted()
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
More forward declarations
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
Sanity check that mutex are empty when destroyed
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
Check in the right location that a mutex is provided...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
Rename the CondVar observer as it should
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
Move the conditionVariable observer to the right file
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
Sanity checks about the lock protecting a pthread_cond
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
New function s4u::Mutex::get_owner()
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
Template implem of cond_timedwait in sthread
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Martin Quinson
Another easy test from McMini
commit
|
commitdiff
|
tree
|
snapshot
2023-11-13
Augustin Degomme
hopefully bigdft CI (work around an issue we identified...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-12
Martin Quinson
Implement pthread_cond in sthread -- too bad it's TODO...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-12
Martin Quinson
Document all changes so far
commit
|
commitdiff
|
tree
|
snapshot
2023-11-12
Martin Quinson
Implement pthread_barrier calls in sthread, and test...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-12
Martin Quinson
Refactorize the sthread interception of functions
commit
|
commitdiff
|
tree
|
snapshot
2023-11-12
Martin Quinson
Add more Mc Mini tests
commit
|
commitdiff
|
tree
|
snapshot
2023-11-12
Martin Quinson
Revalidate the tesh files that got invalidated by a...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-12
Martin Quinson
Small typos in comments
commit
|
commitdiff
|
tree
|
snapshot
2023-11-12
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
commit
|
commitdiff
|
tree
|
snapshot
2023-11-12
Martin Quinson
Fix tesh autotests after recent change to display the...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-12
Arnaud Giersch
Update .mailmap.
commit
|
commitdiff
|
tree
|
snapshot
2023-11-10
mlaurent
Add debug info for reversible race construction
commit
|
commitdiff
|
tree
|
snapshot
2023-11-09
mlaurent
Fix tesh with new dependencies on Mutex
commit
|
commitdiff
|
tree
|
snapshot
2023-11-09
mlaurent
Raffine reversible race calculation for MutexWait
commit
|
commitdiff
|
tree
|
snapshot
2023-11-09
mlaurent
Add a missing independence theorem about Mutex
commit
|
commitdiff
|
tree
|
snapshot
2023-11-09
Martin Quinson
Cleanup work to make is_race_reversible() a method...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-09
mlaurent
Fix some tesh after changing dependence relation about...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-09
mlaurent
Suppressed a bit too much of codes
commit
|
commitdiff
|
tree
|
snapshot
2023-11-09
mlaurent
Clang format over some mc files
commit
|
commitdiff
|
tree
|
snapshot
2023-11-09
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-09
mlaurent
Discard the wakeup tree when ODPOR reaches a disabled...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-08
Martin Quinson
tesh: display the run command ASAP, not after its timeout
commit
|
commitdiff
|
tree
|
snapshot
2023-11-08
Martin Quinson
Fix the tesh files now that the ODPOR algo was changed...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-08
Martin Quinson
Spit a message when ODPOR is not optimal
commit
|
commitdiff
|
tree
|
snapshot
2023-11-08
mlaurent
Redondant line in insertion
commit
|
commitdiff
|
tree
|
snapshot
2023-11-08
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-08
Martin Quinson
Fix ODPOR: overapproximate ReversibleRace (to not miss...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-08
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-08
mlaurent
Add debug log for ODPOR + required explaining comments
commit
|
commitdiff
|
tree
|
snapshot
2023-11-08
Martin Quinson
Fix SemWai::ReversibleRace()
commit
|
commitdiff
|
tree
|
snapshot
2023-11-07
Martin Quinson
Simply rewrap comments and reindent, no real change
commit
|
commitdiff
|
tree
|
snapshot
2023-11-07
Martin Quinson
Add an assert that the checker don't try to exec disabl...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-07
Martin Quinson
Improve the debug messages
commit
|
commitdiff
|
tree
|
snapshot
2023-11-07
Martin Quinson
Tell the MC transition about the semaphore capacity...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-07
Martin Quinson
Make sure that the ID of a semaphore does not change...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-07
Martin Quinson
cosmetics: this is an ID, not a ptr
commit
|
commitdiff
|
tree
|
snapshot
2023-11-07
Arnaud Giersch
Try to help gcovr with option --gcov-ignore-errors.
commit
|
commitdiff
|
tree
|
snapshot
2023-11-07
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-07
mlaurent
Add some debug info
commit
|
commitdiff
|
tree
|
snapshot
2023-11-07
Arnaud Giersch
Use standard __func__ instead of __FUNCTION__.
commit
|
commitdiff
|
tree
|
snapshot
2023-11-06
Martin Quinson
also remove xbt/automaton which was only useful to...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-06
Martin Quinson
Change most mcmini tests to odpor reduction; the unchan...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-06
Martin Quinson
Actions executed by the same actor are always dependent...
commit
|
commitdiff
|
tree
|
snapshot
next