Search results

Diff checker

Status: Open.

#60 In aeternity/smart-contract-verifier;

· janmichek opened on Nov 8, 2024

Share verified status with all contracts with the same bytecode

Status: Open.

#58 In aeternity/smart-contract-verifier;

· janmichek opened on Aug 28, 2024

Verify similar contracts

Status: Open.

#54 In aeternity/smart-contract-verifier;

· michele-franchi opened on May 1, 2024

Automatically derive the compiler version

Status: Open.

#53 In aeternity/smart-contract-verifier;

· michele-franchi opened on May 1, 2024

Add compiler 8.0.0

Status: Open.

#52 In aeternity/smart-contract-verifier;

· michele-franchi opened on Apr 30, 2024

Add Sentry

Status: Open.

#51 In aeternity/smart-contract-verifier;

· michele-franchi opened on Apr 30, 2024

FIles which are not part of the smart contract are not excluded

Status: Open.

#49 In aeternity/smart-contract-verifier;

· michele-franchi opened on Apr 24, 2024