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
Merge branch 'master' into simgrid-fork-changelog-plugins
[simgrid.git]
/
src
/
mc
/
mc_base.cpp
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/mwapl...
blob
|
commitdiff
|
raw
2023-04-01
Martin Quinson
Ignore empty replay path + hide a global (to avoid...
blob
|
commitdiff
|
raw
2023-04-01
Martin Quinson
Only compile stateless MC when libevent is found
blob
|
commitdiff
|
raw
|
diff to current
2023-03-31
Martin Quinson
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-22
Martin Quinson
Merge branch 'udpor-phase6' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-03-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-19
Martin Quinson
Finally kill the now empty ModelChecker class
blob
|
commitdiff
|
raw
|
diff to current
2023-03-15
Martin Quinson
Sanitize how we know the current MC mode
blob
|
commitdiff
|
raw
|
diff to current
2023-03-13
Fred Suter
Merge branch 'master' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-03-12
Martin Quinson
MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory
blob
|
commitdiff
|
raw
|
diff to current
2023-02-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-18
Martin Quinson
Kill src/include
blob
|
commitdiff
|
raw
|
diff to current
2023-01-01
Arnaud Giersch
Update copyright lines for 2023.
blob
|
commitdiff
|
raw
|
diff to current
2022-11-01
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2022-11-01
Martin Quinson
Display the stack of each actor during a MC replay...
blob
|
commitdiff
|
raw
|
diff to current
2022-10-31
Martin Quinson
Align the behavior of MC and MC_replay in SMPI, so...
blob
|
commitdiff
|
raw
|
diff to current
2022-10-30
Martin Quinson
MC_replay: Ensure that times_considered is always set
blob
|
commitdiff
|
raw
|
diff to current
2022-10-16
Martin Quinson
Don't include simgrid/config.h from simgrid/modelchecke...
blob
|
commitdiff
|
raw
|
diff to current
2022-10-06
Arnaud Giersch
Merge branch 'wifi_clean' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-08-02
Martin Quinson
Rename mc::Session into mc::api::RemoteApp
blob
|
commitdiff
|
raw
|
diff to current
2022-08-01
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2022-08-01
Martin Quinson
Ensure that the verified application still works if...
blob
|
commitdiff
|
raw
|
diff to current
2022-07-30
Martin Quinson
And now cleanup the App-side of cruft that was needed...
blob
|
commitdiff
|
raw
|
diff to current
2022-05-10
Arnaud Giersch
Concatenate nested namespaces (sonar).
blob
|
commitdiff
|
raw
|
diff to current
2022-05-10
Arnaud Giersch
Remove spurious "using" declarations.
blob
|
commitdiff
|
raw
|
diff to current
2022-04-27
Arnaud Giersch
Use structured binding declarations (sonar, c++17).
blob
|
commitdiff
|
raw
|
diff to current
2022-03-14
Arnaud Giersch
Mark smx_actor_t as deprecated.
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Martin Quinson
Merge branch 'add_remaining_comm_sync_bindings' into...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-08
Arnaud Giersch
Move Simcall from namespace simix to kernel::actor.
blob
|
commitdiff
|
raw
|
diff to current
2022-03-08
Arnaud Giersch
Make Simcall a real class.
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Arnaud Giersch
Kill dead code.
blob
|
commitdiff
|
raw
|
diff to current
2022-02-27
Martin Quinson
Rename sg::k::actor::simcall ::actor::simcall_answered
blob
|
commitdiff
|
raw
|
diff to current
2022-02-19
Martin Quinson
MC: simplification knowing that every visible transitio...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-13
Martin Quinson
Implement WaitAnyTransition
blob
|
commitdiff
|
raw
|
diff to current
2022-02-13
Martin Quinson
Sonar fixes
blob
|
commitdiff
|
raw
|
diff to current
2022-02-12
Martin Quinson
Implement TestAnyTransition
blob
|
commitdiff
|
raw
|
diff to current
2022-02-04
SUTER Frederic
oopsie
blob
|
commitdiff
|
raw
|
diff to current
2022-02-04
SUTER Frederic
continue to mess with MC
blob
|
commitdiff
|
raw
|
diff to current
2022-02-03
Arnaud Giersch
Merge branch 'stable'
blob
|
commitdiff
|
raw
|
diff to current
2022-02-01
SUTER Frederic
Start to modernize the remaining old simcalls related...
blob
|
commitdiff
|
raw
|
diff to current
2022-01-13
SUTER Frederic
make more ActivityImpl fields private
blob
|
commitdiff
|
raw
|
diff to current
2022-01-06
Arnaud Giersch
Update copyright lines for 2022.
blob
|
commitdiff
|
raw
|
diff to current
2021-10-01
SUTER Frederic
deprecate 2 simix functions
blob
|
commitdiff
|
raw
|
diff to current
2021-09-17
SUTER Frederic
Merge branch 'no_simix_global'
blob
|
commitdiff
|
raw
|
diff to current
2021-09-17
SUTER Frederic
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2021-09-17
SUTER Frederic
get rid of simix_global and smx_private.hpp
blob
|
commitdiff
|
raw
|
diff to current
2021-05-25
SUTER Frederic
Continue to migrate contents of simix_global to EngineImpl
blob
|
commitdiff
|
raw
|
diff to current
2021-05-21
SUTER Frederic
migrate actors_to_run and actors_that_ran to EngineImpl
blob
|
commitdiff
|
raw
|
diff to current
2021-03-26
Martin Quinson
Move SimcallObserver from simgrid::mc to simgrid::kerne...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-20
Martin Quinson
some symbol renamings to make MC easier to understand...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
Give an explicit name to the session singleton
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
Rename mc::RemoteSimulation into mc::RemoteProcess
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Arnaud Giersch
Modernize simcall cond_wait.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Arnaud Giersch
Modernize simcall sem_acquire.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Arnaud Giersch
Modernize simcall mutex_lock.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-08
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-03-08
Arnaud Giersch
Modernize simcall mutex_trylock.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-04
Martin Quinson
mc: rename Inspector to Observer
blob
|
commitdiff
|
raw
|
diff to current
2021-03-03
Arnaud Giersch
Modernize simcall mutex_unlock.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-03
Arnaud Giersch
Fix mem leak.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Arnaud Giersch
Rename mc_base.h -> .hpp (it's C++ only anyway).
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Arnaud Giersch
Type bool for boolean values.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-01
Arnaud Giersch
Deprecated simcall_mc_random.
blob
|
commitdiff
|
raw
|
diff to current
2021-02-28
Martin Quinson
Split inspector::is_pending() in two logical parts
blob
|
commitdiff
|
raw
|
diff to current
2021-02-28
Martin Quinson
objectification of MC simcall achieved -- many tests...
blob
|
commitdiff
|
raw
|
diff to current
2021-02-24
agougeon
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-02-05
eazimi
merge with framagit/master
blob
|
commitdiff
|
raw
|
diff to current
2021-02-05
Martin Quinson
CommImpl: don't mix state and type, and make type_...
blob
|
commitdiff
|
raw
|
diff to current
2021-02-03
agougeon
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2021-01-20
eazimi
Merge branch 'master' of github.com:eazimi/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-01-19
Arnaud Giersch
One more static initialization order fiasco.
blob
|
commitdiff
|
raw
|
diff to current
2021-01-13
agougeon
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2021-01-12
Arnaud Giersch
Update copyright lines.
blob
|
commitdiff
|
raw
|
diff to current
2020-12-15
Augustin Degomme
Merge branch 'Adrien.Gougeon/simgrid-master'
blob
|
commitdiff
|
raw
|
diff to current
2020-11-27
Ehsan Azimi
Introduce mc::mc_api (pull request 1 -- #349)
blob
|
commitdiff
|
raw
|
diff to current
2020-11-27
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-27
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Ehsan Azimi
Merge with simgrid/master
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-25
Arnaud Giersch
Enum class for MC call types, and MC comm pattern diffe...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-25
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-20
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-19
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-18
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2020-11-16
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2020-10-30
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2020-10-29
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2020-10-28
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2020-10-26
Ehsan Azimi
mc_api class introduced, SafetyChecher's constructor...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-23
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-stoprofiles'
blob
|
commitdiff
|
raw
|
diff to current
2020-09-30
Martin Quinson
Merge branch 'adrien' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2020-09-30
Martin Quinson
Merge branch 'master' into adrien
blob
|
commitdiff
|
raw
|
diff to current
2020-09-26
Martin Quinson
Merge branch 'master' of framagit.org:Adrien.Gougeon...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-01
Arnaud Giersch
[sonar] Remove redundant casts.
blob
|
commitdiff
|
raw
|
diff to current
2020-05-10
Martin Quinson
stick to our coding standards: fields must have a trail...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-09
Martin Quinson
MC: Further renamings
blob
|
commitdiff
|
raw
|
diff to current
2020-05-06
Martin Quinson
MC: rename remote/RemoteClient -> remote/RemoteClientMe...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-06
Martin Quinson
MC: move a function around + cosmetics
blob
|
commitdiff
|
raw
|
diff to current
next