Skip to content

Issues: c4-project/c4t

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.

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

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

Issues list

Implement data-based compiler perturbance enhancement New feature or request
#136 opened May 19, 2021 by MattWindsor91
Add -moutline-atomics support for GCC10, Clang12 enhancement New feature or request
#135 opened May 19, 2021 by MattWindsor91
Generalise CSV writing to table dumping enhancement New feature or request
#134 opened Mar 19, 2021 by MattWindsor91
Expose mutation timespans in CSV and pretty-printing enhancement New feature or request
#133 opened Feb 19, 2021 by MattWindsor91
Convert ReadSubjectFile to a FS enhancement New feature or request
#131 opened Feb 17, 2021 by MattWindsor91
Consider using SQLite to store analyses enhancement New feature or request moonshot Very long-term suggestion question Further information is requested
#129 opened Feb 2, 2021 by MattWindsor91
Allow global mutant operator config enhancement New feature or request
#127 opened Feb 2, 2021 by MattWindsor91
Allow operator names in mutant ranges enhancement New feature or request
#126 opened Feb 2, 2021 by MattWindsor91
Consider XML for plan files enhancement New feature or request question Further information is requested
#125 opened Feb 1, 2021 by MattWindsor91
Implement systematic perturber enhancement New feature or request moonshot Very long-term suggestion
#123 opened Jan 28, 2021 by MattWindsor91
4 tasks
Implement statistics reporting tool enhancement New feature or request
#116 opened Jan 25, 2021 by MattWindsor91
Make compiler config composable enhancement New feature or request
#114 opened Jan 24, 2021 by MattWindsor91
Invoker isn't sending errors correctly bug Something isn't working
#112 opened Jan 23, 2021 by MattWindsor91
Implement mutation testing enhancement New feature or request
#102 opened Jan 21, 2021 by MattWindsor91
3 of 7 tasks
Decouple compiler resolution enhancement New feature or request
#101 opened Jan 19, 2021 by MattWindsor91
Implement compiler probing enhancement New feature or request
#99 opened Jan 18, 2021 by MattWindsor91
Finish backend probing implementation enhancement New feature or request
#98 opened Jan 18, 2021 by MattWindsor91
Missing backends table hangs tester bug Something isn't working
#95 opened Dec 15, 2020 by MattWindsor91
Cycle errors are not being reported in the dashboard bug Something isn't working
#94 opened Dec 15, 2020 by MattWindsor91
Fail fast if backends are not available enhancement New feature or request
#93 opened Dec 15, 2020 by MattWindsor91
Separate C-Litmus and asm-Litmus in places enhancement New feature or request
#92 opened Dec 14, 2020 by MattWindsor91
Add one-shot backend runner enhancement New feature or request
#86 opened Nov 5, 2020 by MattWindsor91
Allow parallel runner scheduling enhancement New feature or request
#85 opened Nov 5, 2020 by MattWindsor91
Make dashboard errors not crash the entire tester bug Something isn't working
#84 opened Nov 2, 2020 by MattWindsor91
ProTip! Exclude everything labeled bug with -label:bug.