Search results

Failure when building

bugSomething isn't workingSomething isn't working

Status: Open.

#8 In dapphub/daim;

· asymmetric opened on Jul 20, 2018

Handle indicies being equal in e2e verification

Status: Open.

#7 In dapphub/daim;

· danr opened on Jun 25, 2018

Integrate generated D0 with prototype Solidity system

Status: Open.

#6 In dapphub/daim;

· danr opened on Jun 25, 2018

Investigate the non-reverting boundary of D0

Status: Open.

#5 In dapphub/daim;

· danr opened on Jun 25, 2018

Generate Agda transition data type from methods in sic

Status: Open.

#4 In dapphub/daim;

· danr opened on Jun 25, 2018

Unit test suite generation with full branch coverage

Status: Open.

#3 In dapphub/daim;

· danr opened on Jun 25, 2018

End-to-end bytecode verification

Status: Open.

#2 In dapphub/daim;

· danr opened on Jun 25, 2018

Rethink compilation of booleans

Status: Open.

#1 In dapphub/daim;

· danr opened on Jun 13, 2018