Search results

Test runner and mpp

Status: Open.

#25 In 1Jajen1/propCheck;

· 1Jajen1 opened on Nov 2, 2019

Setup benchmark env

Status: Open.

#24 In 1Jajen1/propCheck;

· 1Jajen1 opened on Nov 2, 2019

Diff eqv result

Status: Open.

#23 In 1Jajen1/propCheck;

· 1Jajen1 opened on Nov 2, 2019

 ·  

1.0 Stable

Integrated shrinking

Status: Open.

#22 In 1Jajen1/propCheck;

· 1Jajen1 opened on Nov 2, 2019

 ·  

1.0 Stable

Improve documentation

Status: Open.

#20 In 1Jajen1/propCheck;

· 1Jajen1 opened on Oct 25, 2019

 ·  

1.0 Stable

Rose monad is not stacksafe

bugSomething isn't workingSomething isn't working

Status: Open.

#12 In 1Jajen1/propCheck;

· 1Jajen1 opened on Oct 22, 2019

 ·  

1.0 Stable

Handle thrown exceptions

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

Status: Open.

#3 In 1Jajen1/propCheck;

· 1Jajen1 opened on Mar 4, 2019

 ·  

1.0 Stable

Check build.gradle for correctness

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

Status: Open.

#1 In 1Jajen1/propCheck;

· 1Jajen1 opened on Mar 4, 2019

 ·  

1.0 Stable