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
mc_api::check_send_request_detached() defined and used in comm_deter checker
[simgrid.git]
/
src
/
mc
/
2020-11-27
Ehsan Azimi
mc_api::check_send_request_detached() defined and used...
tree
|
commitdiff
2020-11-27
Ehsan Azimi
mc_api::get_pattern_comm_dst_proc() defined and used...
tree
|
commitdiff
2020-11-27
Ehsan Azimi
mc_api::get_smpi_request_tag() defined and used in...
tree
|
commitdiff
2020-11-27
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
tree
|
commitdiff
2020-11-26
Ehsan Azimi
call APIs from facade layer
tree
|
commitdiff
2020-11-26
Ehsan Azimi
unused variable removed
tree
|
commitdiff
2020-11-26
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
tree
|
commitdiff
2020-11-26
Ehsan Azimi
Merge with simgrid/master
tree
|
commitdiff
2020-11-26
Ehsan Azimi
conflict with simgrid/master resolved
tree
|
commitdiff
2020-11-26
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
tree
|
commitdiff
2020-11-26
Arnaud Giersch
std::array...
tree
|
commitdiff
2020-11-25
Arnaud Giersch
[pvs] A part of conditional expression is always false...
tree
|
commitdiff
2020-11-25
Arnaud Giersch
[pvs] Expression 'req' is always true.
tree
|
commitdiff
2020-11-25
Arnaud Giersch
[pvs] The 'mc_model_checker' pointer was utilized befor...
tree
|
commitdiff
2020-11-25
Arnaud Giersch
Enum class for MC call types, and MC comm pattern diffe...
tree
|
commitdiff
2020-11-25
Arnaud Giersch
Enum class for MC call types, and MC comm pattern diffe...
tree
|
commitdiff
2020-11-25
Arnaud Giersch
Enum class for MC call types, and MC comm pattern diffe...
tree
|
commitdiff
2020-11-25
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
tree
|
commitdiff
2020-11-25
Ehsan Azimi
mc_api::get_pattern_comm_rdv()
tree
|
commitdiff
2020-11-25
Arnaud Giersch
Fix buffer overflow.
tree
|
commitdiff
2020-11-25
Arnaud Giersch
Once again, use sd::array instead of C-style arrays.
tree
|
commitdiff
2020-11-25
Arnaud Giersch
A binary search can be used here too.
tree
|
commitdiff
2020-11-25
Arnaud Giersch
Replace another handmade binary search.
tree
|
commitdiff
2020-11-25
Arnaud Giersch
[sonar] Rename local parameters.
tree
|
commitdiff
2020-11-24
Arnaud Giersch
Use std algorithms for binary search.
tree
|
commitdiff
2020-11-24
Arnaud Giersch
Kill unused field.
tree
|
commitdiff
2020-11-22
Arnaud Giersch
[sonar] Extract assignment from sub-expression.
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-20
Arnaud Giersch
Use more std::string.
tree
|
commitdiff
2020-11-20
Arnaud Giersch
Misc simplifications.
tree
|
commitdiff
2020-11-20
Ehsan Azimi
get_pattern_comm_rdv() defined in mc_api and used in...
tree
|
commitdiff
2020-11-20
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
tree
|
commitdiff
2020-11-20
Ehsan Azimi
mc_pattern.hpp created
tree
|
commitdiff
2020-11-19
Ehsan Azimi
CommunicationDeterminismChecker::log_state() uses APIs...
tree
|
commitdiff
2020-11-19
Ehsan Azimi
CommunicationDeterminismChecker::restoreState() uses...
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
Arnaud Giersch
Use 'using-declarations' to inherit constructors.
tree
|
commitdiff
2020-11-18
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid
tree
|
commitdiff
2020-11-18
Ehsan Azimi
CommunicationDeterminismChecker::real_run() uses APIs...
tree
|
commitdiff
2020-11-18
Ehsan Azimi
prepare() and run() call APIs of mc_api
tree
|
commitdiff
2020-11-18
Arnaud Giersch
Prefer "using" to "typedef".
tree
|
commitdiff
2020-11-18
Arnaud Giersch
More const pointers.
tree
|
commitdiff
2020-11-18
Ehsan Azimi
In VisitedState class, get_remote_heap_bytes() from...
tree
|
commitdiff
2020-11-18
Augustin Degomme
again..
tree
|
commitdiff
2020-11-17
Augustin Degomme
et ça continue, encore et encore...
tree
|
commitdiff
2020-11-17
Augustin Degomme
one more lib to exclude ... we should really get rid...
tree
|
commitdiff
2020-11-17
Ehsan Azimi
mc_api::mc_state_choose_request() updated
tree
|
commitdiff
2020-11-16
Ehsan Azimi
copy_incomplete_comm_pattern() and copy_index_comm_patt...
tree
|
commitdiff
2020-11-16
Ehsan Azimi
get_maxpid() and take_snapshot() in mc_api
tree
|
commitdiff
2020-11-16
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid
tree
|
commitdiff
2020-11-11
Arnaud Giersch
Reduce scope for variable.
tree
|
commitdiff
2020-11-09
Augustin Degomme
exclude lib for mc on freebsd
tree
|
commitdiff
2020-10-30
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid
tree
|
commitdiff
2020-10-29
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid
tree
|
commitdiff
2020-10-28
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid
tree
|
commitdiff
2020-10-27
Ehsan Azimi
mc_assert() deleted
tree
|
commitdiff
2020-10-27
Ehsan Azimi
SafetyChecker::run() uses mc_api
tree
|
commitdiff
2020-10-27
Ehsan Azimi
SafetyChecker::check_non_termination() uses mc_api
tree
|
commitdiff
2020-10-27
Ehsan Azimi
SafetyChecker::get_textual_trace() uses mc_api
tree
|
commitdiff
2020-10-27
Ehsan Azimi
SafetyChecker::log_state() calls APIs of mc_api
tree
|
commitdiff
2020-10-26
Ehsan Azimi
SafetyChecker::backtrack() calls mc_api functions
tree
|
commitdiff
2020-10-26
Ehsan Azimi
SafetyChecker::restore_state() calls mc_api functions
tree
|
commitdiff
2020-10-26
Ehsan Azimi
mc_api class introduced, SafetyChecher's constructor...
tree
|
commitdiff
2020-10-23
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-stoprofiles'
tree
|
commitdiff
2020-10-20
Arnaud Giersch
[sonar] Use template parameter.
tree
|
commitdiff
2020-10-19
Arnaud Giersch
Correct a few a/an.
tree
|
commitdiff
2020-10-19
Arnaud Giersch
Typos.
tree
|
commitdiff
2020-10-16
Arnaud Giersch
Cosmetics.
tree
|
commitdiff
2020-10-16
Arnaud Giersch
Use std::array and reduce scope for constant.
tree
|
commitdiff
2020-10-13
Arnaud Giersch
"s < 0" is always true here.
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-06
Arnaud Giersch
Prefer nullptr and bool literals.
tree
|
commitdiff
2020-10-05
Arnaud Giersch
Prefer C++ headers, and C++-style void-arg declarations.
tree
|
commitdiff
2020-10-05
Arnaud Giersch
More uses of std::make_unique.
tree
|
commitdiff
2020-10-04
Arnaud Giersch
[sonar] Extract the assignment from sub-expression.
tree
|
commitdiff
2020-10-04
Arnaud Giersch
[sonar] Replace redundant type with "auto" (src/mc/).
tree
|
commitdiff
2020-10-02
Arnaud Giersch
[sonar] Use "std::make_unique" to construct "std::uniqu...
tree
|
commitdiff
2020-10-02
Arnaud Giersch
[sonar] Use "std::make_shared" to construct "std::share...
tree
|
commitdiff
2020-10-02
Arnaud Giersch
Use empty() to check whether the container is empty...
tree
|
commitdiff
2020-10-02
Arnaud Giersch
Reduce scope for loop variables.
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-08-25
Arnaud Giersch
Sort list of filtered libraries, and add libzstd to...
tree
|
commitdiff
2020-07-09
Martin Quinson
Merge branch 'master' into klement
tree
|
commitdiff
2020-07-03
Arnaud Giersch
[sonar] Const etc. (round #3).
tree
|
commitdiff
2020-07-03
Clément Courageux
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2020-07-03
Arnaud Giersch
[sonar] Const for local variables.
tree
|
commitdiff
2020-07-03
Arnaud Giersch
[sonar] Declare functions "const" (round #2).
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-07-01
Arnaud Giersch
[sonar] Remove redundant casts.
tree
|
commitdiff
2020-06-12
Augustin Degomme
Fix most of spelling mistakes in src/
tree
|
commitdiff
next