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.

Sign up for GitHub

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

Jump to bottom

Consolidate documentation #1866

Draft
wants to merge 14 commits into
base: main
Choose a base branch
from
Draft

Consolidate documentation #1866

wants to merge 14 commits into from

Commits on Nov 4, 2024

  1. Add tooling section

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    e97d5bb View commit details
    Browse the repository at this point in the history

  2. Link to new section with doc

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    ea0d004 View commit details
    Browse the repository at this point in the history

  3. Copy documentation

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    3bee81c View commit details
    Browse the repository at this point in the history

  4. Remove unused section

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    d2ded9b View commit details
    Browse the repository at this point in the history

  5. Fix typo

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    ecb9568 View commit details
    Browse the repository at this point in the history

  6. Clean up doc

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    ab05b23 View commit details
    Browse the repository at this point in the history

  7. Add instruction format section

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    6365484 View commit details
    Browse the repository at this point in the history

  8. Add more todos

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    0f94a3e View commit details
    Browse the repository at this point in the history

  9. Add description to some tools

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    74c3e5c View commit details
    Browse the repository at this point in the history

  10. Ack doc source

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    5d08f7d View commit details
    Browse the repository at this point in the history

  11. Add hint and builtin documentation

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    5acfa5e View commit details
    Browse the repository at this point in the history

  12. Remove extra todo

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    25ceaa7 View commit details
    Browse the repository at this point in the history

  13. Fix grammar error

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    506698c View commit details
    Browse the repository at this point in the history

  14. Update prover link

    @JulianGCalderon
    JulianGCalderon committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    7a44362 View commit details
    Browse the repository at this point in the history