Search results

Add SeaHorn asserts and assume to go chaincode.

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#69 In Research-Tools-PAVT/fabric-verify;

· codersguild opened on May 5, 2020

Golang to LLVM Bitcode for Hyperledger Shim packages

enhancementNew feature or requestNew feature or request

Status: Open.

#68 In Research-Tools-PAVT/fabric-verify;

· codersguild opened on May 5, 2020

Automate Transaction Flow

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#66 In Research-Tools-PAVT/fabric-verify;

· codersguild opened on Apr 29, 2020

Need to Refactor Code

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#65 In Research-Tools-PAVT/fabric-verify;

· codersguild opened on Apr 29, 2020