4 Commits

Author	SHA1	Message	Date
Jacqueline Nabaglo	912281de9b	CTL: limbs (CPU) <-> bits (logic) (#577) ... * CTL: limbs (CPU) <-> bits (logic) * Minor: stray TODO mark * Document Zero op * Util for constructing an int from bits	2022-06-25 13:34:04 -07:00
Jacqueline Nabaglo	3aaab765dd	define columns for CTL closer to the constraints (#573)	2022-06-21 10:28:44 -07:00
Jacqueline Nabaglo	1cc000d3e1	Connect logic stark to CPU (#569) ... * WIP: connect logic stark to CPU * Tests passing	2022-06-17 11:57:14 -07:00
Jacqueline Nabaglo	732002691b	Logic stark (#562) ... * Logic stark * Refactor for style	2022-06-13 10:34:33 -07:00