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-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
2023-11-06
Martin Quinson
ODPOR: more verbose message on assertion failure
commit
|
commitdiff
|
tree
|
snapshot
2023-11-06
Martin Quinson
This option is used in MC, so it won't go anytime soon
commit
|
commitdiff
|
tree
|
snapshot
2023-11-06
Martin Quinson
Troubleshooting Homebrew binaries on macOS (Thanks...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
Another attempt to fix the printf issue on mac: don...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
There is too much boost include to protect, disable...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
Avoid casting errors in printf on MacOSX
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
was for stateful MC, remove this
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
Fix gcc builds
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
Try to survive to undefined preprocessor symbols
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
Try to activate -Wundef on all builds
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
Model-checking is robust now that it's stateless MC...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
Restaure INCLUDE(CheckCCompilerFlag) in cmake
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
unify struct and class declarations
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
Remove some restrictions on enable_model-checking now...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
Remove the stateful model-checking from the archive...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
commit
|
commitdiff
|
tree
|
snapshot
2023-11-05
Martin Quinson
Add a cmake option to disable McMini tests, and rename...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-04
Martin Quinson
Document all commits of this release cycle so far
commit
|
commitdiff
|
tree
|
snapshot
2023-11-04
Martin Quinson
Ignore McMini tests from sonar analysis
commit
|
commitdiff
|
tree
|
snapshot
2023-11-04
Augustin Degomme
add some new MPI4 unsupported partitioned communication...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-03
Martin Quinson
Merge branch 'master' into simgrid-fork-changelog-plugins
commit
|
commitdiff
|
tree
|
snapshot
2023-11-03
Martin Quinson
Fix an ODR reported by ASan
commit
|
commitdiff
|
tree
|
snapshot
2023-11-03
Martin Quinson
Merge branch 'memleak-battery' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-11-03
Adrien Gougeon
fix memleak in battery examples and task-storm
commit
|
commitdiff
|
tree
|
snapshot
2023-11-02
Martin Quinson
tesh: helpful message on syntax error
commit
|
commitdiff
|
tree
|
snapshot
2023-11-02
Martin Quinson
Add more tests from McMini
commit
|
commitdiff
|
tree
|
snapshot
2023-11-02
Adrien Gougeon
missing static keyword
commit
|
commitdiff
|
tree
|
snapshot
2023-11-02
Adrien Gougeon
improve chiller example. remove on_power_change signal...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-02
Adrien Gougeon
better comments on examples
commit
|
commitdiff
|
tree
|
snapshot
2023-11-02
Adrien Gougeon
add comment about chiller/battery plugins. Fix chiller...
commit
|
commitdiff
|
tree
|
snapshot
2023-11-02
Martin Quinson
Remove ignored lines from tesh files, uberbumer
commit
|
commitdiff
|
tree
|
snapshot
2023-11-02
Martin Quinson
Fix MC builds
commit
|
commitdiff
|
tree
|
snapshot
2023-11-02
Martin Quinson
Fix various build errors
commit
|
commitdiff
|
tree
|
snapshot
2023-11-02
Martin Quinson
Missing files
commit
|
commitdiff
|
tree
|
snapshot
next