Search results

Audit Litmus code for herdtools7 dependencies

help wantedExtra attention is neededExtra attention is needed

Type:EnhancementNew feature or requestNew feature or request

Status: Open.

#252 In c4-project/c4f;

· MattWindsor91 opened on Feb 11, 2021

Make Env-taking generators standalone functions

Area:FuzzerSpecifically affecting the program mutatorSpecifically affecting the program mutator

Type:EnhancementNew feature or requestNew feature or request

Status: Open.

#250 In c4-project/c4f;

· MattWindsor91 opened on Dec 18, 2020

Storelike boilerplate is too strict in dead blocks

Area:FuzzerSpecifically affecting the program mutatorSpecifically affecting the program mutator

Type:EnhancementNew feature or requestNew feature or request

Status: Open.

#249 In c4-project/c4f;

· MattWindsor91 opened on Dec 18, 2020

Constant generator KV equations can overflow

Area:FuzzerSpecifically affecting the program mutatorSpecifically affecting the program mutator

Type:BugSomething isn't workingSomething isn't working

Status: Open.

#243 In c4-project/c4f;

· MattWindsor91 opened on Nov 23, 2020

Keep recently-used constants in fuzzer state

Type:EnhancementNew feature or requestNew feature or request

Status: Open.

#241 In c4-project/c4f;

· MattWindsor91 opened on Nov 6, 2020

Expression generator: consider narrowing operator choice policy

Area:FuzzerSpecifically affecting the program mutatorSpecifically affecting the program mutator

Type:EnhancementNew feature or requestNew feature or request

Status: Open.

#240 In c4-project/c4f;

· MattWindsor91 opened on Nov 6, 2020

Tabulate and use known-safe operator bounds

Area:FuzzerSpecifically affecting the program mutatorSpecifically affecting the program mutator

Type:EnhancementNew feature or requestNew feature or request

Status: Open.

#239 In c4-project/c4f;

· MattWindsor91 opened on Nov 6, 2020

Use variables with equal KVs to satisfy reflexivity rules

Area:FuzzerSpecifically affecting the program mutatorSpecifically affecting the program mutator

Type:EnhancementNew feature or requestNew feature or request

Status: Open.

#236 In c4-project/c4f;

· MattWindsor91 opened on Oct 27, 2020

Generate weak cmpxchgs

Area:FuzzerSpecifically affecting the program mutatorSpecifically affecting the program mutator

Type:EnhancementNew feature or requestNew feature or request

Status: Open.

#235 In c4-project/c4f;

· MattWindsor91 opened on Oct 24, 2020

Break cmpxchg orders in dead code

Area:FuzzerSpecifically affecting the program mutatorSpecifically affecting the program mutator

Compiler:LLVMSpecifically affecting LLVMSpecifically affecting LLVM

Type:EnhancementNew feature or requestNew feature or request

Status: Open.

#234 In c4-project/c4f;

· MattWindsor91 opened on Oct 24, 2020

Generalise memory orders to expressions

Area:FuzzerSpecifically affecting the program mutatorSpecifically affecting the program mutator

Type:EnhancementNew feature or requestNew feature or request

Status: Open.

#233 In c4-project/c4f;

· MattWindsor91 opened on Oct 24, 2020

Add ternary expressions

Area:FuzzerSpecifically affecting the program mutatorSpecifically affecting the program mutator

Type:EnhancementNew feature or requestNew feature or request

Status: Open.

#231 In c4-project/c4f;

· MattWindsor91 opened on Oct 22, 2020