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
try to solve the -Wundefined-var-template thing with clang
[simgrid.git]
/
src
/
mc
/
sosp
/
2023-05-17
Arnaud Giersch
Get rid of global variables for snapshot tests.
tree
|
commitdiff
2023-04-26
Martin Quinson
Merge branch 'operation-plugin' into 'master'
tree
|
commitdiff
2023-04-18
Martin Quinson
Merge branch 'udpor-phase7' into 'master'
tree
|
commitdiff
2023-04-17
Martin Quinson
sonar fixes
tree
|
commitdiff
2023-04-11
Arnaud Giersch
Pointer and reference should be "const" if the correspo...
tree
|
commitdiff
2023-03-23
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-22
Martin Quinson
Fix some easy sonar smells
tree
|
commitdiff
2023-03-22
Martin Quinson
Fix two sonar bugs
tree
|
commitdiff
2023-03-22
Martin Quinson
Merge branch 'udpor-phase6' into 'master'
tree
|
commitdiff
2023-03-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-19
Martin Quinson
Differ the creation of the RemoteProcessMemory to when...
tree
|
commitdiff
2023-03-19
Martin Quinson
Better responsabilities splitup between CheckerSide...
tree
|
commitdiff
2023-03-19
Martin Quinson
Move methods not related to Memory out of RemoteProcess...
tree
|
commitdiff
2023-03-19
Martin Quinson
Finally kill the now empty ModelChecker class
tree
|
commitdiff
2023-03-19
Martin Quinson
Move the memory handling of RemoteProcessMemory singlet...
tree
|
commitdiff
2023-03-19
Martin Quinson
Move handle_message from ModelChecker to RemoteProcessM...
tree
|
commitdiff
2023-03-19
Martin Quinson
Move handle_waitpid from ModelChecker to RemoteProcessM...
tree
|
commitdiff
2023-03-19
Martin Quinson
Gosh, how many calls to that global were there?
tree
|
commitdiff
2023-03-19
Martin Quinson
Kill a now unused class in mc
tree
|
commitdiff
2023-03-19
Martin Quinson
Remove some more usage of mc_model_checker in Region...
tree
|
commitdiff
2023-03-19
Martin Quinson
Another use of mc_model_checker disapears. In Snapshot...
tree
|
commitdiff
2023-03-18
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-18
Martin Quinson
Move the checker_side_ from the ModelChecker to the...
tree
|
commitdiff
2023-03-18
Martin Quinson
One usage of mc_model_checker less
tree
|
commitdiff
2023-03-14
Arnaud Giersch
Remove comments about non-existent support for smpi...
tree
|
commitdiff
2023-03-13
Fred Suter
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-13
Martin Quinson
Give the remote_process_memory to the mc::State constructor
tree
|
commitdiff
2023-03-12
Martin Quinson
Move another function of ModelChecker to RemoteProcessM...
tree
|
commitdiff
2023-03-12
Martin Quinson
MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory
tree
|
commitdiff
2023-03-12
Martin Quinson
MC: stop reading maxpid in memory, but ask it over...
tree
|
commitdiff
2023-03-05
Martin Quinson
Merge branch 'maximal-subset-search' into 'master'
tree
|
commitdiff
2023-03-03
Martin Quinson
Move the PageStore from ModelChecker to RemoteApp
tree
|
commitdiff
2023-02-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-02-18
Martin Quinson
Kill src/include
tree
|
commitdiff
2023-01-01
Arnaud Giersch
Update copyright lines for 2023.
tree
|
commitdiff
2022-11-08
Arnaud Giersch
Remove explicit conversion to std::string when it's...
tree
|
commitdiff
2022-10-06
Arnaud Giersch
Merge branch 'wifi_clean' into 'master'
tree
|
commitdiff
2022-08-07
Martin Quinson
Integrate the (WIP) hashing logic in the Snapshot object
tree
|
commitdiff
2022-08-07
Martin Quinson
Small cleanups in mc::Snapshot
tree
|
commitdiff
2022-08-06
Martin Quinson
Convert simgrid::mc::snapshot_equal() into Snapshot...
tree
|
commitdiff
2022-07-30
Martin Quinson
And now cleanup the App-side of cruft that was needed...
tree
|
commitdiff
2022-07-30
Martin Quinson
further reduce the amount of call sites for RemoteProce...
tree
|
commitdiff
2022-05-12
Arnaud Giersch
Rename variables to avoid shadowed declarations.
tree
|
commitdiff
2022-05-10
Arnaud Giersch
Concatenate nested namespaces (sonar).
tree
|
commitdiff
2022-04-27
Arnaud Giersch
Use structured binding declarations (sonar, c++17).
tree
|
commitdiff
2022-02-27
Martin Quinson
MC: after all, checker does not need the list of dead...
tree
|
commitdiff
2022-02-15
Arnaud Giersch
Ignore local variables without type in snapshot.
tree
|
commitdiff
2022-02-12
Martin Quinson
Fix more sonar things
tree
|
commitdiff
2022-01-06
Arnaud Giersch
Update copyright lines for 2022.
tree
|
commitdiff
2021-09-14
SUTER Frederic
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2021-07-19
Arnaud Giersch
[pvs-studio] Protect from self assignment.
tree
|
commitdiff
2021-06-08
Augustin Degomme
Merge branch 'factor_in_actions' into 'master'
tree
|
commitdiff
2021-06-04
Arnaud Giersch
[sonar] Replace redundant type with 'auto'.
tree
|
commitdiff
2021-04-03
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2021-04-02
Arnaud Giersch
Change "if(...) xbt_die(...)" to "xbt_assert(...)".
tree
|
commitdiff
2021-03-14
Martin Quinson
MC gets the addresses of variables it needs from the...
tree
|
commitdiff
2021-03-14
Martin Quinson
The checker now have a reference to the session
tree
|
commitdiff
2021-03-14
Martin Quinson
Rename model_checker->get_remote_simulation() into...
tree
|
commitdiff
2021-03-13
Martin Quinson
Rename mc::RemoteSimulation into mc::RemoteProcess
tree
|
commitdiff
2021-03-08
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2021-03-08
Arnaud Giersch
Remove useless declaration of default destructor.
tree
|
commitdiff
2021-03-06
Martin Quinson
MC: inline a function, kill a file
tree
|
commitdiff
2021-01-13
agougeon
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2021-01-12
Arnaud Giersch
Update copyright lines.
tree
|
commitdiff
2020-12-15
Augustin Degomme
Merge branch 'Adrien.Gougeon/simgrid-master'
tree
|
commitdiff
2020-11-25
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
tree
|
commitdiff
2020-11-22
agougeon
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2020-11-21
Arnaud Giersch
Fix test requirement (and add missing semicolon).
tree
|
commitdiff
2020-11-21
Arnaud Giersch
Remove useless new/delete (please sonar).
tree
|
commitdiff
2020-11-21
Arnaud Giersch
Replace fixed-size C-style arrays with std::array.
tree
|
commitdiff
2020-11-19
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
tree
|
commitdiff
2020-11-18
Arnaud Giersch
Useless std::move.
tree
|
commitdiff
2020-11-18
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid
tree
|
commitdiff
2020-11-18
Arnaud Giersch
Prefer "using" to "typedef".
tree
|
commitdiff
2020-10-23
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-stoprofiles'
tree
|
commitdiff
2020-10-22
adrien gougeon
Merge branch 'master' of framagit.org:Adrien.Gougeon...
tree
|
commitdiff
2020-10-22
Adrien
Merge branch 'master' into 'master'
tree
|
commitdiff
2020-10-19
Arnaud Giersch
Correct a few a/an.
tree
|
commitdiff
2020-10-13
Arnaud Giersch
Remove useless type aliases.
tree
|
commitdiff
2020-10-08
Martin Quinson
Merge branch 'klement/simgrid-klement' into master
tree
|
commitdiff
2020-10-06
Arnaud Giersch
Modernize method declarations.
tree
|
commitdiff
2020-10-05
Arnaud Giersch
More uses of std::make_unique.
tree
|
commitdiff
2020-10-04
Arnaud Giersch
[sonar] Replace redundant type with "auto" (src/mc/).
tree
|
commitdiff
2020-10-02
Arnaud Giersch
Remove compatibility layer for pre-c++14.
tree
|
commitdiff
2020-10-02
Arnaud Giersch
Use standard macro to check C++ version.
tree
|
commitdiff
2020-09-30
Martin Quinson
Merge branch 'adrien' into 'master'
tree
|
commitdiff
2020-09-30
Martin Quinson
Merge branch 'master' into adrien
tree
|
commitdiff
2020-09-26
Martin Quinson
Merge branch 'master' of framagit.org:Adrien.Gougeon...
tree
|
commitdiff
2020-07-03
Clément Courageux
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2020-07-02
Arnaud Giersch
[sonar] Convert integer literals to bool literals.
tree
|
commitdiff
2020-07-02
Arnaud Giersch
[sonar] Declare functions "const" in src/mc/.
tree
|
commitdiff
2020-06-12
Augustin Degomme
Fix most of spelling mistakes in src/
tree
|
commitdiff
2020-05-09
Martin Quinson
MC: Further renamings
tree
|
commitdiff
2020-05-06
Martin Quinson
MC: actually remove the comm channel from RemoteClientM...
tree
|
commitdiff
2020-05-06
Martin Quinson
MC: rename remote/RemoteClient -> remote/RemoteClientMe...
tree
|
commitdiff
2020-04-27
Yann Duplouy
Merge branch 'random_readwritestate' into 'master'
tree
|
commitdiff
2020-04-25
Frederic Suter
namespacing cosmetics
tree
|
commitdiff
2020-03-01
Arnaud Giersch
Merge branch 's_SimGrid_simgrid' into 'master'
tree
|
commitdiff
2020-02-27
Arnaud Giersch
[sonar] Declare move constructors with "noexcept".
tree
|
commitdiff
2020-02-06
Arnaud Giersch
Replace usage of <random> with <xbt/random.hpp>.
tree
|
commitdiff
next