Cascade Core Library 0.0.3-SNAPSHOT API

Packages

edu.nyu.cascade.c	Support for parsing C source files.
edu.nyu.cascade.fds	Defines interfaces for Transition and Fair Discrete Systems.
edu.nyu.cascade.fds.impl	Top-level package for the Prior verification framework.
edu.nyu.cascade.ir	Interfaces for a language-agnostic intermediate representation.
edu.nyu.cascade.ir.expr	Implementations of expression and program state encodings.
edu.nyu.cascade.ir.impl	Implementation of a language-agnostic intermediate representation.
edu.nyu.cascade.ir.type	Definitions of types for the intermediate representation.
edu.nyu.cascade.prover	Interfaces for interacting with a theorem prover.
edu.nyu.cascade.prover.type	Interfaces for types of theorem prover expressions.
edu.nyu.cascade.util	General utilities for the Prior verification framework.