Skip to content

fredfeng/LoopSummary

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Loop Summarization for Smart Contracts

Getting started

  1. Download (link) and install Racket (v7 or later) if you do not already have it installed on your system.
    • Make sure that the Racket binaries are available on your PATH.
  2. Run the tool with src/loopsum.rkt, e.g., racket src/loopsum.rkt examples/test1.dsl.