Skip to content

Initial implementation of the Capsule API#2797

Merged
dkalinichenko-js merged 10 commits intomainfrom
dkalinichenko/capsule-api
Jul 29, 2024
Merged

Initial implementation of the Capsule API#2797
dkalinichenko-js merged 10 commits intomainfrom
dkalinichenko/capsule-api

Conversation

@dkalinichenko-js
Copy link
Copy Markdown
Collaborator

Implement the Capsule API per the design doc. Password.ts are temporarily values since void can't be used for function argument and return types yet. Mark every function in the interface as portable.

Test the Capsule API. Since domains are not supported yet, behavior in presence of multiple threads is not tested.

@dkalinichenko-js dkalinichenko-js requested a review from lpw25 July 16, 2024 18:57
Copy link
Copy Markdown
Collaborator

@lpw25 lpw25 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. A few comments, including one soundness issue we should fix and add tests for.

@dkalinichenko-js dkalinichenko-js force-pushed the dkalinichenko/capsule-api branch from 3eb1a42 to 986841d Compare July 19, 2024 21:07
Copy link
Copy Markdown
Collaborator

@lpw25 lpw25 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A couple of small changes, then this is good to go

@dkalinichenko-js dkalinichenko-js merged commit f0bcc43 into main Jul 29, 2024
@dkalinichenko-js dkalinichenko-js deleted the dkalinichenko/capsule-api branch July 29, 2024 20:36
lukemaurer pushed a commit to lukemaurer/flambda-backend that referenced this pull request Oct 23, 2024
* draft implementation

* Add to `Stdlib_alpha`

* `portable` functions

* tests

* Enable tests only on runtime 5

* fixes

* tests

* Move annotations

* `Ptr` -> `Data`

* clarify what exceptions are caught

---------

Co-authored-by: Diana Kalinichenko <dkalinichenko@janestreet.com>
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.

3 participants