4 Commits

Author	SHA1	Message	Date
Daniel Lubarov	bfe86d70f5	Start with PC=route_txn instead of 0	2022-08-17 12:21:29 -07:00
Jacqueline Nabaglo	b98dd47820	Permission levels, jumps, traps (#653) ... * Permission levels, jumps, traps * Tests passing * PR comments + documentation * Docs + minor bugfixes * Tests * Use already-defined `stop` and `exception` (but renamed to `sys_stop`, `fault_exception`) * Daniel comments	2022-08-16 09:46:10 -07:00
Jacqueline Nabaglo	16c2bee4b9	Increment program counter on native instructions (#641)	2022-07-28 17:30:20 -07:00
Jacqueline Nabaglo	c160c4032d	Inter-row program counter constraints (#639) ... * Beginning of control flow support * Fixes to halt spin loop	2022-07-27 11:36:33 -07:00