issues
search
mc-imperial
/
dredd
Framework for evaluating C/C++ compiler testing tools
Apache License 2.0
11
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add flag to check mutation sources against compile_commands.json
#229
JamesLee-Jones
opened
3 months ago
6
Fix macOS CI build
#228
JamesLee-Jones
closed
3 months ago
0
Fix MacOS CI build
#227
JamesLee-Jones
closed
3 months ago
1
Fix braced initalization and binary zero optimizations
#226
JamesLee-Jones
closed
3 months ago
1
Incorrect transformation of braced initialization
#225
JamesLee-Jones
closed
3 months ago
0
Do not mutate user defined literals
#224
ambergorzynski
closed
3 months ago
0
Consider supporting user defined literals
#223
ambergorzynski
opened
3 months ago
0
Incorrect validation for binary arithmetic redundant condition
#222
khemichew
closed
3 months ago
0
Problem with inline operators when using Dredd to mutate tint
#221
ambergorzynski
closed
3 months ago
1
Insert Dredd declartions before first function
#220
JamesLee-Jones
closed
1 month ago
4
Dredd includes system headers before headers that must be before system headers
#219
JamesLee-Jones
closed
1 month ago
0
Selective mutation instrumentation
#218
JamesLee-Jones
opened
5 months ago
3
Instruction for building dredd from source doesn't work on Ubuntu 20.04.
#217
JonathanFoo0523
closed
2 months ago
2
Added "the compile_commands.json file in build will be used as a compilation database"
#216
JonathanFoo0523
closed
3 months ago
1
DREDD injects header before Feature Test Macro
#215
JonathanFoo0523
closed
1 month ago
1
Fix namespace comment
#214
afd
closed
2 months ago
0
Add Support for Applying Mutations Only at Given Mutation IDs
#213
JonathanFoo0523
opened
9 months ago
1
Fix: Change -p option to reference the directory path of compile_commands.json instead of the file path
#212
JonathanFoo0523
closed
2 months ago
3
Change misleading -p Option Documentation in README
#211
JonathanFoo0523
closed
2 months ago
0
Add documentation for --mutation-info-file and DREDD_MUTANT_TRACKING_FILE
#210
afd
closed
2 days ago
0
Try using released clang.
#209
afd
closed
9 months ago
0
Mutant querying
#208
afd
closed
9 months ago
0
Add threaded C++ example to CI
#207
afd
closed
9 months ago
0
Fix comments
#206
afd
closed
9 months ago
0
Refactor mutation_replace_binary_operator to use macros
#205
JamesLee-Jones
opened
9 months ago
3
Reconsider mutating bit-fields
#204
afd
closed
9 months ago
1
Add support for querying mutation info JSON, and update README with details
#203
afd
closed
9 months ago
1
Error if check-format isn't installed
#202
JamesLee-Jones
closed
9 months ago
0
DREDD Ignores False #if Directives, Potentially Resulting In Invalid Code During Compilation
#201
JonathanFoo0523
closed
9 months ago
1
Update SPIR-V Tools
#200
afd
closed
9 months ago
0
Insert Dredd declarations at very start of file
#199
afd
closed
9 months ago
0
DREDD generate invalid code by injecting snippet between function declaration
#198
JonathanFoo0523
closed
9 months ago
0
Add argument specifier to function name
#197
JamesLee-Jones
closed
9 months ago
0
Conflicting types for __dredd_replace_binary_operator_LAnd_long_long_long_rhs
#196
JamesLee-Jones
closed
9 months ago
4
Make --mutation-info-file optional
#195
JamesLee-Jones
closed
1 month ago
6
Add a fuzzer_apps ci test
#194
JamesLee-Jones
opened
9 months ago
0
Fix to remove statement mutation
#193
afd
closed
9 months ago
0
Error writing JSON data when input file is large
#192
JamesLee-Jones
closed
2 months ago
15
Avoid mutating NULL
#191
JamesLee-Jones
closed
9 months ago
2
Mutating NULL with optimisations off
#190
JamesLee-Jones
closed
9 months ago
5
Dredd generate invalid code with #if
#189
JonathanFoo0523
closed
9 months ago
0
Update Clang in C++ apps
#188
afd
closed
9 months ago
0
Additional logic to avoid mutating `noexcept`
#187
afd
closed
10 months ago
0
Avoid mutating `noexcept` qualifiers.
#186
afd
closed
10 months ago
0
Simplify building of C++ apps.
#185
afd
closed
10 months ago
0
Work around structured binding issue.
#184
afd
closed
10 months ago
0
Avoid lambdas where possible
#183
afd
closed
10 months ago
0
Update Clang
#182
afd
closed
10 months ago
0
Fix CI
#181
JamesLee-Jones
closed
10 months ago
1
Install cmake-format in dev_shell.sh.template
#180
JamesLee-Jones
closed
9 months ago
4
Previous
Next