GitHub - iisc-seal/sparseracer

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 33 Commits
Debug		Debug
logging		logging
main		main
parser		parser
racedetector		racedetector
test		test
.cproject		.cproject
.gitignore		.gitignore
.project		.project
README		README
config.h		config.h
debugconfig.h		debugconfig.h

Repository files navigation

This repository contains the baseline implementation of race-detection algorithm
used in SparseRacer.

Compile:
	cd Debug
	make clean
	make

Run:
	./Debug/sparseracer <trace-file>

Note: This implementation applies only single-threaded rules