AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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