AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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
2022-06-28	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	commit \| commitdiff \| tree
2022-06-28	Martin Quinson	Add a TESH for the new sthread feature	commit \| commitdiff \| tree
2022-06-27	Martin Quinson	Make sthread_inside_simgrid static into libsthread...	commit \| commitdiff \| tree
2022-06-26	Martin Quinson	make sthread work out of MC build trees	commit \| commitdiff \| tree
2022-06-25	Martin Quinson	tentative of implementing pthread_join, and to ensure...	commit \| commitdiff \| tree
2022-06-24	Martin Quinson	Make sure that sthread_inside_simgrid is initially...	commit \| commitdiff \| tree
2022-06-24	Martin Quinson	sthread is not a binary [anymore] but a library	commit \| commitdiff \| tree
2022-06-24	Martin Quinson	sthread does not exist on FreeBSD so don't break MC...	commit \| commitdiff \| tree
2022-06-24	Martin Quinson	Document one recent change	commit \| commitdiff \| tree
2022-06-24	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	commit \| commitdiff \| tree
2022-06-24	Martin Quinson	Ongoing attempt for sthread, an automatic intercepter...	commit \| commitdiff \| tree
2022-06-24	Martin Quinson	Add a function to determine whether SMPI is currently...	commit \| commitdiff \| tree
2022-06-12	Martin Quinson	Hint about how to configure with ninja instead of make	commit \| commitdiff \| tree
2022-06-10	Martin Quinson	MC: better encapsulation design	commit \| commitdiff \| tree
2022-05-10	Martin Quinson	Merge branch 'master' into 'master'	commit \| commitdiff \| tree
2022-05-10	Tom Cornebize	Enhance graphicator program	commit \| commitdiff \| tree
2022-04-14	Martin Quinson	specify in the doc that SMPI_PRETEND_CC is good for...	commit \| commitdiff \| tree
2022-04-14	Martin Quinson	typo	commit \| commitdiff \| tree
2022-03-30	Martin Quinson	Merge branch 'add_missing_comm_python_bindings' into...	commit \| commitdiff \| tree
2022-03-29	Martin Quinson	Merge branch 'dev-mailbox-clear' into 'master'	commit \| commitdiff \| tree
2022-03-28	Martin Quinson	Fix the generation of MBI test cases (and compile them...	commit \| commitdiff \| tree
2022-03-28	Martin Quinson	PVS fixes in MBI: initialize buffers before use	commit \| commitdiff \| tree
2022-03-28	Martin Quinson	MBI: cosmetics in a diagnostic	commit \| commitdiff \| tree
2022-03-28	Martin Quinson	BuildSimGrid.sh: allow the use of ninja	commit \| commitdiff \| tree
2022-03-28	Martin Quinson	Tiny cosmetics around MBI	commit \| commitdiff \| tree
2022-03-28	Martin Quinson	MBI: Do not use arrays out of bound	commit \| commitdiff \| tree
2022-03-26	Martin Quinson	MBI: typo	commit \| commitdiff \| tree
2022-03-26	Martin Quinson	MBI mark the test requiring the detection of local...	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom