Renaming and preparing to remove oracles #985

Merged

zxq9 merged 5 commits from gm2 into master

2025-03-13 12:53:02 +09:00

Author	SHA1	Message	Date
Craig Everett	d9f0f95bf7	Verup, new stdlib dir discovery All checks were successful Sophia Tests / tests (push) Successful in 48m12s Details	2025-02-25 16:08:31 +09:00
Craig Everett	a7ca22c209	Update test All checks were successful Sophia Tests / tests (push) Successful in 48m10s Details	2025-02-24 20:57:55 +09:00
Craig Everett	75043d0254	Update test Some checks failed Sophia Tests / tests (push) Failing after 46m57s Details	2025-02-24 20:55:54 +09:00
Craig Everett	937f9ed873	Add tests Some checks failed Sophia Tests / tests (push) Failing after 46m58s Details	2025-02-24 20:54:45 +09:00
Craig Everett	1b7a8e8fcd	Renaming and preparing to remove oracles	2025-02-24 20:46:47 +09:00