GitHub - academic-archive/cav17-pastis: Tool for the CAV 2017 paper: Automated Resource Analysis with Coq Proof Objects

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 306 Commits
llvm-reader		llvm-reader
packages		packages
source		source
.gitignore		.gitignore
Makefile		Makefile
README		README
configure		configure
goals.txt		goals.txt

Repository files navigation

     PASTIS - Polynomial Amortized Size Tracking Inference System
     ============================================================

- Build Instructions

Pastis comes with its rarely installed dependencies.  To build it
you will still need to have the following core:

  * GMP 4.2 or up (with development headers)
  * MPFR 2.2 or up (with development headers)
  * OCaml 4.0 or up (and ocamlbuild)
  * A C99 compiler (gcc/clang)
  * A C++ compiler (g++/clang++)

The location of most of these dependencies can be specified using
the main configure script, see ./configure -help for details.