QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 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

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
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
Some checks failed
Sophia Tests / tests (push) Failing after 46m58s
Details
937f9ed873
zxq9 added 1 commit 2025-02-24 20:59:59 +09:00
Update test
Some checks failed
Sophia Tests / tests (push) Failing after 46m57s
Details
75043d0254
zxq9 added 1 commit 2025-02-24 21:02:02 +09:00
Update test
All checks were successful
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
All checks were successful
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 Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#985
No description provided.
Delete Branch "gm2"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?