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
Fix Host::execute to use *this as a host location, not the this_actor->get_host()
[simgrid.git]
/
src
/
2023-11-15
Martin Quinson
Fix Host::execute to use *this as a host location,...
tree
|
commitdiff
2023-11-15
Martin Quinson
Merge branch 'battery-get-name' into 'master'
tree
|
commitdiff
2023-11-15
Adrien Gougeon
add get_name for batteries. update dag_from_json to...
tree
|
commitdiff
2023-11-14
Martin Quinson
Fix an ODR reported by ASan
tree
|
commitdiff
2023-11-14
Martin Quinson
Have create_jbod() return a JbodPtr instead of Jbod...
tree
|
commitdiff
2023-11-14
Martin Quinson
Give a way to C users to not leak activities in activityset
tree
|
commitdiff
2023-11-13
Martin Quinson
MC: move the reversible_race logic to the Transition...
tree
|
commitdiff
2023-11-13
Fred Suter
simplify the way Jbods are defined
tree
|
commitdiff
2023-11-13
Martin Quinson
another try at cleanly unlocking the mutexes before...
tree
|
commitdiff
2023-11-13
Martin Quinson
Try to fix a failure about mutex freed too early in RMA
tree
|
commitdiff
2023-11-13
Martin Quinson
Fix clang builds
tree
|
commitdiff
2023-11-13
Martin Quinson
New method: MutexImpl::is_granted()
tree
|
commitdiff
2023-11-13
Martin Quinson
Sanity check that mutex are empty when destroyed
tree
|
commitdiff
2023-11-13
Martin Quinson
Check in the right location that a mutex is provided...
tree
|
commitdiff
2023-11-13
Martin Quinson
Rename the CondVar observer as it should
tree
|
commitdiff
2023-11-13
Martin Quinson
Move the conditionVariable observer to the right file
tree
|
commitdiff
2023-11-13
Martin Quinson
Sanity checks about the lock protecting a pthread_cond
tree
|
commitdiff
2023-11-13
Martin Quinson
New function s4u::Mutex::get_owner()
tree
|
commitdiff
2023-11-13
Martin Quinson
Template implem of cond_timedwait in sthread
tree
|
commitdiff
2023-11-12
Martin Quinson
Implement pthread_cond in sthread -- too bad it's TODO...
tree
|
commitdiff
2023-11-12
Martin Quinson
Implement pthread_barrier calls in sthread, and test...
tree
|
commitdiff
2023-11-12
Martin Quinson
Refactorize the sthread interception of functions
tree
|
commitdiff
2023-11-12
Martin Quinson
Small typos in comments
tree
|
commitdiff
2023-11-12
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-11-10
mlaurent
Add debug info for reversible race construction
tree
|
commitdiff
2023-11-09
mlaurent
Raffine reversible race calculation for MutexWait
tree
|
commitdiff
2023-11-09
mlaurent
Add a missing independence theorem about Mutex
tree
|
commitdiff
2023-11-09
Martin Quinson
Cleanup work to make is_race_reversible() a method...
tree
|
commitdiff
2023-11-09
mlaurent
Suppressed a bit too much of codes
tree
|
commitdiff
2023-11-09
mlaurent
Clang format over some mc files
tree
|
commitdiff
2023-11-09
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-11-09
mlaurent
Discard the wakeup tree when ODPOR reaches a disabled...
tree
|
commitdiff
2023-11-08
Martin Quinson
Spit a message when ODPOR is not optimal
tree
|
commitdiff
2023-11-08
mlaurent
Redondant line in insertion
tree
|
commitdiff
2023-11-08
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-11-08
Martin Quinson
Fix ODPOR: overapproximate ReversibleRace (to not miss...
tree
|
commitdiff
2023-11-08
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-11-08
mlaurent
Add debug log for ODPOR + required explaining comments
tree
|
commitdiff
2023-11-08
Martin Quinson
Fix SemWai::ReversibleRace()
tree
|
commitdiff
2023-11-07
Martin Quinson
Simply rewrap comments and reindent, no real change
tree
|
commitdiff
2023-11-07
Martin Quinson
Add an assert that the checker don't try to exec disabl...
tree
|
commitdiff
2023-11-07
Martin Quinson
Improve the debug messages
tree
|
commitdiff
2023-11-07
Martin Quinson
Tell the MC transition about the semaphore capacity...
tree
|
commitdiff
2023-11-07
Martin Quinson
Make sure that the ID of a semaphore does not change...
tree
|
commitdiff
2023-11-07
Martin Quinson
cosmetics: this is an ID, not a ptr
tree
|
commitdiff
2023-11-07
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-11-07
mlaurent
Add some debug info
tree
|
commitdiff
2023-11-07
Arnaud Giersch
Use standard __func__ instead of __FUNCTION__.
tree
|
commitdiff
2023-11-06
Martin Quinson
also remove xbt/automaton which was only useful to...
tree
|
commitdiff
2023-11-06
Martin Quinson
Actions executed by the same actor are always dependent...
tree
|
commitdiff
2023-11-06
Martin Quinson
ODPOR: more verbose message on assertion failure
tree
|
commitdiff
2023-11-05
Martin Quinson
Another attempt to fix the printf issue on mac: don...
tree
|
commitdiff
2023-11-05
Martin Quinson
There is too much boost include to protect, disable...
tree
|
commitdiff
2023-11-05
Martin Quinson
Avoid casting errors in printf on MacOSX
tree
|
commitdiff
2023-11-05
Martin Quinson
Fix gcc builds
tree
|
commitdiff
2023-11-05
Martin Quinson
Try to survive to undefined preprocessor symbols
tree
|
commitdiff
2023-11-05
Martin Quinson
unify struct and class declarations
tree
|
commitdiff
2023-11-05
Martin Quinson
Remove the stateful model-checking from the archive...
tree
|
commitdiff
2023-11-05
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-11-04
Augustin Degomme
add some new MPI4 unsupported partitioned communication...
tree
|
commitdiff
2023-11-03
Martin Quinson
Merge branch 'master' into simgrid-fork-changelog-plugins
tree
|
commitdiff
2023-11-03
Martin Quinson
Fix an ODR reported by ASan
tree
|
commitdiff
2023-11-02
Adrien Gougeon
improve chiller example. remove on_power_change signal...
tree
|
commitdiff
2023-11-02
Martin Quinson
Fix MC builds
tree
|
commitdiff
2023-11-02
Martin Quinson
Fix various build errors
tree
|
commitdiff
2023-11-02
Martin Quinson
Do not use MC_process_clock_add() for now, as it makes...
tree
|
commitdiff
2023-11-02
Martin Quinson
MC: more debug messages
tree
|
commitdiff
2023-11-02
Martin Quinson
Actions executed by the same actor are always dependent
tree
|
commitdiff
2023-11-02
Martin Quinson
MC: add an observer to sleep simcalls
tree
|
commitdiff
2023-11-02
Martin Quinson
MC: display the 100 first transitions when we reach...
tree
|
commitdiff
2023-10-30
Fred Suter
no need to cast with ActivitySet
tree
|
commitdiff
2023-10-30
Martin Quinson
Merge branch 'mq' into 'master'
tree
|
commitdiff
2023-10-30
Martin Quinson
Merge branch 'example-battery-chiller-solar' into ...
tree
|
commitdiff
2023-10-29
Martin Quinson
Change the way we're inserting elements in this map
tree
|
commitdiff
2023-10-29
Martin Quinson
Fix build with ns3 v3.36+
tree
|
commitdiff
2023-10-27
Martin Quinson
Hack to make liveness work on Debian testing
tree
|
commitdiff
2023-10-27
Fred Suter
bug fix in programmatic declaration of routes with...
tree
|
commitdiff
2023-10-27
Fred Suter
Merge branch 'master' into mq
tree
|
commitdiff
2023-10-26
Fred Suter
Merge branch 'master' into mq
tree
|
commitdiff
2023-10-26
Fred Suter
reindent
tree
|
commitdiff
2023-10-26
Fred Suter
rework MessImpl
tree
|
commitdiff
2023-10-26
Fred Suter
got issues with get_id() while debugging. Add protection
tree
|
commitdiff
2023-10-26
Fred Suter
handle Mess in Activity::wait_for
tree
|
commitdiff
2023-10-26
Fred Suter
handle Mess in display actor status
tree
|
commitdiff
2023-10-26
Martin Quinson
Finish up the implementation of recursive mutexes
tree
|
commitdiff
2023-10-25
Martin Quinson
sthread: implement recursive mutexes (test broken so...
tree
|
commitdiff
2023-10-25
Martin Quinson
sthread: pthread_mutex_trylock shall return 0 on success
tree
|
commitdiff
2023-10-25
Martin Quinson
sthread: do not intercept valgrind nor /bin/sh, and...
tree
|
commitdiff
2023-10-25
Martin Quinson
sthread/ObjectAccess: bug fix + report when more than...
tree
|
commitdiff
2023-10-24
Martin Quinson
Instructive error message
tree
|
commitdiff
2023-10-24
Martin Quinson
sthread object tracker: allow recursive object accesses
tree
|
commitdiff
2023-10-24
Fred Suter
Merge branch 'master' into mq
tree
|
commitdiff
2023-10-24
Fred Suter
add Message queue abstraction
tree
|
commitdiff
2023-10-24
Martin Quinson
Document a variable
tree
|
commitdiff
2023-10-24
Martin Quinson
Typo + cosmetics in portability helpers
tree
|
commitdiff
2023-10-23
Martin Quinson
sthread_access: also take the function name in the...
tree
|
commitdiff
2023-10-23
Martin Quinson
Correctly check the params of Sendrecv for buffer being...
tree
|
commitdiff
2023-10-23
Martin Quinson
Fix a bug found by MBI: Buffers of MPI_Sendrecv() must...
tree
|
commitdiff
2023-10-21
Martin Quinson
Fix the dependency of barrier from the same actor ...
tree
|
commitdiff
2023-10-17
Augustin Degomme
SMPI - delay allocation of mailboxes to save some memor...
tree
|
commitdiff
next