Skip to content

feat: add sources#3

Open
stringhandler wants to merge 1 commit intoBlockstreamResearch:masterfrom
stringhandler:feat/add-std-src
Open

feat: add sources#3
stringhandler wants to merge 1 commit intoBlockstreamResearch:masterfrom
stringhandler:feat/add-std-src

Conversation

@stringhandler
Copy link
Copy Markdown
Collaborator

The sources here are manually generated.

I originally generated these using Haskell, as seen in my original repo, however that is controversial, so I've just included the sources for now.

The code can be tested by cloning this into a local folder, and then using a program like:

use std::assert::assert_eq8;

fn main() {

    let a: u8 = 1;
    let b: u8 = 2;

    assert_eq8(a, b);
}

Compile with simc program.simf --dep std=<path_to_local_folder>

e.g. simc program.simf --dep std=~/projects/simplicityhl-std/src

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.

1 participant