AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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	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
2022-08-02	Martin Quinson	Merge an initialization function into the constructor	commit \| commitdiff \| tree
2022-08-02	Martin Quinson	Rename mc::Session into mc::api::RemoteApp	commit \| commitdiff \| tree
2022-08-01	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	commit \| commitdiff \| tree
2022-08-01	Martin Quinson	Ensure that the verified application still works if...	commit \| commitdiff \| tree
2022-07-31	Martin Quinson	Kill a now useless variable	commit \| commitdiff \| tree
2022-07-31	Martin Quinson	sanitize things around FINALIZE_REPLY despite my laziness...	commit \| commitdiff \| tree
2022-07-31	Martin Quinson	Fix SMPI builds by reintroducing a killed MC function...	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	MC further cleanups (let it compile, this time)	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	MC: rename a file to sort out the mess	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	And now cleanup the App-side of cruft that was needed...	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	Finally kill mc::RemoteProcess::actors(). We now communicate...	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	Give read access to a private field	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	inline a function, kill a file	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	Well the last rogue call to RemoteProcess::actors(...	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	Liveness: rename graph_state -> app_state and automaton_stat...	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	further reduce the amount of call sites for RemoteProcess...	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	small cosmetics to not spread unrelated logic all around...	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	MC: make it clear that we only have the info about...	commit \| commitdiff \| tree
2022-07-30	Martin Quinson	Reduce the amount of MC locations reading the memory...	commit \| commitdiff \| tree
2022-07-29	Martin Quinson	Fix RST formatting + one URL in Release_Notes.rst	commit \| commitdiff \| tree
2022-07-29	Martin Quinson	If there is no LOCK in mmalloc anymore, then there...	commit \| commitdiff \| tree
2022-07-28	Martin Quinson	Remove the need of pthread_mutex in mmalloc, to allow...	commit \| commitdiff \| tree
2022-07-28	Martin Quinson	Kill useless complexity in mmalloc: one of the dlsym	commit \| commitdiff \| tree
2022-07-28	Martin Quinson	Allow dlsym to call free() on memory that is allocated...	commit \| commitdiff \| tree
2022-07-22	Martin Quinson	Another attempt at PRELOADing mmalloc (WIP)	commit \| commitdiff \| tree
2022-07-21	Martin Quinson	Fix build error due to clang-format reordering the...	commit \| commitdiff \| tree
2022-07-21	Martin Quinson	Split mmalloc in a separate library	commit \| commitdiff \| tree
2022-07-21	Martin Quinson	Further small simplifications to mmalloc, killing dead...	commit \| commitdiff \| tree
2022-07-21	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	commit \| commitdiff \| tree
2022-07-21	Martin Quinson	Separate mmalloc from xbt	commit \| commitdiff \| tree
2022-07-21	Martin Quinson	Kill a function that is unused and unimplemented	commit \| commitdiff \| tree
2022-07-13	Martin Quinson	sthread: correctly switch to within simgrid when calling...	commit \| commitdiff \| tree
2022-07-13	Martin Quinson	mc::api: Inline a useless function	commit \| commitdiff \| tree
2022-07-13	Martin Quinson	Make sure that all MC tests are built on target tests-mc	commit \| commitdiff \| tree
2022-07-13	Martin Quinson	mmalloc: rename a symbol to prepare further refactorings	commit \| commitdiff \| tree
2022-07-11	Martin Quinson	The variable is named LD_BIND_NOW so these lines were...	commit \| commitdiff \| tree
2022-07-10	Martin Quinson	Survive with old cmakes	commit \| commitdiff \| tree
2022-07-10	Martin Quinson	Compile pthread-mutex-simple in a way that allows its...	commit \| commitdiff \| tree
2022-07-10	Martin Quinson	MC: allow to pass env variables to the verified application	commit \| commitdiff \| tree
2022-07-10	Martin Quinson	sthread: Intercept gettimeofday + sleep + usleep	commit \| commitdiff \| tree
2022-07-02	Martin Quinson	sthread: don't intercept the main when run from smpirun	commit \| commitdiff \| tree
2022-07-02	Martin Quinson	Adapt to the upcoming ns-3 v3.36.1	commit \| commitdiff \| tree
2022-06-29	Martin Quinson	Disable sthread at the end of the sthread_main	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom