Termination Detection: Dijkstra-Scholten and Shavit-Francez
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