feat(lib) New sandwich core changes

Open maximebuyse opened this issue 1 year ago • 4 comments

A few F* core lib additions necessary for sandwich.

Dec 17 '24 14:12 maximebuyse

There's a bunch of conflict though

Dec 17 '24 15:12 W95Psp

Maybe we can try with prune context (in F*)

Dec 17 '24 16:12 W95Psp

@maximebuyse let's merge this and make sure it doesn't break anything

Jan 23 '25 12:01 franziskuskiefer

This PR has been marked as stale due to a lack of activity for 60 days. If you believe this pull request is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

Apr 24 '25 01:04 github-actions[bot]

We are closing this.

Jun 05 '25 11:06 karthikbhargavan