Skip to content

Issues: c4-project/c4f

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

55 Open 193 Closed
55 Open 193 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Audit Litmus code for herdtools7 dependencies help wanted Extra attention is needed Type:Enhancement New feature or request
#252 opened Feb 11, 2021 by MattWindsor91
Make Env-taking generators standalone functions Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#250 opened Dec 18, 2020 by MattWindsor91
Storelike boilerplate is too strict in dead blocks Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#249 opened Dec 18, 2020 by MattWindsor91
Constant generator KV equations can overflow Area:Fuzzer Specifically affecting the program mutator Type:Bug Something isn't working
#243 opened Nov 23, 2020 by MattWindsor91
Keep recently-used constants in fuzzer state Type:Enhancement New feature or request
#241 opened Nov 6, 2020 by MattWindsor91
2
Expression generator: consider narrowing operator choice policy Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#240 opened Nov 6, 2020 by MattWindsor91
Tabulate and use known-safe operator bounds Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#239 opened Nov 6, 2020 by MattWindsor91
Use variables with equal KVs to satisfy reflexivity rules Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#236 opened Oct 27, 2020 by MattWindsor91
Generate weak cmpxchgs Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#235 opened Oct 24, 2020 by MattWindsor91
1
Break cmpxchg orders in dead code Area:Fuzzer Specifically affecting the program mutator Compiler:LLVM Specifically affecting LLVM Type:Enhancement New feature or request
#234 opened Oct 24, 2020 by MattWindsor91
Generalise memory orders to expressions Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#233 opened Oct 24, 2020 by MattWindsor91
Add ternary expressions Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#231 opened Oct 22, 2020 by MattWindsor91
1
Remove unused variables Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#230 opened Oct 21, 2020 by MattWindsor91
Remove unused labels Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#229 opened Oct 21, 2020 by MattWindsor91
Use int32 for constant integers Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#228 opened Oct 20, 2020 by MattWindsor91
Add side-effectful expression generators Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#227 opened Oct 19, 2020 by MattWindsor91
1
Exploit short circuiting in Boolean operators Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#226 opened Oct 18, 2020 by MattWindsor91
2
Add payload shrinking support Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#224 opened Oct 1, 2020 by MattWindsor91
Split fuzzer pathing from fuzzer core? Area:Fuzzer Specifically affecting the program mutator Status:Question Further information is requested Type:Enhancement New feature or request
#223 opened Sep 25, 2020 by MattWindsor91
Generalise path flagging to metadata? Area:Fuzzer Specifically affecting the program mutator Status:Question Further information is requested Type:Enhancement New feature or request
#222 opened Sep 25, 2020 by MattWindsor91
Add expression metadata Type:Enhancement New feature or request
#221 opened Sep 25, 2020 by MattWindsor91
3 tasks
Push anchoring to generation point Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#220 opened Sep 24, 2020 by MattWindsor91
Fix early-out-at-end targeting ends of nested blocks in loops Area:Fuzzer Specifically affecting the program mutator Type:Bug Something isn't working
#219 opened Sep 24, 2020 by MattWindsor91
Add path motion compensation Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#218 opened Sep 23, 2020 by MattWindsor91
Add path recommendations cache Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request
#217 opened Sep 23, 2020 by MattWindsor91
1
ProTip! Follow long discussions with comments:>50.