AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2022-11-01	Martin Quinson	Display the stack of each actor during a MC replay...	commit \| commitdiff \| tree
2022-10-31	Martin Quinson	MC replay: check whether there is a deadlock after...	commit \| commitdiff \| tree
2022-10-31	Martin Quinson	Align the behavior of MC and MC_replay in SMPI, so...	commit \| commitdiff \| tree
2022-10-31	Martin Quinson	Be more verbose on the blocking transition when displaying...	commit \| commitdiff \| tree
2022-10-30	Martin Quinson	MC_replay: Ensure that times_considered is always set	commit \| commitdiff \| tree
2022-10-30	Martin Quinson	MBI: display the expected diagnostic on error	commit \| commitdiff \| tree
2022-10-25	Martin Quinson	More x -> varrho in the doc	commit \| commitdiff \| tree
2022-10-25	Martin Quinson	Try to make the abort() inconditionnal in failed xbt_assert...	commit \| commitdiff \| tree
2022-10-25	Martin Quinson	Add a ref to the disk paper	commit \| commitdiff \| tree
2022-10-25	Martin Quinson	Arnaud prefers ϱ to x (+depict the simulated platform)	commit \| commitdiff \| tree
2022-10-25	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	commit \| commitdiff \| tree
2022-10-25	Martin Quinson	Draft a first version of the Models chapter in the doc	commit \| commitdiff \| tree
2022-10-24	Martin Quinson	doc: link to some more existing examples	commit \| commitdiff \| tree
2022-10-24	Martin Quinson	Fix non-smpi builds	commit \| commitdiff \| tree
2022-10-23	Martin Quinson	Make the factor callbacks private in NetworkModelFactors	commit \| commitdiff \| tree
2022-10-23	Martin Quinson	Move get_{bandwidth,latency}_factor to the NetworkModelFacto...	commit \| commitdiff \| tree
2022-10-23	Martin Quinson	Cleanups. Kill useless code	commit \| commitdiff \| tree
2022-10-23	Martin Quinson	Rename NetworkModelIntf into NetworkModelFactors	commit \| commitdiff \| tree
2022-10-23	Martin Quinson	Move set_lat_factor_cb and friends to NetworkModelFactors	commit \| commitdiff \| tree
2022-10-23	Martin Quinson	Change public NetworkModelIntf.hpp into private NetworkModel...	commit \| commitdiff \| tree
2022-10-23	Martin Quinson	Allow to set the network factors callback from userland...	commit \| commitdiff \| tree
2022-10-23	Martin Quinson	Move FactorSet from smpi::utils to kernel::resource	commit \| commitdiff \| tree
2022-10-23	Martin Quinson	Rewrite the doc of the bw and latency factors	commit \| commitdiff \| tree
2022-10-23	Martin Quinson	Merge network/bandwidth-factor and smpi/bw-factor ...	commit \| commitdiff \| tree
2022-10-22	Martin Quinson	Hide cfg_latency_factor and bw, and change them into...	commit \| commitdiff \| tree
2022-10-22	Martin Quinson	Parameters 'network/latency-factor' and bandwidth-factor...	commit \| commitdiff \| tree
2022-10-22	Martin Quinson	Also cleanup the network/weight-S parameter	commit \| commitdiff \| tree
2022-10-22	Martin Quinson	Cleanups around network/latency-factor. Default latency...	commit \| commitdiff \| tree
2022-10-22	Martin Quinson	Inline the parse_factor function now that FactorSet...	commit \| commitdiff \| tree
2022-10-22	Martin Quinson	Reduce the exposition of s_smpi_factor_t	commit \| commitdiff \| tree
2022-10-22	Martin Quinson	further refacto smpi_factors to reduce dupplication	commit \| commitdiff \| tree
2022-10-22	Martin Quinson	Introduce class simgrid::smpi::utils::FactorSet to...	commit \| commitdiff \| tree
2022-10-22	Martin Quinson	Reduce dupplication around smpi factors	commit \| commitdiff \| tree
2022-10-21	Martin Quinson	Kill an unused declaration	commit \| commitdiff \| tree
2022-10-21	Martin Quinson	fix the parameter of a strncpy call	commit \| commitdiff \| tree
2022-10-21	Martin Quinson	Doc: link another python example (+ typo)	commit \| commitdiff \| tree
2022-10-21	Martin Quinson	in MC mode, failed xbt_assert() are reported as MC_assert()s	commit \| commitdiff \| tree
2022-10-17	Martin Quinson	Fix non-MC builds that don't have libevent-dev installed	commit \| commitdiff \| tree
2022-10-16	Martin Quinson	Kill redundent sanity checks	commit \| commitdiff \| tree
2022-10-16	Martin Quinson	Don't include simgrid/config.h from simgrid/modelchecker...	commit \| commitdiff \| tree
2022-10-16	Martin Quinson	Deal with PTHREAD_STATIC_INITIALIZER if it behave as...	commit \| commitdiff \| tree
2022-10-16	Martin Quinson	Add a sthread+MC example that deadlocks	commit \| commitdiff \| tree
2022-10-16	Martin Quinson	Rename the transitions so that asynchronous ones clearly...	commit \| commitdiff \| tree
2022-10-16	Martin Quinson	Add a sthread example that works (no deadlock)	commit \| commitdiff \| tree
2022-10-16	Martin Quinson	Implement pthread_join in MC mode for sthread	commit \| commitdiff \| tree
2022-10-10	Martin Quinson	MBI: don't even run the concurrency tests. Save white...	commit \| commitdiff \| tree
2022-10-10	Martin Quinson	MBI: use file globbing to make sure that we don't forget...	commit \| commitdiff \| tree
2022-10-10	Martin Quinson	MBI: Properly integrate the Epoch lifecycle tests into...	commit \| commitdiff \| tree
2022-10-10	Martin Quinson	Only add a barrier to 8 collectives. The other ones...	commit \| commitdiff \| tree
2022-10-10	Martin Quinson	Fix windows build by not declaring XBT_PUBLIC an inline...	commit \| commitdiff \| tree
2022-10-10	Martin Quinson	MBI.py: More informative error message on failure	commit \| commitdiff \| tree
2022-10-10	Martin Quinson	New option to detect dangerous code mixing collectives...	commit \| commitdiff \| tree
2022-10-10	Martin Quinson	Allow to pass aliases to declare_flag	commit \| commitdiff \| tree
2022-10-10	Martin Quinson	MBI: re-mark as WILL_FAIL some tests that require to...	commit \| commitdiff \| tree
2022-10-06	Martin Quinson	Document the recent https://framagit.org/simgrid/simgrid...	commit \| commitdiff \| tree
2022-10-06	Martin Quinson	typo in the tutorial	commit \| commitdiff \| tree
2022-10-06	Martin Quinson	Let the latest MBI tests compile with our paranoid...	commit \| commitdiff \| tree
2022-10-06	Pierre-Antoine Rouby	teshsuite: smpi: MBI: Merge change form MBI.	commit \| commitdiff \| tree
2022-10-06	Martin Quinson	We don't use doxygen to build the docs anymore	commit \| commitdiff \| tree
2022-10-06	Martin Quinson	Integrate the patch javadoc-openjdk17 from Debian	commit \| commitdiff \| tree
2022-10-04	Martin Quinson	docker-stable gh action: push all tags; display the...	commit \| commitdiff \| tree
2022-10-03	Martin Quinson	Start the next dev cycle	commit \| commitdiff \| tree
2022-10-03	Martin Quinson	Release v3.32: The Wiedervereinigung release	commit \| commitdiff \| tree
2022-10-03	Martin Quinson	Fix an error message	commit \| commitdiff \| tree
2022-10-02	Martin Quinson	Draft of release notes	commit \| commitdiff \| tree
2022-10-02	Martin Quinson	Tentative NEWS file for the 3.32 release	commit \| commitdiff \| tree
2022-10-02	Martin Quinson	docs: tiny improvement about cmake+SMPI in user code	commit \| commitdiff \| tree
2022-10-02	Martin Quinson	More helpful error message when someone needs --cfg...	commit \| commitdiff \| tree
2022-10-02	Martin Quinson	Cosmetics in the ChangeLog	commit \| commitdiff \| tree
2022-10-02	Martin Quinson	Document all commits since 3.31. The changelog may...	commit \| commitdiff \| tree
2022-10-02	Martin Quinson	Hint the users about how to avoid dwarf5 errors around MC	commit \| commitdiff \| tree
2022-09-08	Martin Quinson	CentOS uses dnf nowadays	commit \| commitdiff \| tree
2022-08-09	Martin Quinson	MC: apply some sonar advices	commit \| commitdiff \| tree
2022-08-08	Martin Quinson	Don't test statequality: it's ~15h w/o DPOR and hard...	commit \| commitdiff \| tree
2022-08-08	Martin Quinson	Correctly disable DPOR when StateEq reduction is enabled	commit \| commitdiff \| tree
2022-08-08	Martin Quinson	Add the teshfiles to the archive even when MC is disabled	commit \| commitdiff \| tree
2022-08-08	Martin Quinson	Add tests of state equality reduction and nodpor for...	commit \| commitdiff \| tree
2022-08-07	Martin Quinson	kill a parameter that is always true	commit \| commitdiff \| tree
2022-08-07	Martin Quinson	mc:DFSExplo: cosmetics in the backtracking	commit \| commitdiff \| tree
2022-08-07	Martin Quinson	Merge mc_safety.hpp into DFSExplorer class	commit \| commitdiff \| tree
2022-08-07	Martin Quinson	Useless cosmetics while trying to understand that code	commit \| commitdiff \| tree
2022-08-07	Martin Quinson	Integrate the (WIP) hashing logic in the Snapshot object	commit \| commitdiff \| tree
2022-08-07	Martin Quinson	Small cleanups in mc::Snapshot	commit \| commitdiff \| tree
2022-08-06	Martin Quinson	Finish the removal of mc::api by moving the last bits...	commit \| commitdiff \| tree
2022-08-06	Martin Quinson	Move mc:api::get_remote_heap_bytes() to RemoteProcess	commit \| commitdiff \| tree
2022-08-06	Martin Quinson	Convert simgrid::mc::snapshot_equal() into Snapshot...	commit \| commitdiff \| tree
2022-08-06	Martin Quinson	Move the dot_output global into ModelChecker	commit \| commitdiff \| tree
2022-08-06	Martin Quinson	Make the RemoteApp a field of the Exploration, and...	commit \| commitdiff \| tree
2022-08-05	Martin Quinson	Simplify the MC initialization code	commit \| commitdiff \| tree
2022-08-04	Martin Quinson	only 3 more functions to go in mc::api	commit \| commitdiff \| tree
2022-08-04	Martin Quinson	Kill another mc::api function	commit \| commitdiff \| tree
2022-08-04	Martin Quinson	Pass the remote app as a parameter to all exploration...	commit \| commitdiff \| tree
2022-08-04	Martin Quinson	Kill 2 more functions from mc::api	commit \| commitdiff \| tree
2022-08-03	Martin Quinson	Move the automaton from mc::api to Liveness. An ugly...	commit \| commitdiff \| tree
2022-08-02	Martin Quinson	log_state has nothing to do in RemoteApp, it belongs...	commit \| commitdiff \| tree
2022-08-02	Martin Quinson	Sanitize MC finalization process and inline a function	commit \| commitdiff \| tree
2022-08-02	Martin Quinson	Kill mc::api::get_remote_app()	commit \| commitdiff \| tree
2022-08-02	Martin Quinson	Kill another function of mc::api	commit \| commitdiff \| tree
2022-08-02	Martin Quinson	Kill an unimplemented declaration	commit \| commitdiff \| tree
2022-08-02	Martin Quinson	Convert Api::get_maxpid() into RemoteApp::get_maxpid()	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom