-
Notifications
You must be signed in to change notification settings - Fork 104
Insights: oxcaml/oxcaml
Overview
Could not load contribution data
Please try again later
49 Pull requests merged by 20 people
-
chore: Use
kind_checks
for fallible kind-related invariant#4233 merged
Jun 30, 2025 -
fix(flambda2): Deterministic order for lifted symbols
#4214 merged
Jun 30, 2025 -
Lower
n
to 25k in the testevenodd.ml
#4221 merged
Jun 27, 2025 -
Improve newlines in kind errors
#4160 merged
Jun 27, 2025 -
Add hint to challenging error message around kinds
#4161 merged
Jun 27, 2025 -
Add a counterexample for GADT mode crossing
#4223 merged
Jun 27, 2025 -
Implement
let mutable
#3964 merged
Jun 27, 2025 -
Fix round-trip printing bug with hash types
#4197 merged
Jun 27, 2025 -
fix(flambda2): Only check for unbound names in invariant
#4218 merged
Jun 27, 2025 -
Fix multidomain config var in configure.ac
#4217 merged
Jun 27, 2025 -
Bump magic numbers for 5.2.0minus-13
#4215 merged
Jun 27, 2025 -
fix(flambda2-compare): Proper support for Simple.With_debuginfo.t
#4213 merged
Jun 27, 2025 -
Fix option to disable Flambda2 result types
#4204 merged
Jun 27, 2025 -
Fix bug with Lstaticcatch void parameters
#4205 merged
Jun 27, 2025 -
Remember modalities in [@@unboxed] types
#4208 merged
Jun 26, 2025 -
Delete lbl_pos; rename lbl_num to lbl_pos
#4086 merged
Jun 26, 2025 -
Allow non-singleton layouts for Lambda mutable variables
#4184 merged
Jun 26, 2025 -
Refactor CI regalloc jobs.
#4148 merged
Jun 26, 2025 -
Avoid an error when a channel is flushed during close
#4193 merged
Jun 26, 2025 -
Remove overzealous kind check in Continuation_uses
#4202 merged
Jun 26, 2025 -
Add missing inlining annotations to Name.pattern_match
#4181 merged
Jun 26, 2025 -
Remove with-bounds for polymorphic variants
#4198 merged
Jun 26, 2025 -
Aliases_of_canonical_element.invariant is a light invariant check
#4191 merged
Jun 26, 2025 -
Document nested records and implicit unboxed records
#4194 merged
Jun 25, 2025 -
Typeopt.array_type_kind
: when element is non-value or unknown, error instead of defaulting toPgenvalue
#4098 merged
Jun 25, 2025 -
Annotate
float
parameters as@ local
in theunix
library#3900 merged
Jun 25, 2025 -
Do not include fail_if_called_indirectly in data section for shared outputs
#4179 merged
Jun 25, 2025 -
More precise notion of inlining being disabled
#4188 merged
Jun 25, 2025 -
Bump magic numbers for 5.2.0minus-12
#4190 merged
Jun 25, 2025 -
Arm64: remove rosetta check
#4178 merged
Jun 25, 2025 -
arm64 - switch to C stack before raising stack overflow
#4104 merged
Jun 25, 2025 -
Free stack cache at domain termination
#4153 merged
Jun 25, 2025 -
Arm64: fix and re-enable one more SIMD test
#4182 merged
Jun 25, 2025 -
Fix: void still in alpha, not beta
#4187 merged
Jun 25, 2025 -
Update configure.ac
#4185 merged
Jun 24, 2025 -
Don't fatal error on SIMD prims in bytecode
#4176 merged
Jun 24, 2025 -
Don't specialize
%obj_field
,%obj_setfield
, and%obj_size
#4101 merged
Jun 24, 2025 -
Domainstate slots are unaligned
#4171 merged
Jun 24, 2025 -
Downstreams for renaming
#3828 merged
Jun 24, 2025 -
Generate unboxed types tests
#4174 merged
Jun 24, 2025 -
Add missing locks for generative functor and functor of anonymous parameter
#4168 merged
Jun 24, 2025 -
fix finaliser handling bug
#4169 merged
Jun 24, 2025 -
(Arm64) implement simd intrinsics and enable simd tests
#4140 merged
Jun 24, 2025 -
Make
cpu_relax
a poll point#4172 merged
Jun 24, 2025 -
Update docs with new local syntax
#4164 merged
Jun 23, 2025 -
Add AddressSanitizer+Runtime5 to Github CI
#4173 merged
Jun 23, 2025 -
Void function arguments and returns
#4088 merged
Jun 23, 2025 -
Remove stale comment about continuations order
#4165 merged
Jun 23, 2025 -
Disable the "for all or none" check for variable quantification
#4152 merged
Jun 23, 2025
36 Pull requests opened by 16 people
-
Use consistent control flow throughout domain_create
#4167 opened
Jun 23, 2025 -
Fix variant unboxing when the size of some case is unknown
#4170 opened
Jun 23, 2025 -
Terrible horrible proof-of-concept import of ocaml-ir-comp
#4175 opened
Jun 23, 2025 -
Sharing on patricia trees
#4183 opened
Jun 24, 2025 -
Begin ignoring `.vscode`
#4186 opened
Jun 24, 2025 -
Remove caml_get_header_val, as not needed.
#4189 opened
Jun 25, 2025 -
Add `[@expose]` annotation to trigger return value env extension on a function
#4192 opened
Jun 25, 2025 -
Arrays accept any `separable` arguments, including non-float `or_null`s
#4195 opened
Jun 25, 2025 -
Allow `or_null` in `[@@unboxed]` types
#4196 opened
Jun 25, 2025 -
Add earlier link to modes docs in kinds docs
#4199 opened
Jun 25, 2025 -
New design for portable exceptions
#4200 opened
Jun 25, 2025 -
Vec256 casts & constants
#4201 opened
Jun 26, 2025 -
(TEST ONLY) `exn` crosses contenion and
#4203 opened
Jun 26, 2025 -
Initial `CLAUDE.md`
#4206 opened
Jun 26, 2025 -
Use proper equality comparison to avoid duplicating work
#4209 opened
Jun 26, 2025 -
Fix building on OpenBSD
#4210 opened
Jun 26, 2025 -
Void in blocks; move void to stable
#4211 opened
Jun 26, 2025 -
fix(types): Do not call `TE.find` on imported variables in n-way join
#4212 opened
Jun 27, 2025 -
Mode cheatsheet tables
#4216 opened
Jun 27, 2025 -
Revert "Remove with-bounds for polymorphic variants (#4198)"
#4220 opened
Jun 27, 2025 -
Dump detailed information about .cms files in `ocamlobjinfo`
#4222 opened
Jun 27, 2025 -
local module type substitution can fail (backport ocaml/ocaml#13540)
#4224 opened
Jun 27, 2025 -
Implement more of `Stdlib.Domain` in runtime4
#4225 opened
Jun 28, 2025 -
`cpu_relax` primitive
#4226 opened
Jun 28, 2025 -
Allow `float32` kind without the `small_numbers` extension.
#4227 opened
Jun 28, 2025 -
Make setting and getting atomic fields use atomic prims
#4228 opened
Jun 29, 2025 -
Add support for a new [%atomic.loc r.field] construct
#4229 opened
Jun 29, 2025 -
Add atomic prims that take a loc
#4230 opened
Jun 29, 2025 -
Forbid pattern matching on atomic fields
#4231 opened
Jun 29, 2025 -
Add support for atomic locs in the stdlib
#4232 opened
Jun 29, 2025 -
Deterministic order for CSE parameters based on binding times
#4234 opened
Jun 30, 2025 -
Deterministic order for `lets_to_introduce`
#4235 opened
Jun 30, 2025 -
Change how extension level affects inferred modalities
#4236 opened
Jun 30, 2025 -
fix(flambda2): Use correct kind in rebuild_naked_number_array
#4237 opened
Jun 30, 2025 -
Move symbol initialization up in `to_cmm`
#4238 opened
Jun 30, 2025 -
[Draft] first cut of runtime dynamic bindings
#4239 opened
Jun 30, 2025
1 Issue closed by 1 person
-
Compilation failed: command got signal SEGV
#4162 closed
Jun 25, 2025
1 Issue opened by 1 person
-
Simplification of float expressions involving NaN values
#4177 opened
Jun 24, 2025
14 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Propagate Debugging Identifiers through the Middle End
#3967 commented on
Jun 30, 2025 • 5 new comments -
Add support for the `[@atomic]` attribute on mutable fields
#4132 commented on
Jun 29, 2025 • 5 new comments -
`('a : value mod non_float) or_null` is `non_float`
#4158 commented on
Jun 27, 2025 • 4 new comments -
Always use a macro when checking for a promoted header
#3493 commented on
Jun 26, 2025 • 3 new comments -
Support modules of non-legacy modes
#3759 commented on
Jun 27, 2025 • 1 new comment -
Fix soundness bug in `Stdlib.Atomic`
#4117 commented on
Jun 26, 2025 • 1 new comment -
Improve runtime clarity with Scannable_* macros
#3722 commented on
Jun 24, 2025 • 0 new comments -
Merge atomic counter inc/dec functions and use them consistently
#3796 commented on
Jun 23, 2025 • 0 new comments -
Block indices
#4017 commented on
Jun 24, 2025 • 0 new comments -
Better SEGV handling
#4061 commented on
Jun 23, 2025 • 0 new comments -
Split use tracking for mutable variables into uses and mutations
#4089 commented on
Jun 27, 2025 • 0 new comments -
Add externals information to .cms files
#4109 commented on
Jun 26, 2025 • 0 new comments -
Make all atomic primitives take a field index
#4138 commented on
Jun 29, 2025 • 0 new comments -
Restore unboxing of closures in the reaper
#4166 commented on
Jun 24, 2025 • 0 new comments