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
Suppressed a bit too much of codes
[simgrid.git]
/
src
/
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
2023-10-12
Fred Suter
enable use of IO streams with Ptask model
tree
|
commitdiff
2023-10-11
Martin Quinson
Merge branch 'task-dispatch' into 'master'
tree
|
commitdiff
2023-10-10
Augustin Degomme
apparently, deque is faster than list in our usecases
tree
|
commitdiff
2023-10-10
Adrien
Merge branch 'master' into 'task-dispatch'
tree
|
commitdiff
2023-10-10
Adrien Gougeon
update doc
tree
|
commitdiff
2023-10-09
Adrien Gougeon
add possibility for a battery to be a simple connector...
tree
|
commitdiff
2023-10-06
Fred Suter
Use Ptr to store disks of a HostImpl, do not care about...
tree
|
commitdiff
2023-10-05
Fred Suter
Reducing the number of refcount changes for ActivityImpl
tree
|
commitdiff
2023-10-02
Adrien Gougeon
remove unused variable
tree
|
commitdiff
2023-10-02
Adrien Gougeon
fix all Task examples to support the new Task format...
tree
|
commitdiff
2023-09-28
Adrien Gougeon
add battery-chiller-solar example.
tree
|
commitdiff
2023-09-27
Fred Suter
simplify and remove silly debug
tree
|
commitdiff
2023-09-26
Fred Suter
prefer returning a NetZone than a pair of NetPoints...
tree
|
commitdiff
2023-09-25
Adrien Gougeon
add possibility to dispatch tasks (work in progress)
tree
|
commitdiff
2023-09-24
Fred Suter
further progress towards deprecation of complex add_route
tree
|
commitdiff
2023-09-22
Martin Quinson
Merge branch 'task-doc' into 'master'
tree
|
commitdiff
2023-09-22
Fred Suter
Can also connect a NetZone to anybody and anobody to...
tree
|
commitdiff
2023-09-21
Fred Suter
simpler way to define routes between zones (and between...
tree
|
commitdiff
2023-09-21
Fred Suter
Explicitely create, store, and expose NetZone gateway(s)
tree
|
commitdiff
2023-09-21
Fred Suter
we don't do AS anymore
tree
|
commitdiff
2023-09-21
Adrien Gougeon
add doc about parallel tasks. fix some warning in plugi...
tree
|
commitdiff
2023-09-21
Martin Quinson
Merge branch 'photovoltaic-revamp' into 'master'
tree
|
commitdiff
2023-09-21
Adrien
Merge branch 'master' into 'photovoltaic-revamp'
tree
|
commitdiff
2023-09-18
Martin Quinson
Merge branch 'chiller-plugin' into 'master'
tree
|
commitdiff
2023-09-18
Martin Quinson
Merge branch 'task_dispatch' into 'master'
tree
|
commitdiff
2023-09-18
Adrien Gougeon
add chiller plugin with doc and an example
tree
|
commitdiff
2023-09-14
Adrien Gougeon
clang-format
tree
|
commitdiff
2023-09-14
Adrien Gougeon
add keyword horizontal scaling to doc
tree
|
commitdiff
next