issues
search
c4-project
/
c4t
Runs concurrent C compiler tests
MIT License
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump golang.org/x/crypto from 0.0.0-20210921155107-089bfa567519 to 0.1.0
#139
dependabot[bot]
closed
1 year ago
1
Bump golang.org/x/sys from 0.0.0-20210630005230-0f9fa26af87c to 0.1.0
#138
dependabot[bot]
closed
1 year ago
1
Bump golang.org/x/text from 0.3.6 to 0.3.8
#137
dependabot[bot]
closed
1 year ago
0
Implement data-based compiler perturbance
#136
MattWindsor91
opened
3 years ago
0
Add -moutline-atomics support for GCC10, Clang12
#135
MattWindsor91
opened
3 years ago
0
Generalise CSV writing to table dumping
#134
MattWindsor91
opened
3 years ago
0
Expose mutation timespans in CSV and pretty-printing
#133
MattWindsor91
opened
3 years ago
0
Replace ioutil invocations
#132
MattWindsor91
closed
3 years ago
0
Convert ReadSubjectFile to a FS
#131
MattWindsor91
opened
3 years ago
0
Add `c4t-config --path`
#130
MattWindsor91
closed
3 years ago
1
Consider using SQLite to store analyses
#129
MattWindsor91
opened
3 years ago
1
Port templates to Go 1.16 embedding
#128
MattWindsor91
closed
3 years ago
1
Allow global mutant operator config
#127
MattWindsor91
opened
3 years ago
0
Allow operator names in mutant ranges
#126
MattWindsor91
opened
3 years ago
0
Consider XML for plan files
#125
MattWindsor91
opened
3 years ago
0
Implement global director timeout
#124
MattWindsor91
closed
3 years ago
0
Implement systematic perturber
#123
MattWindsor91
opened
3 years ago
0
Allow fuzzer disabling in director
#122
MattWindsor91
closed
3 years ago
0
Track numbers of occurrences in Obs
#121
MattWindsor91
closed
3 years ago
0
Track statuses of mutant hits in stats.json
#120
MattWindsor91
closed
3 years ago
1
Only kill mutants with Flagged status
#119
MattWindsor91
closed
3 years ago
0
Perform n+1th cycle fuzz/lift while waiting for nth cycle
#118
MattWindsor91
opened
3 years ago
0
Compiler timeout isn't working
#117
MattWindsor91
closed
3 years ago
1
Implement statistics reporting tool
#116
MattWindsor91
opened
3 years ago
1
Initial mutant selection races with first cycle
#115
MattWindsor91
closed
3 years ago
0
Make compiler config composable
#114
MattWindsor91
opened
3 years ago
0
Timeouts shouldn’t kill mutants
#113
MattWindsor91
closed
3 years ago
1
Invoker isn't sending errors correctly
#112
MattWindsor91
opened
3 years ago
1
Compiler experiments halt around 11th cycle
#111
MattWindsor91
closed
3 years ago
2
Implement mutation ticker
#110
MattWindsor91
closed
3 years ago
1
Add configurable timeslice duration to mutation config
#109
MattWindsor91
closed
3 years ago
1
Make selected mutant interpolatable in compiler config
#108
MattWindsor91
closed
3 years ago
0
Add mutant statistics to stats.json
#107
MattWindsor91
closed
3 years ago
0
Implement mutation analysis pass
#106
MattWindsor91
closed
3 years ago
0
Add mutation range specification to config
#105
MattWindsor91
closed
3 years ago
0
Implement mutation observer
#104
MattWindsor91
closed
3 years ago
3
Add mutation test simulation to gccn't
#103
MattWindsor91
closed
3 years ago
0
Implement mutation testing
#102
MattWindsor91
opened
3 years ago
1
Decouple compiler resolution
#101
MattWindsor91
opened
3 years ago
0
Implement default machine architectures
#100
MattWindsor91
closed
3 years ago
0
Implement compiler probing
#99
MattWindsor91
opened
3 years ago
0
Finish backend probing implementation
#98
MattWindsor91
opened
3 years ago
0
analysis: missing obs template
#97
MattWindsor91
closed
3 years ago
0
analysis: inconsistent gaps
#96
MattWindsor91
closed
3 years ago
0
Missing backends table hangs tester
#95
MattWindsor91
opened
3 years ago
0
Cycle errors are not being reported in the dashboard
#94
MattWindsor91
opened
3 years ago
0
Fail fast if backends are not available
#93
MattWindsor91
opened
3 years ago
0
Separate C-Litmus and asm-Litmus in places
#92
MattWindsor91
opened
3 years ago
1
Consider storing IDs as strings
#91
MattWindsor91
closed
3 years ago
0
Statset updates total cycles at wrong time
#90
MattWindsor91
closed
3 years ago
0
Next