QPQ-AG/sophia
12
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Renaming and preparing to remove oracles #985

Merged
zxq9 merged 5 commits from gm2 into master 2025-03-13 12:53:02 +09:00
Conversation 1 Commits 5 Files Changed 70
+927 -1633
zxq9 commented 2025-02-24 20:55:49 +09:00
Owner
Copy Link
Copy Source

A few references to oracles still remain, but they have been removed as a feature, at least.

A few references to oracles still remain, but they have been removed as a feature, at least.
zxq9 added 1 commit 2025-02-24 20:55:49 +09:00
Renaming and preparing to remove oracles 1b7a8e8fcd
zxq9 requested review from dimitar.p.ivanov 2025-02-24 20:56:02 +09:00
zxq9 requested review from spivee 2025-02-24 20:56:02 +09:00
zxq9 requested review from uwiger 2025-02-24 20:56:03 +09:00
zxq9 added 1 commit 2025-02-24 20:58:52 +09:00
Add tests
Sophia Tests / tests (push) Failing after 46m58s
Details
937f9ed873
zxq9 added 1 commit 2025-02-24 20:59:59 +09:00
Update test
Sophia Tests / tests (push) Failing after 46m57s
Details
75043d0254
zxq9 added 1 commit 2025-02-24 21:02:02 +09:00
Update test
Sophia Tests / tests (push) Successful in 48m10s
Details
a7ca22c209
zxq9 added 1 commit 2025-02-25 16:12:59 +09:00
Verup, new stdlib dir discovery
Sophia Tests / tests (push) Successful in 48m12s
Details
d9f0f95bf7
uwiger approved these changes 2025-03-03 20:02:20 +09:00
zxq9 merged commit dbab49936d into master 2025-03-13 12:53:02 +09:00
zxq9 deleted branch gm2 2025-03-13 12:53:02 +09:00
Sign in to join this conversation.
Reviewers
No Reviewers
dimitar.p.ivanov
spivee
uwiger
Labels
Clear labels
WIP
bug
consensus-breaking
dependencies
documentation
duplicate
effort: high
effort: low
effort: medium
effort: trivial
enhancement
good first issue
help wanted
invalid
maintenance
question
task/feature
todo-in-rewrite
wontfix
bug
Something is not working
 duplicate
This issue or pull request already exists
 enhancement
New feature
 help wanted
Need some help
 invalid
Something is wrong
 pig lipstick
Muggle-facing enhancements
 question
More information is needed
 wontfix
This won't be fixed
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
Dagadunn Pickmick apex132 dimitar.p.ivanov flambard (Markus Flambard) gchewy hans_sv pharpend spivee (Jarvis Carroll) thescientress (Cecille de Jesus) uwiger (Ulf Wiger) zxq9 (Craig Everett)
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#985