[CN-Testing] Fix shuffle#538
Merged
ZippeyKeys12 merged 1 commit intorems-project:mainfrom Apr 15, 2026
Merged
Conversation
ZippeyKeys12
added
bug
msaljuk
added a commit
to msaljuk/cn
that referenced
this pull request
Apr 15, 2026
Squashed commit of the following: commit a5d1912 Author: Zain K Aamer <ZippeyKeys12@gmail.com> Date: Wed Apr 15 09:56:06 2026 -0400 [CN-Testing] Fix shuffle (rems-project#538) commit d61203a Author: Zain K Aamer <ZippeyKeys12@gmail.com> Date: Tue Apr 14 18:08:19 2026 -0400 [Bennet] Add toggle for extrema skewing (rems-project#534) commit d93c3b2 Author: Zain K Aamer <ZippeyKeys12@gmail.com> Date: Tue Apr 14 15:44:32 2026 -0400 [Bennet] Re-add max depth failures (rems-project#532) commit 2604c07 Author: dk505 <dk505@cam.ac.uk> Date: Thu Apr 9 06:12:59 2026 +0200 [Fulminate] adjust to hole-aware map commit 8b2c69c Author: dk505 <dk505@cam.ac.uk> Date: Thu Apr 9 06:09:41 2026 +0200 [Fulminate] rmap: report gaps Range queries can not ignore holes... Reported by @ZippeyKeys12 Fixes rems-project#521 commit 9766ef5 Author: Dimitrios Economou <dimecon@users.noreply.github.com> Date: Sat Apr 11 15:56:29 2026 +0100 [CN-exec] Fix nested function ghost arguments (rems-project#503) Co-Authored-By: codex codex@openai.com commit 746515e Author: Zain K Aamer <ZippeyKeys12@gmail.com> Date: Thu Apr 9 22:50:56 2026 -0400 [Darcy] Fix rare bug? (rems-project#529) commit 12120f5 Author: Rini Banerjee <26858592+rbanerjee20@users.noreply.github.com> Date: Wed Apr 8 20:07:07 2026 +0100 [Fulminate] Add CLI flag to disable CN statement checking (rems-project#527) commit 8b0654f Author: Rini Banerjee <rbanerjee20@gmail.com> Date: Wed Apr 8 13:27:14 2026 +0100 dune fmt commit 661e929 Author: Rini Banerjee <rbanerjee20@gmail.com> Date: Tue Feb 24 01:07:52 2026 +0000 add todo commit f06b97e Author: Rini Banerjee <rbanerjee20@gmail.com> Date: Mon Feb 23 21:08:06 2026 +0000 first stab at missing ownership self-correction scheme commit b79aa05 Author: Rini Banerjee <rbanerjee20@gmail.com> Date: Mon Feb 23 19:43:30 2026 +0000 pipe new missing ownership correction flag from CLI to Fulm runtime
msaljuk
added a commit
to msaljuk/cn
that referenced
this pull request
Apr 15, 2026
Squashed commit of the following: commit a5d1912 Author: Zain K Aamer <ZippeyKeys12@gmail.com> Date: Wed Apr 15 09:56:06 2026 -0400 [CN-Testing] Fix shuffle (rems-project#538) commit d61203a Author: Zain K Aamer <ZippeyKeys12@gmail.com> Date: Tue Apr 14 18:08:19 2026 -0400 [Bennet] Add toggle for extrema skewing (rems-project#534) commit d93c3b2 Author: Zain K Aamer <ZippeyKeys12@gmail.com> Date: Tue Apr 14 15:44:32 2026 -0400 [Bennet] Re-add max depth failures (rems-project#532) commit 2604c07 Author: dk505 <dk505@cam.ac.uk> Date: Thu Apr 9 06:12:59 2026 +0200 [Fulminate] adjust to hole-aware map commit 8b2c69c Author: dk505 <dk505@cam.ac.uk> Date: Thu Apr 9 06:09:41 2026 +0200 [Fulminate] rmap: report gaps Range queries can not ignore holes... Reported by @ZippeyKeys12 Fixes rems-project#521 commit 9766ef5 Author: Dimitrios Economou <dimecon@users.noreply.github.com> Date: Sat Apr 11 15:56:29 2026 +0100 [CN-exec] Fix nested function ghost arguments (rems-project#503) Co-Authored-By: codex codex@openai.com commit 746515e Author: Zain K Aamer <ZippeyKeys12@gmail.com> Date: Thu Apr 9 22:50:56 2026 -0400 [Darcy] Fix rare bug? (rems-project#529) commit 12120f5 Author: Rini Banerjee <26858592+rbanerjee20@users.noreply.github.com> Date: Wed Apr 8 20:07:07 2026 +0100 [Fulminate] Add CLI flag to disable CN statement checking (rems-project#527) commit 8b0654f Author: Rini Banerjee <rbanerjee20@gmail.com> Date: Wed Apr 8 13:27:14 2026 +0100 dune fmt commit 661e929 Author: Rini Banerjee <rbanerjee20@gmail.com> Date: Tue Feb 24 01:07:52 2026 +0000 add todo commit f06b97e Author: Rini Banerjee <rbanerjee20@gmail.com> Date: Mon Feb 23 21:08:06 2026 +0000 first stab at missing ownership self-correction scheme commit b79aa05 Author: Rini Banerjee <rbanerjee20@gmail.com> Date: Mon Feb 23 19:43:30 2026 +0000 pipe new missing ownership correction flag from CLI to Fulm runtime
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
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.
No description provided.