Issues

• Scribble miscompiles lets inside of an implication

  ConsenSysDiligence/scribble#275 · Filter by author cd1m0 opened on Jul 24, 2024
  

• Scribble does not like the at import file path notation

  ConsenSysDiligence/scribble#271 · Filter by author ghost opened on Jun 15, 2024
  1

• scribble type-checker should disallow implicit converstion contract->address for newer solidity versions

  ConsenSysDiligence/scribble#266 · Filter by author cd1m0 opened on Apr 15, 2024
  

• Using state variable comparison in annotations with mstore mode

  bug
  ConsenSysDiligence/scribble#226 · Filter by author blitz-1306 opened on May 15, 2023
  1

• Idea: #define usage for functions

  ConsenSysDiligence/scribble#209 · Filter by author Jofairden opened on Jan 11, 2023
  2

• Invariant can cause infinite recursion stack overflow

  ConsenSysDiligence/scribble#201 · Filter by author NeverFearTomorrow opened on Nov 7, 2022
  3

  

• Typechecking logic for SIds is overcomplicated

  ConsenSysDiligence/scribble#182 · Filter by author cd1m0 opened on Jul 6, 2022
  

• Consider re-writing private state as internal to allow invariants over private state

  enhancement
  ConsenSysDiligence/scribble#166 · Filter by author cd1m0 opened on Mar 31, 2022
  

• sum from mapping of structs?

  question
  ConsenSysDiligence/scribble#144 · Filter by author naps62 opened on Feb 7, 2022
  6

• Add external yaml schema checking library

  debtgood first issue
  ConsenSysDiligence/scribble#129 · Filter by author cd1m0 opened on Dec 8, 2021

• Avoid generating ghost state declarations for quantifiers unless quantifiers are used

  enhancement
  ConsenSysDiligence/scribble#95 · Filter by author wuestholz opened on Oct 12, 2021
  2

  

• Javascript call stack exceeded

  bug
  ConsenSysDiligence/scribble#80 · Filter by author axic opened on Sep 21, 2021
  8

  

• Warn users when annotations may add inifinte loops

  enhancement
  ConsenSysDiligence/scribble#38 · Filter by author cd1m0 opened on Apr 23, 2021
  1

  

• Ability to execute scribble programmatically

  enhancement
  ConsenSysDiligence/scribble#22 · Filter by author wighawag opened on Mar 27, 2021
  11