6 Commits

Author	SHA1	Message	Date
sophia	d135f24f49	Add target specialization tests	2022-05-02 15:52:36 -05:00
sophia	fb642616a8	Add minimal Machine/Target setup	2022-04-25 12:26:40 -05:00
sophia	70b71dc39e	Make no-op test work	2022-04-25 12:24:14 -05:00
sophia	8ca1a29e93	Setup a test target	2022-04-25 12:24:14 -05:00
sophia	afb2dcdc8b	Testing save point	2022-04-25 12:24:13 -05:00
sophia	21a9827d53	Specialize a target given a type, and return an interface	2022-04-25 12:24:13 -05:00