4 Commits

Include renames

Author	SHA1	Message	Date
John T. Myers	3dd6d51c26	fix(cli): use local z3 in dev wrapper (#805) ... * fix(cli): use local z3 in dev wrapper Signed-off-by: John Myers <9696606+johntmyers@users.noreply.github.com> * fix(docker): add openshell-prover to Dockerfile skeleton stages --------- Signed-off-by: John Myers <9696606+johntmyers@users.noreply.github.com>	2026-04-10 13:36:19 -07:00
Drew Newberry	fbd93a4632	refactor: rename navigator- crate prefix to openshell- (#277)	2026-03-13 02:02:18 -07:00
Drew Newberry	d6c6e97679	chore: remove navigator references from codebase (#208)	2026-03-10 14:46:11 -07:00
Drew Newberry	984d1a6e5c	chore: rename project from NemoClaw to OpenShell (#198)	2026-03-10 11:49:09 -07:00