Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

ocaml-flambda / flambda-backend Public

Notifications You must be signed in to change notification settings
Fork 76
Star 118

Code
Issues 242
Pull requests 176
Actions
Projects 2
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add extension library stubs to otherlibs #2403

Merged

dkalinichenko-js merged 14 commits into main from dkalinichenko/extension-otherlibs

Mar 29, 2024

Conversation 2 Commits 14 Checks 17 Files changed

Merged

Add extension library stubs to otherlibs #2403

Show file tree

Hide file tree

Changes from 1 commit

Commits

Show all changes

Select commit Hold shift + click to select a range

Create a test otherlib

d-kalinichenko Mar 28, 2024

Fix unused Stdlib open

d-kalinichenko Mar 28, 2024

Make beta build with makefiles

d-kalinichenko Mar 28, 2024

Build beta with Dune

d-kalinichenko Mar 28, 2024

Remove `Float_u` from beta for now

d-kalinichenko Mar 28, 2024

Create stub otherlibs for alpha, stable and upstream_compatible

d-kalinichenko Mar 28, 2024

d-kalinichenko Mar 28, 2024

Test that library modules exist

d-kalinichenko Mar 28, 2024

d-kalinichenko Mar 28, 2024

Remove clibnames

d-kalinichenko Mar 28, 2024

Uncommit dynlink interfaces

d-kalinichenko Mar 28, 2024

Document extensions otherlibs

d-kalinichenko Mar 28, 2024

Use spaces instead of tabs

d-kalinichenko Mar 29, 2024

Remove `enable_extension_libs`

d-kalinichenko Mar 29, 2024

File filter

Filter by extension

Filter by extension .mli (2) All 1 file type selected

Deleted files Viewed files

Conversations

Failed to load comments.

Loading

Jump to

Jump to file

Failed to load files.

Loading

Diff view

Unified

Split

Hide whitespace

Diff view

Unified

Split

Hide whitespace

- - dynlink.mli
- - dynlink.mli

Previous commit

Next commit

Uncommit dynlink interfaces

Loading branch information

d-kalinichenko committed Mar 28, 2024

commit e4e7952d324c9bd36c773c058e9cda322ea0bc11

There are no files selected for viewing

189 changes: 0 additions & 189 deletions 189 ocaml/otherlibs/dynlink/byte/dynlink.mli

Show comments

View file

Open in desktop

This file was deleted.

Oops, something went wrong.

189 changes: 0 additions & 189 deletions 189 ocaml/otherlibs/dynlink/native/dynlink.mli

Show comments

View file

Open in desktop

This file was deleted.

Oops, something went wrong.

Loading

Oops, something went wrong.

Add this suggestion to a batch that can be applied as a single commit. This suggestion is invalid because no changes were made to the code. Suggestions cannot be applied while the pull request is closed. Suggestions cannot be applied while viewing a subset of changes. Only one suggestion per line can be applied in a batch. Add this suggestion to a batch that can be applied as a single commit. Applying suggestions on deleted lines is not supported. You must change the existing code in this line in order to create a valid suggestion. Outdated suggestions cannot be applied. This suggestion has been applied or marked resolved. Suggestions cannot be applied from pending reviews. Suggestions cannot be applied on multi-line comments. Suggestions cannot be applied while the pull request is queued to merge. Suggestion cannot be applied right now. Please check back later.

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.