2 Commits

Author	SHA1	Message	Date
Daniel Lubarov	ab5abc391d	Organize segments in an enum ... It's a bit more type-safe (can't mix up segment with context or virtual addr), and this way uniqueness of ordinals is enforced, partially addressing a concern raised in #591. To avoid making `Segment` public (which I don't think would be appropriate), I had to make some other visibility changes, and had to move `generate_random_memory_ops` into the test module.	2022-07-16 10:16:12 -07:00
Daniel Lubarov	e7b480deaf	Begin work on witness generation and kernel bootstrapping	2022-07-01 10:09:57 -07:00