Skip to content

stepwise-alan/spl-tools

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

16 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Lifted Functional Equivalence

CLEVER V2

Getting Started

Prerequisites:

  1. Clone the repository

    git clone https://github.com/stepwise-alan/spl-tools.git
    cd spl-tools
  2. Install Python 3.10

  3. Install the requirements

    pip3 install -r requirements.txt

Usage

sbt "runMain LiftedEquivalenceCheckerV1 OLD_FILE NEW_FILE FUNCTION_NAME"

where OLD_FILE/NEW_FILE is the path to the old/new file, and FUNCTION_NAME is the function name.

Examples

sbt "runMain LiftedEquivalenceCheckerV1 examples/toy/old.c examples/toy/new.c client"

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published