Skip to content

Conversation

@monsterkrampe
Copy link
Member

@monsterkrampe monsterkrampe commented Dec 1, 2025

Previously, the id generation had to be reproduced in Nemo Web, which unsurprisingly led to inconsistencies.

Fixes #747

@monsterkrampe monsterkrampe added this to the Release 0.10.0 milestone Dec 1, 2025
@monsterkrampe monsterkrampe self-assigned this Dec 1, 2025
@monsterkrampe monsterkrampe added the bug Something isn't working label Dec 1, 2025
@monsterkrampe monsterkrampe added the tracing Issue related to tracing of derived facts label Dec 1, 2025
@github-project-automation github-project-automation bot moved this to Todo in nemo Dec 1, 2025
@github-project-automation github-project-automation bot moved this from Todo to In Progress in nemo Dec 1, 2025
@monsterkrampe monsterkrampe merged commit ca39844 into main Dec 1, 2025
8 checks passed
@monsterkrampe monsterkrampe deleted the bug/tracing-ids branch December 1, 2025 12:46
@github-project-automation github-project-automation bot moved this from In Progress to Done in nemo Dec 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working tracing Issue related to tracing of derived facts

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

Wrong proof tree returned on NEV query

3 participants