1. Overview
  2. Download and installation
  3. Developer Links
  4. License

ABC is a Java-based C front-end. It provides a pre-processor and parser for C programs.

ABC is developed by the Verified Software Laboratory, under the direction of Stephen Siegel.

ABC is open source software distributed under the GNU Lesser General Public License.

Download and Installation

The current version of ABC is 0.1. Installation instructions can be found in the README file included in the distribution. The binary distributions include the required libraries.

Current build

The current builds have a file called VERSION containing the build number.

Developer Links
  1. ABC Javadoc API
  2. VSL Developer page
  3. JUnit Test Results (run after each commit)
  4. Jacoco Coverage Report

ABC is copyright 2014, Verified Software Laboratory, University of Delaware. It is distributed under the terms of the GNU Lesser General Public License.