3 Commits (dd8152f7bb8b402c6aaa8af1b4db93d097bdbe67)

Author	SHA1	Message	Date
Slava Pestov	25805f9bfe	Refactoring low-level optimizer to support stack analysis pass	2009-05-26 19:31:19 -05:00
Slava Pestov	015b7afe93	compiler.cfg.checker: new check-rpo word	2009-05-26 02:58:40 -05:00
Slava Pestov	5d50f4eb5b	compiler.cfg.checker: new vocabulary for checking CFG invariants	2009-05-25 19:16:58 -05:00