Search results

C witness generator mistranslates SC

Status: Open.

#21 In johnwickerson/memalloy;

· MattWindsor91 opened on Oct 3, 2018

Add transactional regression tests

Status: Open.

#19 In johnwickerson/memalloy;

· johnwickerson opened on Sep 10, 2018

Add more regression tests

Status: Open.

#18 In johnwickerson/memalloy;

· johnwickerson opened on Sep 10, 2018

Removing rf edges when minimising may lead to missed executions

Status: Open.

#14 In johnwickerson/memalloy;

· johnwickerson opened on Nov 29, 2017

Use Alloy's symmetry breaking on total orders

enhancement

Status: Open.

#4 In johnwickerson/memalloy;

· johnwickerson opened on Feb 19, 2017

Assess performance impact of explicit Loc/Thd/Val sigs

enhancement

Status: Open.

#3 In johnwickerson/memalloy;

· johnwickerson opened on Feb 19, 2017

Check OpenCL/PTX compilation using *original* OpenCL MCM

enhancement

Status: Open.

#2 In johnwickerson/memalloy;

· johnwickerson opened on Feb 19, 2017