Skip to content

Fix a few bugs#12

Merged
habedi merged 7 commits into
mainfrom
develop
Jun 27, 2026
Merged

Fix a few bugs#12
habedi merged 7 commits into
mainfrom
develop

Conversation

@habedi

@habedi habedi commented Jun 24, 2026 •
edited
Loading

Copy link
Copy Markdown
Member
  • Added a test oracle (reference implementation) to check the correctness of the behavior of the implementation.
  • Fixed a few bugs and add tests to prevent regressions.
  • Fixed a few inconsistencies.

@habedi habedi self-assigned this Jun 24, 2026
@habedi habedi added bug Something isn't working documentation Improvements or additions to documentation enhancement New feature or request labels Jun 24, 2026
@habedi habedi changed the title Add a CLAUDE.md file Fix a few bugs Jun 27, 2026
@habedi habedi merged commit bcbdbc6 into main Jun 27, 2026
9 checks passed
@habedi habedi deleted the develop branch June 27, 2026 21:45
@habedi habedi mentioned this pull request Jun 27, 2026
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@habedi habedi

Labels

bug Something isn't working documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@habedi