AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2023-11-09	mlaurent	Raffine reversible race calculation for MutexWait	commit \| commitdiff \| tree
2023-11-09	mlaurent	Add a missing independence theorem about Mutex	commit \| commitdiff \| tree
2023-11-09	mlaurent	Fix some tesh after changing dependence relation about...	commit \| commitdiff \| tree
2023-11-09	mlaurent	Suppressed a bit too much of codes	commit \| commitdiff \| tree
2023-11-09	mlaurent	Clang format over some mc files	commit \| commitdiff \| tree
2023-11-09	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-11-09	mlaurent	Discard the wakeup tree when ODPOR reaches a disabled...	commit \| commitdiff \| tree
2023-11-08	mlaurent	Redondant line in insertion	commit \| commitdiff \| tree
2023-11-08	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-11-08	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-11-08	mlaurent	Add debug log for ODPOR + required explaining comments	commit \| commitdiff \| tree
2023-11-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-11-07	mlaurent	Add some debug info	commit \| commitdiff \| tree
2023-06-29	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-16	mlaurent	Stop using default mpi_call	commit \| commitdiff \| tree
2023-06-16	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-15	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-14	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-13	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-13	mlaurent	Fix missing fortran import	commit \| commitdiff \| tree
2023-06-13	mlaurent	Respect member order according to the initialisation...	commit \| commitdiff \| tree
2023-06-13	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-13	mlaurent	Fix test stats according to current dependency relation	commit \| commitdiff \| tree
2023-06-13	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-13	mlaurent	Add function call and full location in checker-side...	commit \| commitdiff \| tree
2023-06-07	mlaurent	Fix CI tests	commit \| commitdiff \| tree
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-07	mlaurent	Better strategy documentation	commit \| commitdiff \| tree
2023-06-07	mlaurent	Use xbt::random instead of rand and srand	commit \| commitdiff \| tree
2023-06-07	mlaurent	Better warning message for max-depth	commit \| commitdiff \| tree
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-06	mlaurent	Few more CI tesh fixing	commit \| commitdiff \| tree
2023-06-06	mlaurent	Fix stat order for CI tests	commit \| commitdiff \| tree
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-06	mlaurent	Fix Manifest.in	commit \| commitdiff \| tree
2023-06-06	mlaurent	Add factorisation for strategy and Use dynamic over...	commit \| commitdiff \| tree
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	commit \| commitdiff \| tree
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-05	mlaurent	Fix stat missorder at the end of DFSexplorer	commit \| commitdiff \| tree
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-06-05	mlaurent	Fix few typos and add random seed intializer	commit \| commitdiff \| tree
2023-05-16	mlaurent	Add some strategies and fix the semantics of Max/MinMatch	commit \| commitdiff \| tree
2023-04-03	mlaurent	Better handling of test any	commit \| commitdiff \| tree
2023-03-31	mlaurent	Try to copy penalties correctly	commit \| commitdiff \| tree
2023-03-31	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-03-31	mlaurent	Temporary fixes	commit \| commitdiff \| tree
2023-03-30	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-03-30	mlaurent	Rename guide as strategy and fix counter-example display...	commit \| commitdiff \| tree
2023-03-30	mlaurent	Replace state copy with recipe: list of transition...	commit \| commitdiff \| tree
2023-03-29	mlaurent	Add missing file	commit \| commitdiff \| tree
2023-03-28	mlaurent	Change opened states for a priority queue	commit \| commitdiff \| tree
2023-03-27	mlaurent	Abide by both compiler warnings	commit \| commitdiff \| tree
2023-03-27	mlaurent	Now handle random transition and multiple times transitions	commit \| commitdiff \| tree
2023-03-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-03-24	mlaurent	Add copy constructor to state, so we can backtrack...	commit \| commitdiff \| tree
2023-03-24	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-03-23	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-03-23	mlaurent	try to fix stack handling	commit \| commitdiff \| tree
2023-03-21	mlaurent	fix order of execute_next calls	commit \| commitdiff \| tree
2023-03-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-03-20	mlaurent	add wait guide and mofidication for the heuristic computation	commit \| commitdiff \| tree
2023-03-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-03-18	mlaurent	Bases for wait distance guide	commit \| commitdiff \| tree
2023-03-18	mlaurent	Move DPOR and sleep set algorithm from backtrack to...	commit \| commitdiff \| tree
2023-03-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-03-18	mlaurent	Replace todo direct access with consider methods; guided...	commit \| commitdiff \| tree
2023-03-18	mlaurent	BasicGuide handle next_transition if asked to	commit \| commitdiff \| tree
2023-03-18	mlaurent	Add GuidedState abstract class; move ActorState management	commit \| commitdiff \| tree
2023-03-17	mlaurent	Add reference to parent state: only use this creation...	commit \| commitdiff \| tree
2023-02-24	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-02-24	mlaurent	fix the done marking of multiple times taken transitions	commit \| commitdiff \| tree
2023-02-22	mlaurent	transitions in the same actor are dependent	commit \| commitdiff \| tree
2023-02-22	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-02-22	mlaurent	fix a few test with dpor	commit \| commitdiff \| tree
2023-02-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-02-17	mlaurent	Default is not to use sleep-set to agree with existing...	commit \| commitdiff \| tree
2023-02-17	mlaurent	match previous merge updates	commit \| commitdiff \| tree
2023-02-17	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-02-17	mlaurent	fix with full compiler warnings	commit \| commitdiff \| tree
2023-02-16	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-02-16	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-02-15	mlaurent	updated doc	commit \| commitdiff \| tree
2023-02-15	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-02-15	mlaurent	adding documentation	commit \| commitdiff \| tree
2023-02-14	mlaurent	adding option for sleep set	commit \| commitdiff \| tree
2023-02-13	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree
2023-02-13	mlaurent	adding sleep sets to reduction techniques	commit \| commitdiff \| tree
2023-02-10	mlaurent	Fix for MC DPOR algorithm	commit \| commitdiff \| tree

Clone of SimGrid repository with local patches

RSS Atom