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 dag parsers into a single file
[simgrid.git]
/
src
/
mc
/
sosp
/
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
2020-02-06
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-xbt_random'
tree
|
commitdiff
2020-01-31
Arnaud Giersch
Cosmetics: fix "Malformed whitespace in C++" spotted...
tree
|
commitdiff
2020-01-24
Frederic Suter
Merge branch 'depencencies' of https://framagit.org...
tree
|
commitdiff
2020-01-01
Arnaud Giersch
Update copyright lines with new year.
tree
|
commitdiff
2019-12-29
Arnaud Giersch
Sonar consts of the day.
tree
|
commitdiff
2019-12-28
Arnaud Giersch
[sonar] Constify pointer and reference parameters in...
tree
|
commitdiff
2019-12-28
Arnaud Giersch
Cosmetics: use 's_xbt_mheap_t' instead of 'struct mdesc'.
tree
|
commitdiff
2019-12-23
Arnaud Giersch
[sonar] Constify pointer and reference local variables...
tree
|
commitdiff
2019-12-23
Arnaud Giersch
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2019-12-23
Arnaud Giersch
[sonar] Initialize data members with class initializers...
tree
|
commitdiff
2019-12-20
Arnaud Giersch
[sonar] Fix casts to pointer type without const qualifier.
tree
|
commitdiff
2019-12-18
Frederic Suter
codefactor: a few more annoying spaces
tree
|
commitdiff
2019-12-17
Frederic Suter
another bunch of cleanups
tree
|
commitdiff
2019-11-19
Martin Quinson
Merge branch 'xbt_random' into 'master'
tree
|
commitdiff
2019-11-10
Arnaud Giersch
Slightly reorganize log categories; remove unused ones.
tree
|
commitdiff
2019-10-23
Yann Duplouy
Merge branch 'master' into xbt_random
tree
|
commitdiff
2019-10-20
Arnaud Giersch
Spell check.
tree
|
commitdiff
2019-10-07
Frederic Suter
Merge branch 'master' into CRTP
tree
|
commitdiff
2019-09-27
Martin Quinson
Merge branch 'master' into 'rework-energy-plugin'
tree
|
commitdiff
2019-09-24
Frederic Suter
Merge branch 'master' into disk
tree
|
commitdiff
2019-09-24
Frederic Suter
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2019-09-23
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2019-09-23
Martin Quinson
Don't mandate C++14 as some build daemons still don...
tree
|
commitdiff
2019-09-23
Martin Quinson
MC: switch to xxhash as a (fast) hashing function.
tree
|
commitdiff
2019-07-11
Arnaud Giersch
mc: better way to check if address is on heap.
tree
|
commitdiff
2019-07-11
Arnaud Giersch
mc/compare: const/ref
tree
|
commitdiff
2019-07-11
Arnaud Giersch
mc: const seems wrong here.
tree
|
commitdiff
2019-07-11
Arnaud Giersch
mc/compare: define is_on_heap(const void*).
tree
|
commitdiff
2019-07-10
Arnaud Giersch
Cosmetics.
tree
|
commitdiff
2019-07-10
Martin Quinson
Remove option model-checker/hash; This is always activa...
tree
|
commitdiff
2019-06-03
Martin Quinson
Simplify mc::Region::read()
tree
|
commitdiff
2019-06-03
Martin Quinson
Cleanups in class mc::Region
tree
|
commitdiff
2019-05-31
Martin Quinson
MC: rename some files
tree
|
commitdiff
2019-05-31
Martin Quinson
MC: finish emptying an old C file
tree
|
commitdiff
2019-05-31
Martin Quinson
MC: inline a function that is now trivial
tree
|
commitdiff
2019-05-31
Martin Quinson
MC::Region: Also remove the permanent_addr thingy
tree
|
commitdiff
2019-05-31
Martin Quinson
mc: cosmetics
tree
|
commitdiff
2019-05-31
Martin Quinson
Merge branch 'tracemgrsplit' into 'master'
tree
|
commitdiff
2019-05-30
Martin Quinson
inline a function
tree
|
commitdiff
2019-05-30
Martin Quinson
kill the RegionSparse subclass now that there is no...
tree
|
commitdiff
2019-05-30
Martin Quinson
MC: cosmetics (fight the mc_model_checker singleton)
tree
|
commitdiff
2019-05-30
Martin Quinson
MC: remove support for flat storage of regions
tree
|
commitdiff
2019-05-30
Martin Quinson
MC::remote: snake case
tree
|
commitdiff
2019-05-29
Martin Quinson
mc: Also remove the process_index
tree
|
commitdiff
2019-05-29
Martin Quinson
Kill the support for privatized SMPI in MC mode
tree
|
commitdiff
2019-05-28
Martin Quinson
mc: change 3 static functions into private methods
tree
|
commitdiff
2019-05-28
Martin Quinson
mc: move code around in the hope that it will sort...
tree
|
commitdiff
2019-05-28
Arnaud Giersch
Missing include (HAVE_MREMAP).
tree
|
commitdiff
2019-05-26
Martin Quinson
further tidy the includes in MC
tree
|
commitdiff
next