Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Revise crates, portability, guide #61

Merged
merged 7 commits into from
Apr 28, 2024
Merged

Revise crates, portability, guide #61

merged 7 commits into from
Apr 28, 2024

Commits on Mar 26, 2024

  1. Revise documentation of crates

    dhardy committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    48f2f56 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    72e9c65 View commit details
    Browse the repository at this point in the history
  3. Add Platform support

    dhardy committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    7c9c638 View commit details
    Browse the repository at this point in the history
  4. Move Portability to Crates/Reproducibility

    Add a redirect from portability.html
    dhardy committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    e38fc91 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    82cd8ec View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    4a49d5e View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    2f0b971 View commit details
    Browse the repository at this point in the history