AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2023-11-21	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	tree \| commitdiff
2023-11-21	Martin Quinson	Various sonar cleanups	tree \| commitdiff
2023-11-15	Martin Quinson	Merge branch 'battery-get-name' into 'master'	tree \| commitdiff
2023-11-13	Martin Quinson	MC: move the reversible_race logic to the Transition...	tree \| commitdiff
2023-11-12	Martin Quinson	Small typos in comments	tree \| commitdiff
2023-11-12	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	tree \| commitdiff
2023-11-10	mlaurent	Add debug info for reversible race construction	tree \| commitdiff
2023-11-09	mlaurent	Raffine reversible race calculation for MutexWait	tree \| commitdiff
2023-11-09	Martin Quinson	Cleanup work to make is_race_reversible() a method...	tree \| commitdiff
2023-11-09	mlaurent	Suppressed a bit too much of codes	tree \| commitdiff
2023-11-09	mlaurent	Clang format over some mc files	tree \| commitdiff
2023-11-09	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-11-09	mlaurent	Discard the wakeup tree when ODPOR reaches a disabled...	tree \| commitdiff
2023-11-08	Martin Quinson	Spit a message when ODPOR is not optimal	tree \| commitdiff
2023-11-08	mlaurent	Redondant line in insertion	tree \| commitdiff
2023-11-08	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-11-08	Martin Quinson	Fix ODPOR: overapproximate ReversibleRace (to not miss...	tree \| commitdiff
2023-11-08	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-11-08	mlaurent	Add debug log for ODPOR + required explaining comments	tree \| commitdiff
2023-11-08	Martin Quinson	Fix SemWai::ReversibleRace()	tree \| commitdiff
2023-11-07	Martin Quinson	Simply rewrap comments and reindent, no real change	tree \| commitdiff
2023-11-07	Martin Quinson	Improve the debug messages	tree \| commitdiff
2023-11-07	Martin Quinson	Tell the MC transition about the semaphore capacity...	tree \| commitdiff
2023-11-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-11-07	mlaurent	Add some debug info	tree \| commitdiff
2023-11-05	Martin Quinson	Another attempt to fix the printf issue on mac: don...	tree \| commitdiff
2023-11-05	Martin Quinson	Avoid casting errors in printf on MacOSX	tree \| commitdiff
2023-11-05	Martin Quinson	unify struct and class declarations	tree \| commitdiff
2023-11-05	Martin Quinson	Remove the stateful model-checking from the archive...	tree \| commitdiff
2023-11-03	Martin Quinson	Merge branch 'master' into simgrid-fork-changelog-plugins	tree \| commitdiff
2023-11-02	Martin Quinson	Fix MC builds	tree \| commitdiff
2023-11-02	Martin Quinson	MC: more debug messages	tree \| commitdiff
2023-11-02	Martin Quinson	MC: add an observer to sleep simcalls	tree \| commitdiff
2023-11-02	Martin Quinson	MC: display the 100 first transitions when we reach...	tree \| commitdiff
2023-07-10	Fred Suter	Merge remote-tracking branch 'origin/master' into jbod	tree \| commitdiff
2023-07-10	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	tree \| commitdiff
2023-07-10	Arnaud Giersch	Make function "const", and void copy by returning a...	tree \| commitdiff
2023-07-01	Martin Quinson	Don't send sbuff and rbuff to the MC checker	tree \| commitdiff
2023-06-29	Martin Quinson	Show the user-level call in MC backtraces	tree \| commitdiff
2023-06-29	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-06-29	Arnaud Giersch	Unused parameters (Sonar).	tree \| commitdiff
2023-06-29	Arnaud Giersch	Shadowed variables (Sonar).	tree \| commitdiff
2023-06-29	Arnaud Giersch	Pass large objects by reference to const (Sonar).	tree \| commitdiff
2023-06-29	Arnaud Giersch	The result of "std::move" should not be passed as a...	tree \| commitdiff
2023-06-28	Arnaud Giersch	Functions having rvalue reference arguments should...	tree \| commitdiff
2023-06-28	Arnaud Giersch	Fix: "std::move" should only be used where moving can...	tree \| commitdiff
2023-06-28	Arnaud Giersch	Replace redundant type with "auto" (Sonar).	tree \| commitdiff
2023-06-28	Arnaud Giersch	Remove nested code blocks (Sonar).	tree \| commitdiff
2023-06-28	Arnaud Giersch	Further little simplifications around "if" statements.	tree \| commitdiff
2023-06-28	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	tree \| commitdiff
2023-06-28	Martin Quinson	Merge branch 'master' into 'python_bindings_host_load_p...	tree \| commitdiff
2023-06-27	Arnaud Giersch	Use std::make_unique (Sonar).	tree \| commitdiff
2023-06-27	Arnaud Giersch	Respect coding style for boolean operators.	tree \| commitdiff
2023-06-27	Arnaud Giersch	Use the init-statement to reduce scope of local variabl...	tree \| commitdiff
2023-06-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-06-26	Arnaud Giersch	Whitespace cleanup (codefactor.io).	tree \| commitdiff
2023-06-24	Martin Quinson	sleep sets are not an option in MC. We always need...	tree \| commitdiff
2023-06-22	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	tree \| commitdiff
2023-06-20	Fred Suter	Merge branch 'master' into 'task-token'	tree \| commitdiff
2023-06-16	Arnaud Giersch	Merge branch 'fix-wakeup-tree-iterator' into 'master'	tree \| commitdiff
2023-06-16	Maxwell Pirtle	Fix WakeupTreeIterator bug comparing diff iterators	tree \| commitdiff
2023-06-16	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-06-15	Martin Quinson	MC: Give an ID to comms to not use their pointer value...	tree \| commitdiff
2023-06-13	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-06-09	Martin Quinson	Merge branch 'udpor-phase8' into 'master'	tree \| commitdiff
2023-06-09	Maxwell Pirtle	Only compute extensions for enabled events	tree \| commitdiff
2023-06-09	Maxwell Pirtle	Add events with implicit bottom event	tree \| commitdiff
2023-06-09	Maxwell Pirtle	Add partial implementation for MutexWait/MutexTest	tree \| commitdiff
2023-06-09	Maxwell Pirtle	Add ex(C) computation for mutex lock/unlock	tree \| commitdiff
2023-06-09	Maxwell Pirtle	Add tentative implementation of CommTest ex(C) pseudocode	tree \| commitdiff
2023-06-09	Maxwell Pirtle	Reorder loop processing in CommWait ex(C) comp	tree \| commitdiff
2023-06-09	Maxwell Pirtle	Add "working" UDPOR on small examples with CommWait...	tree \| commitdiff
2023-06-09	Maxwell Pirtle	Add ex(C) example with a small program	tree \| commitdiff
2023-06-09	Maxwell Pirtle	Add monotonically-increasing IDs for UnfoldingEvent	tree \| commitdiff
2023-06-09	Maxwell Pirtle	Expand sanity-check tests for CommSend/CommRecv transitions	tree \| commitdiff
2023-06-09	Maxwell Pirtle	Add preliminary basic tests for ex(C) computation	tree \| commitdiff
2023-06-07	Martin Quinson	Merge branch 'master' into 'master'	tree \| commitdiff
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-06-07	Arnaud Giersch	Another round of pointer-to-const for sonar.	tree \| commitdiff
2023-06-07	Arnaud Giersch	Disable maybe throwing move constructor (sonar).	tree \| commitdiff
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-06-06	Arnaud Giersch	Clang-tidy: readability-qualified-auto.	tree \| commitdiff
2023-06-06	Arnaud Giersch	Define classes with "class".	tree \| commitdiff
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	tree \| commitdiff
2023-06-05	Martin Quinson	Another struct/class mismatch between forward declarati...	tree \| commitdiff
2023-06-05	Martin Quinson	Please clang by not defaulting a constructor that it...	tree \| commitdiff
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-06-05	mlaurent	Fix stat missorder at the end of DFSexplorer	tree \| commitdiff
2023-06-05	Martin Quinson	Merge branch 'odpor-clean-ups' into 'master'	tree \| commitdiff
2023-06-05	Maxwell Pirtle	Complete missing docs for WakeupTreeNode	tree \| commitdiff
2023-06-05	Maxwell Pirtle	Add more documentation and fix forward declaration	tree \| commitdiff
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	tree \| commitdiff
2023-06-05	Martin Quinson	Merge branch 'rename-operation-task' into 'master'	tree \| commitdiff
2023-06-05	Martin Quinson	Merge branch 'odpor-implementation' into 'master'	tree \| commitdiff
2023-06-01	Maxwell Pirtle	Introduce ODPOR integration with multiple actions	tree \| commitdiff
2023-06-01	Martin Quinson	Merge branch 'python-repr' into 'master'	tree \| commitdiff
2023-06-01	Maxwell Pirtle	Add small test for insertions	tree \| commitdiff
2023-06-01	Arnaud Giersch	Add missing includes.	tree \| commitdiff
next

Clone of SimGrid repository with local patches

RSS Atom