Search results

Error: The implementation CoqNat.ml does not match the interface CoqNat.cmi: Values do not match: val zero : int is not included in val zero : Decimal.int File "CoqNat.mli", line 6, characters 0-14: Expected declaration File "CoqNat.ml", line 8, characters 4-8: Actual declaration Command exited with code 2. Compilation unsuccessful after building 38 targets (0 cached) in 00:00:01.

Status: Open.

#55 In pirapira/dry-analyzer;

· Ywmet opened on Jul 12, 2019

Need explanation of an ouput

Status: Open.

#54 In pirapira/dry-analyzer;

· domainexpert opened on Nov 18, 2017

UI/UX Update

Status: Open.

#51 In pirapira/dry-analyzer;

· pindaroso opened on Sep 10, 2017

Receive the contract in POST, not GET method

Status: Open.

#50 In pirapira/dry-analyzer;

· pirapira opened on Jul 28, 2017

When CREATing something, show the init code it's sending

Status: Open.

#44 In pirapira/dry-analyzer;

· pirapira opened on Jun 26, 2017

get32 (0xa0) (codecopy mem: (0x60), code: (0x439), size: (0x60)) should turn into a concrete number

enhancement

ready

Status: Open.

#43 In pirapira/dry-analyzer;

· pirapira opened on Jun 26, 2017

if taken memory is known, do not continue

Status: Open.

#42 In pirapira/dry-analyzer;

· pirapira opened on Jun 26, 2017

a_mem_to_str: codecopy not implemented

Status: Open.

#41 In pirapira/dry-analyzer;

· pirapira opened on Jun 24, 2017

Ability to specify the initial storage contents

Status: Open.

#36 In pirapira/dry-analyzer;

· pirapira opened on Jun 24, 2017

Check if HTML is valid

Status: Open.

#35 In pirapira/dry-analyzer;

· pirapira opened on Jun 23, 2017

Classify expressions

Status: Open.

#32 In pirapira/dry-analyzer;

· pirapira opened on Jun 23, 2017

An option to focus on publicly reachable execution paths

ready

Status: Open.

#28 In pirapira/dry-analyzer;

· pirapira opened on Jun 19, 2017