2 Commits

Author	SHA1	Message	Date
Wilson Snyder	486d69da5f	Add --clk and related optimizations, msg1533.	2015-03-12 19:20:46 -04:00
Wilson Snyder	27686d8c2f	Add --no-order-clock-delay to work around bug613.	2013-09-30 16:52:43 -04:00