Skip to content

camoy/corpse-reviver

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 

Corpse Reviver

Build Status Scribble

Install

SCV-CR is not available on the Racket package server, so you must install it from the source.

$ git clone https://github.com/camoy/corpse-reviver
$ raco pkg install corpse-reviver/corpse-reviver-artifact \
                   corpse-reviver/corpse-reviver-benchmark \
                   corpse-reviver/corpse-reviver

Use

Invoke SCV-CR using raco. Given a list of paths to typed and untyped files, SCV-CR will produce optimized bytecode.

raco scv-cr server.rkt client.rkt

See the artifact documentation for more information.

Organization

This repository is organized into several separate packages. Each package has its own README.md with more details.

  • corpse-reviver-artifact contains the artifact documentation. This includes instructions for SCV-CR, but also the code that generates all of the statistics and figures used in the paper from the benchmarking data.
  • corpse-reviver-benchmark implements the command that collects data comparing the performance of SCV-CR and Typed Racket on a series of benchmarks.
  • corpse-reviver is the code of SCV-CR itself.
  • docs is the rendered artifact documentation needed for Github Pages.

About

Sound and efficient gradual typing via contract verification.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages