Skip to content

Add #![no_std] support#8

Merged
glennDittmann merged 9 commits intoglennDittmann:mainfrom
TimTheBig:main
Apr 25, 2025
Merged

Add #![no_std] support#8
glennDittmann merged 9 commits intoglennDittmann:mainfrom
TimTheBig:main

Conversation

@TimTheBig
Copy link
Copy Markdown
Contributor

@TimTheBig TimTheBig commented Apr 21, 2025

This patch:

  • Adds #![no_std] support
  • Moves to rust 2024 edition
  • Makes timing and logging optional, to allow for no standard support and improved efficiency when not needed
  • Documents epsilon

std is still enabled be default, no_std does not affect logic.

@winksaville
Copy link
Copy Markdown

@TimTheBig, looking good, thanks for putting in the effort and "no_std does not affect logic" is fantastic!

@TimTheBig
Copy link
Copy Markdown
Contributor Author

@glennDittmann when can you review this?

@glennDittmann
Copy link
Copy Markdown
Owner

glennDittmann commented Apr 23, 2025

I can try tomorrow evening

glennDittmann
glennDittmann previously approved these changes Apr 24, 2025
Copy link
Copy Markdown
Owner

@glennDittmann glennDittmann left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM ! Great work, thanks a lot !

Just a tiny wording change please. :)

Copy link
Copy Markdown
Owner

@glennDittmann glennDittmann left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this is the correct sentence :)

Co-authored-by: Glenn Dittmann <glenn.dittmann@posteo.de>
@glennDittmann glennDittmann merged commit 6c8ee97 into glennDittmann:main Apr 25, 2025
3 checks passed
@winksaville
Copy link
Copy Markdown

Bravo!!

@TimTheBig
Copy link
Copy Markdown
Contributor Author

Thank you

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants