3 Commits

Author	SHA1	Message	Date
Robert Marsh	3c638b5966	C++: add edge-based predicates to IRGuards ... These predicates currently take a pair of `IRBlock`s - as it stands, at most one edge can exist from one `IRBlock` to a given other `IRBlock`. We may need to revisit that assumption and create an `IREdge` IPA type at some future date	2019-02-07 09:38:54 -08:00
Robert Marsh	b6cc6a3b23	C++: Fix BinaryLogicalOperators always being guards	2018-09-27 13:09:15 -07:00
Robert Marsh	d7e630b3c6	C++: Add IR-based port of Guards library ... For ease of reviewing, I've checked in the .expected files from the AST-based guards library. The next commit accepts output for these tests and adds tests that use getAST rather than the translation layer.	2018-09-20 10:06:16 -07:00