Skip to content

Various features and fixes to seq-test#487

Merged
ZippeyKeys12 merged 55 commits intorems-project:mainfrom
echoumcp1:testnestgen
Feb 16, 2026
Merged

Various features and fixes to seq-test#487
ZippeyKeys12 merged 55 commits intorems-project:mainfrom
echoumcp1:testnestgen

Conversation

@echoumcp1
Copy link
Contributor

@echoumcp1 echoumcp1 commented Dec 23, 2025

  • Adding type based score calculation for functions
  • Keep track of all generated args and weigh them more heavily in generation
  • Fixed incorrect bug detection logic
  • Numerous bug fixes with shrinking

@ZippeyKeys12 ZippeyKeys12 self-requested a review February 15, 2026 22:30
Copy link
Collaborator

@ZippeyKeys12 ZippeyKeys12 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@echoumcp1 Sorry, I've been busy, I'll merge this soon. If you wrote something about this work (thesis, preprint, submitted it somewhere, etc), do you want to add it to the README? I just added my paper in #496.

@echoumcp1
Copy link
Contributor Author

Just added it.

@ZippeyKeys12
Copy link
Collaborator

I added the DOI, for consistency, and moved it to the top of the list since its the most recent one. I'll merge it once CI finishes

@ZippeyKeys12 ZippeyKeys12 merged commit 0bb8a1d into rems-project:main Feb 16, 2026
15 of 20 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants