Skip to content

Comments

[Bennet] Explicitly label lazy values#495

Merged
ZippeyKeys12 merged 1 commit intorems-project:mainfrom
ZippeyKeys12:explicit-lazy
Feb 3, 2026
Merged

[Bennet] Explicitly label lazy values#495
ZippeyKeys12 merged 1 commit intorems-project:mainfrom
ZippeyKeys12:explicit-lazy

Conversation

@ZippeyKeys12
Copy link
Collaborator

No description provided.

@ZippeyKeys12 ZippeyKeys12 self-assigned this Feb 2, 2026
@ZippeyKeys12 ZippeyKeys12 added the Bennet Related to input generation via random backtracking search. Available via `cn test` label Feb 2, 2026
@ZippeyKeys12
Copy link
Collaborator Author

laziness is triggering some kinda resource limit, I have to assume memory

@ZippeyKeys12
Copy link
Collaborator Author

actions is having outages :(

@ZippeyKeys12 ZippeyKeys12 merged commit 677c317 into rems-project:main Feb 3, 2026
14 checks passed
@ZippeyKeys12 ZippeyKeys12 deleted the explicit-lazy branch February 3, 2026 04:12
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`

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant