FStarLang / FStarLang/pal

Provide specifications for C library functions

Open
#92 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Rust
Stars
11
Forks
1
Avg merge
2d 3h
Merged PRs (30d)
47

Description

We already have some first steps at specifying the assert function/macro, but this approach is a bit flaky, see #87.

Contributor guide

No contributing guide indexed for this repository

Research direction

Read the existing specifications for the assert function/macro and issue #87 first, since the issue identifies these as the starting point and notes that the approach is flaky. Determine which additional C library functions need specifications and what changes would address the concerns in #87; done means the requested specifications are provided with a less flaky approach.

Written by the indexing model from the issue text.

Assessment

Tech stack
c, rust
Domain
tooling
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.