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
Concatenate nested namespaces (sonar).
[simgrid.git]
/
src
/
mc
/
api.cpp
2022-05-10
Arnaud Giersch
Concatenate nested namespaces (sonar).
blob
|
commitdiff
|
raw
2022-03-30
Martin Quinson
Merge branch 'add_missing_comm_python_bindings' into...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-29
Martin Quinson
Merge branch 'dev-mailbox-clear' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
Arnaud Giersch
Const pointer.
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
Bruno Donassolo
Merge branch 'issue105' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
Arnaud Giersch
[sonar] Don't mix public and private members (mc::State).
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
Arnaud Giersch
[sonar] Don't mix public and private members (mc::Model...
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-09
Martin Quinson
Rename mc::SafetyChecker to mc::DFSExplorer
blob
|
commitdiff
|
raw
|
diff to current
2022-03-09
Martin Quinson
Rename mc::CheckerAlgorithm to mc::ExplorationAlgorithm...
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-01
Martin Quinson
Merge branch 'dev' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-03-01
Arnaud Giersch
Kill unused function.
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Arnaud Giersch
One less global variable: session_singleton.
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Martin Quinson
kill some bits of mc::api::
blob
|
commitdiff
|
raw
|
diff to current
2022-02-24
Arnaud Giersch
Ensure that MC session and checker are deleted.
blob
|
commitdiff
|
raw
|
diff to current
2022-02-24
Arnaud Giersch
Free xbt_automaton on Api::s_close.
blob
|
commitdiff
|
raw
|
diff to current
2022-02-21
Martin Quinson
Rename mc::Checker to mc::Exploration as it defines...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-19
Martin Quinson
Move another function of mc::api, to Transition
blob
|
commitdiff
|
raw
|
diff to current
2022-02-19
Martin Quinson
Kill two more unused functions in mc::api
blob
|
commitdiff
|
raw
|
diff to current
2022-02-19
Martin Quinson
MC: move a check_deadlock from ModelChecker to Session...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-19
Martin Quinson
Empty a bit mc::api namespace
blob
|
commitdiff
|
raw
|
diff to current
2022-02-18
Martin Quinson
MC: no need to read the remote request directly
blob
|
commitdiff
|
raw
|
diff to current
2022-02-17
Martin Quinson
CommDet shall become an extension of the SafetyChecker
blob
|
commitdiff
|
raw
|
diff to current
2022-02-13
Martin Quinson
Sonar fixes
blob
|
commitdiff
|
raw
|
diff to current
2022-02-12
Martin Quinson
Move dot_label() from Observer to Transition (+ some...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-12
Martin Quinson
Fix more sonar things
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Inline another stupid function
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Inline another useless function in MC and a define...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Inline a function of mc::api
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Big bang in MC: app's observers are serialized, to...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
Move the selection of the next transition to execute...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
Make Liveness and CommDet more similar to Safety
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
Automatize the computation of executed_transitions_
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
Move request_execute and request_to_string from api...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
Kill a now unused parameter
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
MC: Trade less use of executed_req for more network...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
MC: simplification: this function shall return a boolean
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
MC: Inline and simplify a function
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
MC: kill an unused function
blob
|
commitdiff
|
raw
|
diff to current
2022-02-06
SUTER Frederic
kill unused function
blob
|
commitdiff
|
raw
|
diff to current
2022-02-05
Martin Quinson
MC: Kill now unused fields
blob
|
commitdiff
|
raw
|
diff to current
2022-02-05
Martin Quinson
Don't compute the dependencies locally in the checker...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-05
Martin Quinson
MC: isend/irecv are not blocking
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
SUTER Frederic
remove old simcall_comm_test and simcall_comm_testany
blob
|
commitdiff
|
raw
|
diff to current
2022-02-03
SUTER Frederic
simcall translation is now useless
blob
|
commitdiff
|
raw
|
diff to current
2022-02-03
Martin Quinson
Merge branch 'wifi_rate_zero' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-02-03
SUTER Frederic
draft CommI{send,recv}Observer
blob
|
commitdiff
|
raw
|
diff to current
2022-02-03
Arnaud Giersch
Merge branch 'stable'
blob
|
commitdiff
|
raw
|
diff to current
2022-02-02
SUTER Frederic
more progress in simcalls modernization and MC cleanup
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
forgot to build MC
blob
|
commitdiff
|
raw
|
diff to current
2022-01-06
Arnaud Giersch
Update copyright lines for 2022.
blob
|
commitdiff
|
raw
|
diff to current
2021-12-22
Martin Quinson
MC: chop chop chop
blob
|
commitdiff
|
raw
|
diff to current
2021-12-22
Martin Quinson
mc: inline a function
blob
|
commitdiff
|
raw
|
diff to current
2021-12-22
Martin Quinson
mc: Kill dead code
blob
|
commitdiff
|
raw
|
diff to current
2021-09-14
SUTER Frederic
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2021-07-19
Arnaud Giersch
[pvs-studio] No need to assign variable the same value.
blob
|
commitdiff
|
raw
|
diff to current
2021-06-22
Arnaud Giersch
Make field 'mc::ActorState::times_considered' private.
blob
|
commitdiff
|
raw
|
diff to current
2021-06-22
Arnaud Giersch
Add missing copyright notices.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-30
Arnaud Giersch
Missing includes.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-23
Arnaud Giersch
Make SIMIX_simcall_name() use the type of observer_...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-19
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-04-06
Arnaud Giersch
Use a Remote<> for remote smpi::Request.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-03
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-04-02
Arnaud Giersch
Make mc::Api::get_actor_name return a const&.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Arnaud Giersch
FIXME++
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Arnaud Giersch
Render mc::Api::get_actor_name() public.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Martin Quinson
snake_case some surviving camels
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Martin Quinson
Actor's ID should be a long, and should be named AID
blob
|
commitdiff
|
raw
|
diff to current
2021-03-31
Arnaud Giersch
Save a reinterpret_cast.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-30
Arnaud Giersch
[mc] Don't retrieve actor hostname again if it's alread...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-30
Arnaud Giersch
[mc] Fix mc::Api::get_actor_host_name.
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-14
Martin Quinson
Move the logic of Api::get_maxpid() to RemoteProcess...
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-14
Martin Quinson
Remove more uses of the session global
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
cosmetics
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
The checker has the session and don't need the API...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
Kill a file that was almost empty
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
Kill some use of the mc_model_checker global variable
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
The checker now have a reference to the session
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
Rename model_checker->get_remote_simulation() into...
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
MC: simplify initialization and kill api::set_checker()
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
Martin Quinson
getraw is only useful when dealing with boost intrusive...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
inline simcall_check_dependency() now that it's called...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
MC: check dependency between 2 given requests only...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
request_depend_asymmetric(r1,r2) now tests when r1...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
Sort comm_* simcalls alphabetically
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
inline a function
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
Both request cannot be of the same type here
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
Only 4 simcalls are considered by indep theorems for now
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
MC: cosmetics and tiny code simplifications
blob
|
commitdiff
|
raw
|
diff to current
2021-03-12
Martin Quinson
MC: simix::unmarshal should NEVER be called automatically
blob
|
commitdiff
|
raw
|
diff to current
2021-03-12
Martin Quinson
cosmetics
blob
|
commitdiff
|
raw
|
diff to current
2021-03-11
Martin Quinson
s4u_synchro were renamed to activity in 2015, as far...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Arnaud Giersch
Modernize simcall mutex_lock.
blob
|
commitdiff
|
raw
|
diff to current
next