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
Finally kill mc::RemoteProcess::actors(). We now communicate the data over the wire...
[simgrid.git]
/
src
/
mc
/
2022-07-30
Martin Quinson
Finally kill mc::RemoteProcess::actors(). We now commun...
tree
|
commitdiff
2022-07-30
Martin Quinson
Give read access to a private field
tree
|
commitdiff
2022-07-30
Martin Quinson
inline a function, kill a file
tree
|
commitdiff
2022-07-30
Martin Quinson
Well the last rogue call to RemoteProcess::actors(...
tree
|
commitdiff
2022-07-30
Augustin Degomme
try to hide something under the rug for now
tree
|
commitdiff
2022-07-30
Augustin Degomme
remove useless field
tree
|
commitdiff
2022-07-30
Martin Quinson
Liveness: rename graph_state -> app_state and automaton...
tree
|
commitdiff
2022-07-30
Martin Quinson
further reduce the amount of call sites for RemoteProce...
tree
|
commitdiff
2022-07-30
Martin Quinson
small cosmetics to not spread unrelated logic all aroun...
tree
|
commitdiff
2022-07-30
Martin Quinson
MC: make it clear that we only have the info about...
tree
|
commitdiff
2022-07-30
Martin Quinson
Reduce the amount of MC locations reading the memory...
tree
|
commitdiff
2022-07-22
Martin Quinson
Another attempt at PRELOADing mmalloc (WIP)
tree
|
commitdiff
2022-07-22
Augustin Degomme
Merge branch 'support-sendrecv-ti' into 'master'
tree
|
commitdiff
2022-07-21
Martin Quinson
Split mmalloc in a separate library
tree
|
commitdiff
2022-07-21
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2022-07-21
Martin Quinson
Separate mmalloc from xbt
tree
|
commitdiff
2022-07-21
Martin Quinson
Kill a function that is unused and unimplemented
tree
|
commitdiff
2022-07-13
Martin Quinson
mc::api: Inline a useless function
tree
|
commitdiff
2022-07-11
Arnaud Giersch
For sonar...
tree
|
commitdiff
2022-07-11
Martin Quinson
The variable is named LD_BIND_NOW so these lines were...
tree
|
commitdiff
2022-07-10
Martin Quinson
MC: allow to pass env variables to the verified application
tree
|
commitdiff
2022-07-05
Arnaud Giersch
Redundant initializations.
tree
|
commitdiff
2022-06-30
Arnaud Giersch
Merge branch 'dev-get-hostname-faster' into 'master'
tree
|
commitdiff
2022-06-30
Arnaud Giersch
Merge branch 'python_ptask' into 'master'
tree
|
commitdiff
2022-06-28
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2022-06-28
Arnaud Giersch
SMPI_is_inited() and smpi_enabled() have the same purpo...
tree
|
commitdiff
2022-06-27
Arnaud Giersch
Merge branch 's4u_enforce' into 'master'
tree
|
commitdiff
2022-06-24
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2022-06-23
Arnaud Giersch
Missing include (for uintptr_t).
tree
|
commitdiff
2022-06-21
Arnaud Giersch
Merge branch 'dev-cpuimpl-used' into 'master'
tree
|
commitdiff
2022-06-10
Martin Quinson
MC: better encapsulation design
tree
|
commitdiff
2022-06-02
Arnaud Giersch
Another batch of pointer-to-const (sonar).
tree
|
commitdiff
2022-05-30
Arnaud Giersch
Merge selected changes from branch 'simgrid-Jesse-McDon...
tree
|
commitdiff
2022-05-24
Arnaud Giersch
Sonar issues.
tree
|
commitdiff
2022-05-12
Arnaud Giersch
Rename variables to avoid shadowed declarations.
tree
|
commitdiff
2022-05-10
Arnaud Giersch
Update generator script to match the current code.
tree
|
commitdiff
2022-05-10
Arnaud Giersch
Concatenate nested namespaces (sonar).
tree
|
commitdiff
2022-05-10
Arnaud Giersch
Remove spurious "using" declarations.
tree
|
commitdiff
2022-05-09
Arnaud Giersch
Replace const reference to std::string by std::string_v...
tree
|
commitdiff
2022-05-06
Arnaud Giersch
Reduce scope for temporary variables.
tree
|
commitdiff
2022-05-06
Arnaud Giersch
Reduce scope for static variables.
tree
|
commitdiff
2022-05-06
Arnaud Giersch
Slighly improve readbility.
tree
|
commitdiff
2022-05-03
Arnaud Giersch
Kill unused variable.
tree
|
commitdiff
2022-05-03
Arnaud Giersch
Declare local variables inside the if statement.
tree
|
commitdiff
2022-05-03
Arnaud Giersch
Misc code simplifications guided by Sonar smells.
tree
|
commitdiff
2022-04-27
Arnaud Giersch
Use structured binding declarations (sonar, c++17).
tree
|
commitdiff
2022-04-25
Arnaud Giersch
Replace is_xxx::value with is_xxx_v (sonar, c++17).
tree
|
commitdiff
2022-03-31
Arnaud Giersch
Dead code elimination.
tree
|
commitdiff
2022-03-30
Martin Quinson
Merge branch 'add_missing_comm_python_bindings' into...
tree
|
commitdiff
2022-03-29
Martin Quinson
Merge branch 'dev-mailbox-clear' into 'master'
tree
|
commitdiff
2022-03-29
Arnaud Giersch
Propagate const pointer (thx sonar).
tree
|
commitdiff
2022-03-28
Arnaud Giersch
Const pointer.
tree
|
commitdiff
2022-03-28
Bruno Donassolo
Merge branch 'issue105' into 'master'
tree
|
commitdiff
2022-03-25
Arnaud Giersch
Cosmetics: don't talk about ActorIDTrait if it's not...
tree
|
commitdiff
2022-03-25
Arnaud Giersch
Remove unused member.
tree
|
commitdiff
2022-03-25
Arnaud Giersch
[sonar] Don't mix public and private members (mc::State).
tree
|
commitdiff
2022-03-25
Arnaud Giersch
[sonar] Don't mix public and private members (mc::Model...
tree
|
commitdiff
2022-03-24
Arnaud Giersch
Make maxpid a static member of ActorIDTrait.
tree
|
commitdiff
2022-03-23
Martin Quinson
Revalidate the tesh outputs after cosmetics to the...
tree
|
commitdiff
2022-03-23
Martin Quinson
Fix the dependency of inter-comm transitions
tree
|
commitdiff
2022-03-22
Martin Quinson
MC: be explicit when reaching an execution end (it...
tree
|
commitdiff
2022-03-22
Martin Quinson
Comm transitions are INDEP with non-comm transitions
tree
|
commitdiff
2022-03-22
Arnaud Giersch
A few Sonar smells.
tree
|
commitdiff
2022-03-20
Martin Quinson
MC: be more cautionous around MC_process_clock, the...
tree
|
commitdiff
2022-03-18
Martin Quinson
Specify actor in the MC traces
tree
|
commitdiff
2022-03-16
Arnaud Giersch
Kill dead code.
tree
|
commitdiff
2022-03-14
Arnaud Giersch
Update comments.
tree
|
commitdiff
2022-03-14
Arnaud Giersch
Mark smx_actor_t as deprecated.
tree
|
commitdiff
2022-03-13
Martin Quinson
Merge branch 'fix_bindings_mistakenly_set_as_member_fun...
tree
|
commitdiff
2022-03-13
Martin Quinson
Kill a useless static function
tree
|
commitdiff
2022-03-13
Martin Quinson
Move the actor lifecycle markers from Context to ActorImpl
tree
|
commitdiff
2022-03-11
Martin Quinson
Merge branch 'add_remaining_comm_sync_bindings' into...
tree
|
commitdiff
2022-03-09
Martin Quinson
further simpify the MC initialization on app side
tree
|
commitdiff
2022-03-09
Martin Quinson
Simplify the parameter passing while initializing the...
tree
|
commitdiff
2022-03-09
Martin Quinson
Update an outdated comment
tree
|
commitdiff
2022-03-09
Martin Quinson
Rename mc::SafetyChecker to mc::DFSExplorer
tree
|
commitdiff
2022-03-09
Martin Quinson
Rename mc::CheckerAlgorithm to mc::ExplorationAlgorithm...
tree
|
commitdiff
2022-03-08
Arnaud Giersch
Move Simcall from namespace simix to kernel::actor.
tree
|
commitdiff
2022-03-08
Arnaud Giersch
Make Simcall a real class.
tree
|
commitdiff
2022-03-04
Martin Quinson
Reimplement s4u::Barrier natively, and make them visibl...
tree
|
commitdiff
2022-03-03
Martin Quinson
Semaphore made observable from the Checker side
tree
|
commitdiff
2022-03-03
Martin Quinson
Display a nice error message when ptrace is not usable
tree
|
commitdiff
2022-03-01
Martin Quinson
Merge branch 'dev' into 'master'
tree
|
commitdiff
2022-03-01
Arnaud Giersch
Complete warning message [ci-skip].
tree
|
commitdiff
2022-03-01
Arnaud Giersch
[mc_dwarf] Another assert turns into warning.
tree
|
commitdiff
2022-03-01
Arnaud Giersch
Kill unused function.
tree
|
commitdiff
2022-03-01
Arnaud Giersch
const++
tree
|
commitdiff
2022-02-28
Arnaud Giersch
Pass std::function by const reference (sonar).
tree
|
commitdiff
2022-02-28
Arnaud Giersch
Minor sonar smells, and other cosmetics.
tree
|
commitdiff
2022-02-28
Arnaud Giersch
Put message handling in its own method (avoid nested...
tree
|
commitdiff
2022-02-28
Arnaud Giersch
One less global variable: session_singleton.
tree
|
commitdiff
2022-02-28
Arnaud Giersch
Kill dead code.
tree
|
commitdiff
2022-02-28
Arnaud Giersch
Useless lower-case alias.
tree
|
commitdiff
2022-02-28
Martin Quinson
kill some bits of mc::api::
tree
|
commitdiff
2022-02-27
Martin Quinson
Rename sg::k::actor::simcall ::actor::simcall_answered
tree
|
commitdiff
2022-02-27
Martin Quinson
MC: after all, checker does not need the list of dead...
tree
|
commitdiff
2022-02-24
Martin Quinson
Fix gcc MC builds
tree
|
commitdiff
2022-02-24
Martin Quinson
Test the dependencies of Mutex transitions
tree
|
commitdiff
2022-02-24
Arnaud Giersch
Ensure that MC session and checker are deleted.
tree
|
commitdiff
2022-02-24
Arnaud Giersch
Use simpler std::vector.
tree
|
commitdiff
next