Skip to content

Comments

[Bennet] Re-impl old specialization#465

Merged
ZippeyKeys12 merged 1 commit intorems-project:mainfrom
ZippeyKeys12:reimpl-old-specialization
Nov 25, 2025
Merged

[Bennet] Re-impl old specialization#465
ZippeyKeys12 merged 1 commit intorems-project:mainfrom
ZippeyKeys12:reimpl-old-specialization

Conversation

@ZippeyKeys12
Copy link
Collaborator

Keep it for ablation/evaluation purposes for now

@ZippeyKeys12 ZippeyKeys12 self-assigned this Nov 25, 2025
@ZippeyKeys12 ZippeyKeys12 added CN spec testing Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing. Bennet Related to input generation via random backtracking search. Available via `cn test` labels Nov 25, 2025
@ZippeyKeys12 ZippeyKeys12 force-pushed the reimpl-old-specialization branch 2 times, most recently from 7e121f6 to 9263624 Compare November 25, 2025 06:26
@ZippeyKeys12 ZippeyKeys12 force-pushed the reimpl-old-specialization branch from 9263624 to 09dc955 Compare November 25, 2025 17:52
@ZippeyKeys12 ZippeyKeys12 merged commit 13e2c8f into rems-project:main Nov 25, 2025
12 checks passed
@ZippeyKeys12 ZippeyKeys12 deleted the reimpl-old-specialization branch November 25, 2025 20:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Bennet Related to input generation via random backtracking search. Available via `cn test` CN spec testing Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant