AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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-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
2022-03-26	Martin Quinson	MBI: buffer on stack is a programming error, not a...	commit \| commitdiff \| tree
2022-03-26	Martin Quinson	MBI test: disply the right buffer on error	commit \| commitdiff \| tree
2022-03-26	Martin Quinson	Resynch MBI generators with upstream	commit \| commitdiff \| tree
2022-03-26	Martin Quinson	Reactivate the last MBI generator now that it produces...	commit \| commitdiff \| tree
2022-03-25	Martin Quinson	Expose signals Activity::on_suspend and Activity::on_resume...	commit \| commitdiff \| tree
2022-03-25	Martin Quinson	kill a signal that never worked anyway	commit \| commitdiff \| tree
2022-03-25	Martin Quinson	Yet another tiny improvement to the release process	commit \| commitdiff \| tree
2022-03-24	Martin Quinson	kill trailing spaces and tabs in MBI files	commit \| commitdiff \| tree
2022-03-24	Martin Quinson	Sync MBI generators with upstream modifications	commit \| commitdiff \| tree
2022-03-24	Martin Quinson	Remove a reference to gforge from the README	commit \| commitdiff \| tree
2022-03-23	Martin Quinson	Revalidate the tesh outputs after cosmetics to the...	commit \| commitdiff \| tree
2022-03-23	Martin Quinson	Fix the dependency of inter-comm transitions	commit \| commitdiff \| tree
2022-03-22	Martin Quinson	tiny fix in release process	commit \| commitdiff \| tree
2022-03-22	Martin Quinson	MC: be explicit when reaching an execution end (it...	commit \| commitdiff \| tree
2022-03-22	Martin Quinson	Comm transitions are INDEP with non-comm transitions	commit \| commitdiff \| tree
2022-03-22	Martin Quinson	Fix the release date in the release notes	commit \| commitdiff \| tree
2022-03-22	Martin Quinson	Release v3.31	commit \| commitdiff \| tree
2022-03-22	Martin Quinson	Update tuto MC to the latest tool output	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom