Skip to content

Termination Detection: Dijkstra-Scholten and Shavit-Francez

Ertan Onur requested to merge github/fork/ozansz/master into master

Created by: ozansz

Progress

  • Dataset generator supporting grid, star and ERG topologies
  • Dijkstra-Scholten algorithm implementation
  • Shavit-Francez algorithm implementation
  • Semi-real-time simulation environment
  • Real-time metric plotting
  • GIF generation
  • Simulation dump analyzer & extractor

Merge request reports