Certora/vscode-certora-prover

Issues

• UNDEFINED VARIABLE

  #51 opened 3 years ago
  0

• Missing Call Trace

  #50 opened 3 years ago
  1

• Typos

  #49 opened 3 years ago
  0

• Command Palette

  #47 opened 3 years ago
  2

• Notification on error/s

  #43 opened 3 years ago
  4

• [Extension] Marketplace page

  #41 opened 3 years ago
  0

• [Results] Button for run script

  #37 opened 3 years ago
  0

• [Results] Get output json

  #35 opened 3 years ago
  0

• [Results] Partial data acquisition

  #33 opened 3 years ago
  0

• [Results] Buttons for clean tree

  #31 opened 3 years ago
  0

• [All] Check code for handle possible errors

  #30 opened 3 years ago
  0

• [Results] Zero state in results tab

  #29 opened 3 years ago
  0

• [Settings] Fixes after review

  #28 opened 3 years ago
  0

• [Extension] Handle script running

  #26 opened 3 years ago
  0

• [Extension] Find way to run certora script from extension

  #24 opened 3 years ago
  0

• [Extension] Settings

  #22 opened 3 years ago
  0

• [Results] Realize logic for update variables, calltrace, cc resolution, cc resolution warnings depending on the selected rule

  #18 opened 3 years ago
  0

• [Extension] Add Certora icon in activity bar

  #17 opened 3 years ago
  0

• [Results] Use updated JSON from Certora team for building tree

  #15 opened 3 years ago
  1

• [Results] Add navigate to code logic to UI and add action buttons in tree

  #13 opened 3 years ago
  1

• [Extension] Realize navigate to code logic

  #12 opened 3 years ago
  0

• [Results] Use classes for codicons instead :before

  #9 opened 3 years ago
  0

• [Results] Realize rules tree and call stack tree using data from mock object

  #8 opened 3 years ago
  0

• [Results] Realize Tree component

  #6 opened 3 years ago
  0

• [Results] Realize Code Item component

  #4 opened 3 years ago
  0

• [Results] Realize VSCode Panel component

  #2 opened 3 years ago
  0

• Add webview container

  #1 opened 3 years ago
  1