AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2023-03-21	Martin Quinson	Make sure that the dtor of CheckerSide actually kills...	commit \| commitdiff \| tree
2023-03-21	Martin Quinson	Fix the liveness tests when the reforks are compiled...	commit \| commitdiff \| tree
2023-03-20	Martin Quinson	Manually handle the memory associated to the libevent...	commit \| commitdiff \| tree
2023-03-20	Martin Quinson	Do not initialize the App's memory introspection if...	commit \| commitdiff \| tree
2023-03-20	Martin Quinson	Put everything in position to re-fork the verified App	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	cosmetics	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Move more of the CheckerSide creation logic to the...	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	MC: disable Address Space Layout Randomization in the...	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Differ the creation of the RemoteProcessMemory to when...	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Better responsabilities splitup between CheckerSide...	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Move methods not related to Memory out of RemoteProcessMemory	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Finally kill the now empty ModelChecker class	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Move the memory handling of RemoteProcessMemory singleton...	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Move handle_message from ModelChecker to RemoteProcessMemory	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Move handle_waitpid from ModelChecker to RemoteProcessMemory	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Make a global singleton of Exploration, to kill ModelChecker	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Gosh, how many calls to that global were there?	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Kill a now unused class in mc	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Remove some more usage of mc_model_checker in Region...	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Another use of mc_model_checker disapears. In Snapshot...	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	another mc_model_checker call location disappears	commit \| commitdiff \| tree
2023-03-19	Martin Quinson	Fix make distcheck	commit \| commitdiff \| tree
2023-03-18	Martin Quinson	Fix MC+clang builds	commit \| commitdiff \| tree
2023-03-18	Martin Quinson	Reduce a bit the adherance of handle_waitpid to ModelChecker	commit \| commitdiff \| tree
2023-03-18	Martin Quinson	Merge branch 'master' into 'master'	commit \| commitdiff \| tree
2023-03-18	Martin Quinson	Merge CheckerSide::start() intp the constructor	commit \| commitdiff \| tree
2023-03-18	Martin Quinson	Better split of responsabilities between CheckerSide...	commit \| commitdiff \| tree
2023-03-18	Martin Quinson	Move the checker_side_ from the ModelChecker to the...	commit \| commitdiff \| tree
2023-03-18	Martin Quinson	One usage of mc_model_checker less	commit \| commitdiff \| tree
2023-03-17	Martin Quinson	Simplify Channel::receive by handling non-blocking...	commit \| commitdiff \| tree
2023-03-17	Martin Quinson	A few calls to mc_model_checker less by passing more...	commit \| commitdiff \| tree
2023-03-17	Martin Quinson	Move handle_simcall from ModelChecker to RemoteApp	commit \| commitdiff \| tree
2023-03-17	Martin Quinson	Merge branch 'master' into 'master'	commit \| commitdiff \| tree
2023-03-15	Martin Quinson	Sanitize how we know the current MC mode	commit \| commitdiff \| tree
2023-03-15	Martin Quinson	Make it compile with all warnings enabled	commit \| commitdiff \| tree
2023-03-15	Martin Quinson	Document a future cleanup to do when we bump cmake...	commit \| commitdiff \| tree
2023-03-13	Martin Quinson	Test for JSON before using it	commit \| commitdiff \| tree
2023-03-13	Martin Quinson	Cosmetics	commit \| commitdiff \| tree
2023-03-13	Martin Quinson	fix make distcheck	commit \| commitdiff \| tree
2023-03-13	Martin Quinson	Correctly protect tests property settings, bummer	commit \| commitdiff \| tree
2023-03-13	Martin Quinson	Give the remote_process_memory to the mc::State constructor	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	Move another function of ModelChecker to RemoteProcessMemory	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	Move another function out of ModelChecker	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	Move a function from ModelChecker to Exploration	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	move wait_for_requests() from ModelChecker to RemoteApp	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	Inline a function in ModelChecker	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	Move one method from ModelChecker to Exploration	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	Move 2 functions from mc::ModelChecker to mc::RemoteApp	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	Make the sendsend tests at least fail fast to not hinder...	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	Clean leftovers	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	MC: stop reading maxpid in memory, but ask it over...	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	One use less of the global mc_model_checker	commit \| commitdiff \| tree
2023-03-12	Martin Quinson	This seems to reduce the amount of failure, but I don...	commit \| commitdiff \| tree
2023-03-10	Martin Quinson	Merge branch 'udpor-phase5' into 'master'	commit \| commitdiff \| tree
2023-03-10	Martin Quinson	Try to avoid a segfault on assert message	commit \| commitdiff \| tree
2023-03-08	Martin Quinson	Merge branch 'udpor-phase4' into 'master'	commit \| commitdiff \| tree
2023-03-06	Martin Quinson	Fix clang build and make output more portable/predictible	commit \| commitdiff \| tree
2023-03-06	Martin Quinson	sthread: Add a way to verify accesses to non-reentrant...	commit \| commitdiff \| tree
2023-03-06	Martin Quinson	Cosmetics in sthread output when not using SMPI	commit \| commitdiff \| tree
2023-03-05	Martin Quinson	Merge branch 'maximal-subset-search' into 'master'	commit \| commitdiff \| tree
2023-03-03	Martin Quinson	Fix a useless change -- and go get some sleep	commit \| commitdiff \| tree
2023-03-03	Martin Quinson	Bump cmake to at least 3.12	commit \| commitdiff \| tree
2023-03-03	Martin Quinson	python3-dev is another dependency of the Python bindings	commit \| commitdiff \| tree
2023-03-03	Martin Quinson	Reindent -- almost no real change	commit \| commitdiff \| tree
2023-03-03	Martin Quinson	fix MC + gcc builds	commit \| commitdiff \| tree
2023-03-03	Martin Quinson	Move the implem of a function out of the header to...	commit \| commitdiff \| tree
2023-03-03	Martin Quinson	Move the PageStore from ModelChecker to RemoteApp	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	Move the stats of visited_states count from ModelChecker...	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	Move the dot_output from ModelChecker to Exploration	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	One reference to the global singleton mc_model_checker...	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	Rename some fields to obey our coding standard	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	Allow to call SMPI_app_instance_start() once the simulation...	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	Fix a typo found by clang in MC builds	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	GH action: build out of sources	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	Install python deps on GHaction + better documentation...	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	Mais quel débile, punaise	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	MC builds have specific dependencies	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	GH action: ninja is verbose on error anyway	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	GH action: use the correct package name	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	gh action: we need 'sudo' here	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	GH action: install deps	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	GH action: use existing runners	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	messing with git actions	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	Fix yaml syntax :(	commit \| commitdiff \| tree
2023-03-02	Martin Quinson	Add a github action to test our git on Debian11, regular...	commit \| commitdiff \| tree
2023-03-01	Martin Quinson	New function SMPI_app_instance_start() to easily start...	commit \| commitdiff \| tree
2023-03-01	Martin Quinson	Try to fix a fixme blindly, just in case it was easy	commit \| commitdiff \| tree
2023-02-28	Martin Quinson	Fix make distcheck	commit \| commitdiff \| tree
2023-02-28	Martin Quinson	doc: Rework the intro pages	commit \| commitdiff \| tree
2023-02-27	Martin Quinson	Plug a memleak + experience that code out of the MC...	commit \| commitdiff \| tree
2023-02-27	Martin Quinson	cosmetics in docs	commit \| commitdiff \| tree
2023-02-27	Martin Quinson	Asynchronous locks and fluid I/O streams were aded...	commit \| commitdiff \| tree
2023-02-27	Martin Quinson	Add 3 figures to the design goals + minor rewording	commit \| commitdiff \| tree
2023-02-27	Martin Quinson	Update release notes	commit \| commitdiff \| tree
2023-02-26	Martin Quinson	Allow to control the problem size from the cmd line...	commit \| commitdiff \| tree
2023-02-26	Martin Quinson	Revalidate a tesh file (result of a merge error)	commit \| commitdiff \| tree
2023-02-26	Martin Quinson	Use bool for booleans	commit \| commitdiff \| tree
2023-02-26	Martin Quinson	Kill a now useless field	commit \| commitdiff \| tree
2023-02-26	Martin Quinson	Merge branch 'master' into 'master'	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom