5 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Dan Frumin	517748db8a	add a fair warning to README.md	2019-06-14 19:52:10 +02:00
Dan Frumin	4dd4e4f383	Cleanup	2019-06-12 18:29:21 +02:00
Dan Frumin	8601f7c673	cleanup attempt	2018-02-14 17:33:01 +01:00
Dan Frumin	3e04c9afef	Update Rushby.v to std++	2018-02-14 17:27:31 +01:00
Dan Frumin	855ac3eff4	Initial import from darcs	2018-02-14 12:55:20 +01:00