GitHub - yegord/trencher: A tool for finding and fencing happens-before cycles in programs in an artificial assembly language

yegord / trencher Public

Notifications You must be signed in to change notification settings
Fork 4
Star 8

A tool for finding and fencing happens-before cycles in programs in an artificial assembly language

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 148 Commits
doc		doc
examples		examples
src		src
.gitignore		.gitignore
.ycm_extra_conf.py		.ycm_extra_conf.py
Makefile		Makefile
README		README

Repository files navigation

Trencher is a tool for checking and enforcing robustness against Total
Store Ordering.

For building instructions, see `doc/building.txt'.
For running instructions, see `doc/running.txt'.
The input format of Trencher is described in `doc/syntax.txt'.

Enjoy!

# vim:set et sts=4 sw=4 tw=72: