search

BlockstreamResearch / simfony

Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.
19 stars 6 forks source link

More functions #69

Closed uncomputable closed 1 month ago

uncomputable commented 1 month ago

Update jet signatures and add a pseudo namespace. Disable check_sig_verify. Introduce the inbuilt functions assert!, panic! and is_none. These changes make Simfony programs look more like Rust.

uncomputable commented 1 month ago

Clippy --all-targets seems to work. (Relief)

uncomputable commented 1 month ago

Resolved a rebase conflict

uncomputable commented 1 month ago

Made CI pass. We need CI on this crate :)