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

Changed deps, rename modules, remove oracles #987

Open
uwiger wants to merge 1 commits from uw-rename-fix-deps into master
pull from: uw-rename-fix-deps
merge into: :master
Conversation 0 Commits 1 Files Changed 51
+799 -1311
uwiger commented 2025-03-10 21:18:22 +09:00
Owner
Copy Link
Copy Source

Build, escriptize, dialyzer, eunit and ct all work locally.
Most references to oracles removed.

Build, escriptize, dialyzer, eunit and ct all work locally. Most references to oracles removed.
uwiger added 1 commit 2025-03-10 21:18:23 +09:00
Changed deps, rename modules, remove oracles b116d77883
uwiger requested review from dimitar.p.ivanov 2025-03-10 21:18:23 +09:00
uwiger requested review from hans_sv 2025-03-10 21:18:23 +09:00
uwiger requested review from spivee 2025-03-10 21:18:23 +09:00
uwiger requested review from zxq9 2025-03-10 21:18:24 +09:00
This pull request has changes conflicting with the target branch.
  • rebar.config
  • rebar.lock
  • rebar3
  • src/so_aci.erl
  • src/so_ast.erl
  • src/so_ast_infer_types.erl
  • src/so_ast_to_fcode.erl
  • src/so_compiler.erl
  • src/so_errors.erl
  • src/so_fcode_to_fate.erl
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin uw-rename-fix-deps:uw-rename-fix-deps
git checkout uw-rename-fix-deps
Sign in to join this conversation.
Reviewers
No Reviewers
spivee
dimitar.p.ivanov
hans_sv
zxq9
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
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#987