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

This repository was archived by the owner on Feb 19, 2026. It is now read-only.

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: