AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2023-07-01	Martin Quinson	Don't send sbuff and rbuff to the MC checker	commit \| commitdiff \| tree
2023-07-01	Martin Quinson	Don't break MC protocol if the user code has space...	commit \| commitdiff \| tree
2023-07-01	Martin Quinson	More verbose error and debug messages	commit \| commitdiff \| tree
2023-06-29	Martin Quinson	Fix MC builds	commit \| commitdiff \| tree
2023-06-29	Martin Quinson	Show the user-level call in MC backtraces	commit \| commitdiff \| tree
2023-06-29	Martin Quinson	Merge branch 'master' into 'master'	commit \| commitdiff \| tree
2023-06-28	Martin Quinson	python: make it so that the host_load functions are...	commit \| commitdiff \| tree
2023-06-28	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	commit \| commitdiff \| tree
2023-06-28	Martin Quinson	Merge branch 'python_bindings_host_load_plugin' into...	commit \| commitdiff \| tree
2023-06-28	Martin Quinson	Merge branch 'master' into 'python_bindings_host_load_plugin'	commit \| commitdiff \| tree
2023-06-28	Martin Quinson	Typo found by lintian	commit \| commitdiff \| tree
2023-06-27	Martin Quinson	MBI: use odpor by default, to speed things up	commit \| commitdiff \| tree
2023-06-26	Martin Quinson	Start a new development cycle	commit \| commitdiff \| tree
2023-06-26	Martin Quinson	Add the release date to the ChangeLog (woops)	commit \| commitdiff \| tree
2023-06-26	Martin Quinson	Release 3.34	commit \| commitdiff \| tree
2023-06-26	Martin Quinson	Revert "Remove deprecated features for the new next...	commit \| commitdiff \| tree
2023-06-26	Martin Quinson	Since we skip a release, use XBT_ATTRIB_DEPRECATED_v338...	commit \| commitdiff \| tree
2023-06-26	Martin Quinson	Improve the documentation of this release, and introduce...	commit \| commitdiff \| tree
2023-06-24	Martin Quinson	complete the release notes. They need more reviews	commit \| commitdiff \| tree
2023-06-24	Martin Quinson	sleep sets are not an option in MC. We always need...	commit \| commitdiff \| tree
2023-06-23	Martin Quinson	Extend the release notes with the work done until March 31.	commit \| commitdiff \| tree
2023-06-23	Martin Quinson	Reorg the MPI doc, and document SMPI_app_instance_start...	commit \| commitdiff \| tree
2023-06-22	Martin Quinson	Fix MC builds	commit \| commitdiff \| tree
2023-06-22	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	commit \| commitdiff \| tree
2023-06-22	Martin Quinson	Improve the release notes for MC	commit \| commitdiff \| tree
2023-06-22	Martin Quinson	Document source-set and DPOR options	commit \| commitdiff \| tree
2023-06-22	Martin Quinson	model-check/sleep-set is now true by default	commit \| commitdiff \| tree
2023-06-21	Martin Quinson	Increase a bit an example which size got reduced when...	commit \| commitdiff \| tree
2023-06-16	Martin Quinson	Fix indent in an example	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	fix the instructions on how to use local installs of...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	Fix the liveness tests by ignoring the Comm ID memory...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	Revalidate the tesh files after the recent MC depends...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	Do not consider the memory addresses in MC depends...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	MC: Give an ID to comms to not use their pointer value...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	Explain the relevant PYTHONPATH when installing from...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	Revalidate the MC tesh files after the recent changes...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	re-add --help-coll to the doc now that it's implemented	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	Tiny doc improvement	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	improve the doc of how to select the right algorithm	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	Explain the relevant PYTHONPATH when installing from...	commit \| commitdiff \| tree
2023-06-13	Martin Quinson	Revalidate the MC tesh files after the recent changes...	commit \| commitdiff \| tree
2023-06-13	Martin Quinson	re-add --help-coll to the doc now that it's implemented	commit \| commitdiff \| tree
2023-06-13	Martin Quinson	Tiny doc improvement	commit \| commitdiff \| tree
2023-06-13	Martin Quinson	improve the doc of how to select the right algorithm	commit \| commitdiff \| tree
2023-06-09	Martin Quinson	Merge branch 'udpor-phase8' into 'master'	commit \| commitdiff \| tree
2023-06-07	Martin Quinson	Merge branch 'master' into 'master'	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Install package non-interactively on CI	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Another struct/class mismatch between forward declaration...	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Enable the ODPOR/SDPOR tests in default builds also	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Please clang by not defaulting a constructor that it...	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Merge branch 'fix-sonar-task' into 'master'	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Merge branch 'odpor-clean-ups' into 'master'	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	CI pages: try to use the Debian version of the python...	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Remove a test that was indended to show that this branch...	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Use Debian:12 for our build deps	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Merge branch 'rename-operation-task' into 'master'	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Merge branch 'odpor-implementation' into 'master'	commit \| commitdiff \| tree
2023-06-01	Martin Quinson	Merge branch 'python-repr' into 'master'	commit \| commitdiff \| tree
2023-05-31	Martin Quinson	Merge branch 'doc-photovoltaic-plugin' into 'master'	commit \| commitdiff \| tree
2023-05-31	Martin Quinson	Merge branch 'operation-python' into 'master'	commit \| commitdiff \| tree
2023-05-31	Martin Quinson	Merge branch 'simgrid-fork-plugin-photovoltaic'	commit \| commitdiff \| tree
2023-05-30	Martin Quinson	GitHub action: update to actions/checkout@v3	commit \| commitdiff \| tree
2023-05-24	Martin Quinson	Specialize the Activity on_veto, on_suspend and on_resume...	commit \| commitdiff \| tree
2023-05-23	Martin Quinson	Hide a bit an internal method (make it protected)	commit \| commitdiff \| tree
2023-05-23	Martin Quinson	easy cleanup	commit \| commitdiff \| tree
2023-05-23	Martin Quinson	Give the on_this_ variant to all VM signals	commit \| commitdiff \| tree
2023-05-23	Martin Quinson	Sort the signals on the plugin page	commit \| commitdiff \| tree
2023-05-23	Martin Quinson	Rename Resource::on_state_change to Resource::on_onoff...	commit \| commitdiff \| tree
2023-05-23	Martin Quinson	Use the right version for the deprecate macro	commit \| commitdiff \| tree
2023-05-23	Martin Quinson	Give the _this_ variants to the Link signals	commit \| commitdiff \| tree
2023-05-23	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	commit \| commitdiff \| tree
2023-05-23	Martin Quinson	Various cleanups in the Host signals	commit \| commitdiff \| tree
2023-05-22	Martin Quinson	Add instance signals for all Disk signals	commit \| commitdiff \| tree
2023-05-22	Martin Quinson	Add instance signals for all Actor signals	commit \| commitdiff \| tree
2023-05-22	Martin Quinson	no need to save all ns3 sink points	commit \| commitdiff \| tree
2023-05-22	Martin Quinson	Rename cfg 'ns3/TcpModel' to 'ns3/UdpModel'	commit \| commitdiff \| tree
2023-05-22	Martin Quinson	Test that setting ns3 TCP models actually work	commit \| commitdiff \| tree
2023-05-22	Martin Quinson	cosmetics in the ChangeLog	commit \| commitdiff \| tree
2023-05-10	Martin Quinson	Fix make distcheck	commit \| commitdiff \| tree
2023-05-10	Martin Quinson	MC: Kill the now useless code State::get_recipe	commit \| commitdiff \| tree
2023-05-10	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	commit \| commitdiff \| tree
2023-05-10	Martin Quinson	DFS MC: Restore from system states even if we have...	commit \| commitdiff \| tree
2023-05-10	Martin Quinson	Merge branch 'dag-lab' into 'master'	commit \| commitdiff \| tree
2023-05-10	Martin Quinson	Merge branch 'changelog-operation-plugin' into 'master'	commit \| commitdiff \| tree
2023-05-04	Martin Quinson	Rename Link::get_usage() to Link::get_load() for consistency...	commit \| commitdiff \| tree
2023-05-03	Martin Quinson	One use less of get_recipe() that will soon die	commit \| commitdiff \| tree
2023-05-03	Martin Quinson	Factorize more code between DFSExplo and LivenessExplo...	commit \| commitdiff \| tree
2023-04-27	Martin Quinson	Lazily compute the recipe of a state, on need only	commit \| commitdiff \| tree
2023-04-27	Martin Quinson	More automatic memory mgmt in MC	commit \| commitdiff \| tree
2023-04-27	Martin Quinson	MC: give each state an incoming transition too	commit \| commitdiff \| tree
2023-04-27	Martin Quinson	Fix comment [no-ci]	commit \| commitdiff \| tree
2023-04-26	Martin Quinson	Merge branch 'operation-plugin' into 'master'	commit \| commitdiff \| tree
2023-04-18	Martin Quinson	Merge branch 'udpor-phase7' into 'master'	commit \| commitdiff \| tree
2023-04-17	Martin Quinson	sonar fixes	commit \| commitdiff \| tree
2023-04-16	Martin Quinson	Let resource profiles finish their initialization by...	commit \| commitdiff \| tree
2023-04-16	Martin Quinson	No need to presolve the models to finish their initializatio...	commit \| commitdiff \| tree
2023-04-16	Martin Quinson	Only fire on_platform_created after creating the platform...	commit \| commitdiff \| tree
2023-04-16	Martin Quinson	Add a target to recompile all ns3 tests (and only them)	commit \| commitdiff \| tree
2023-04-15	Martin Quinson	Make sure that we never have a 0 transition at the...	commit \| commitdiff \| tree
2023-04-15	Martin Quinson	Also send the disabled transitions over: UDPOR needs it	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom