unsafe blocks #417

New issue

Copy link

New issue

Copy link

Closed

Closed

unsafe blocks#417

Copy link

Labels

unsupported-rustRust code rejected by hax. Unless marked wontfix, we want to support it soon.Rust code rejected by hax. Unless marked wontfix, we want to support it soon.wontfix-v1This will not be worked on, but might after v1.This will not be worked on, but might after v1.

Description

W95Psp

opened on Jan 5, 2024

Issue body actions

We don't plan to support unsafe blocks.

Metadata

Metadata

Assignees

No one assigned

Labels

unsupported-rustRust code rejected by hax. Unless marked wontfix, we want to support it soon.Rust code rejected by hax. Unless marked wontfix, we want to support it soon.wontfix-v1This will not be worked on, but might after v1.This will not be worked on, but might after v1.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions