AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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