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

Add support for std #1069

Open
wants to merge 12 commits into
base: theseus_main
Choose a base branch
from
Open

Commits on Nov 6, 2023

  1. Add std and clean-std targets

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    37872aa View commit details
    Browse the repository at this point in the history
  2. Ignore .cargo

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    c0c8eb1 View commit details
    Browse the repository at this point in the history
  3. Add dependency on std target for docs

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    13ff8f7 View commit details
    Browse the repository at this point in the history
  4. Docs

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    0149e3c View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. Make rust build optional

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    df89103 View commit details
    Browse the repository at this point in the history
  2. Add specific commit to rust "submodule"

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    06ed1fd View commit details
    Browse the repository at this point in the history
  3. Properly delete rust submodule

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    e3c5f2b View commit details
    Browse the repository at this point in the history
  4. Final

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    55b1f96 View commit details
    Browse the repository at this point in the history
  5. Merge branch 'theseus_main' into std-shim-2

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    2fb6d5d View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. Updates

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    56af34a View commit details
    Browse the repository at this point in the history
  2. Update comment

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    0e0c8b4 View commit details
    Browse the repository at this point in the history
  3. Update comment 2

    Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com>
    tsoutsman committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    1e62cc1 View commit details
    Browse the repository at this point in the history