ocaml · GitHub

343 Open 6,555 Closed

Author
Filter by author
Loading
Label
Filter by label
Loading

Projects

Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews

Assignee
Filter by who’s assigned
Sort

Pull requests list

Set.{union,inter,diff}: better complexity for sets with sharing

#15009 opened Aug 17, 2026 by nojb Contributor Loading…

Add a test for float square root no-change-entry-needed

#15007 opened Aug 17, 2026 by Zaneham Contributor Loading…

Emit fsqrt for square root on power

#15006 opened Aug 15, 2026 by Zaneham Contributor Loading…

Emit fsqrt.d for square root on riscv

#15005 opened Aug 14, 2026 by Zaneham Contributor Loading…

Enable KVM for faster Android emulation in CI no-change-entry-needed

#15003 opened Aug 14, 2026 by MisterDA Contributor Loading…

Generate native square root and byte swap on s390x

#15002 opened Aug 13, 2026 by Zaneham Contributor Loading…

Add EV_C_MAJOR_DIRECT_ALLOCATED_WORDS counter

#15001 opened Aug 13, 2026 by tmcgilchrist Contributor Loading…

Make ring buffer file size a size_t to avoid integer overflow

#15000 opened Aug 11, 2026 by tmcgilchrist Contributor Loading…

Default to and recommend large file and year 2038 support on 32-bit

#14997 opened Aug 9, 2026 by MisterDA Contributor Loading…

Do not use unify_var in enforce_current_level

#14995 opened Aug 7, 2026 by garrigue Contributor Draft

Make abstract types defined in structures injective

#14991 opened Aug 6, 2026 by garrigue Contributor Draft

The expansiveness check should consider effect cases

#14986 opened Aug 4, 2026 by yallop Member Loading…

Fix type_newtype from issue #14842

#14983 opened Aug 4, 2026 by garrigue Contributor Loading…

Fix with module type precedence

#14978 opened Aug 1, 2026 by 314eter Contributor Loading…

Fix win32 select handle leak

#14975 opened Jul 30, 2026 by toots Contributor Loading…

Enable -g by default, including in the bytecode compiler

#14971 opened Jul 30, 2026 by gasche Member Loading…

Merge Dynlink into a single module no-change-entry-needed

#14970 opened Jul 29, 2026 by dra27 Member Loading…

Previous 1 2 3 4 5 13 14 Next

Previous Next

ProTip! Type g i on any issue or pull request to go back to the issue listing page.

Read the original on github.com ↗