Search results

CSE for real-world contracts

bugSomething isn't workingSomething isn't working

cse

Status: Open.

#922 In runtimeverification/kontrol;

· Stevengre opened on Jan 6, 2025

Make CSE more useful by reusing the previous proof

cse

Status: Open.

#896 In runtimeverification/kontrol;

· Stevengre opened on Nov 27, 2024

[CSE] Basic CI tests

cse

Status: Open.

#888 In runtimeverification/kontrol;

· Stevengre opened on Nov 19, 2024

CSE: Add constraints on <code>address</code> fields, parameters

cse

Status: Open.

#827 In runtimeverification/kontrol;

· palinatolmach opened on Sep 23, 2024

[cse] Precondition Refinement

cse

enhancementNew feature or requestNew feature or request

Status: Open.

#742 In runtimeverification/kontrol;

· Stevengre opened on Aug 5, 2024

Construct an appropriate <code>is_mergable</code> heuristic for merging nodes and composable verification.

cse

enhancementNew feature or requestNew feature or request

Status: Open.

#703 In runtimeverification/kontrol;

· Stevengre opened on Jul 17, 2024

CSE: support aliases for contract fields

cse

engagement

enhancementNew feature or requestNew feature or request

Status: Open.

#653 In runtimeverification/kontrol;

· palinatolmach opened on Jun 26, 2024

CSE: Apply range constraints to enums and mappings

cse

engagement

enhancementNew feature or requestNew feature or request

Status: Open.

#651 In runtimeverification/kontrol;

· palinatolmach opened on Jun 26, 2024

CSE: manually specified preconditions

cse

Status: Open.

#650 In runtimeverification/kontrol;

· palinatolmach opened on Jun 26, 2024

Constructor: support NatSpec comments for dynamic sizes

cse

engagement

Status: Open.

#624 In runtimeverification/kontrol;

· palinatolmach opened on Jun 12, 2024

CSE: propagate immutable values to <code>program</code>/<code>code</code> cells

cse

engagement

Status: Open.

#623 In runtimeverification/kontrol;

· palinatolmach opened on Jun 12, 2024

CSE tests failing in booster performance script

bugSomething isn't workingSomething isn't working

cse

Status: Open.

#486 In runtimeverification/kontrol;

· goodlyrottenapple opened on Mar 26, 2024