Chisel

Installation

Installing Dependencies

See INSTALL.md.

Installing Chisel

Once you have all the requirements, run the following commands:

$ git clone https://github.com/aspire-project/chisel.git
$ cd chisel
$ mkdir build && cd build
$ cmake ..
$ make

Make sure to add Chisel to the PATH:

$ export PATH=[chisel directory]/build/bin:$PATH

For ensuring that everything is working properly, run the following command:

make test

Quick Start

After building the project run the below command:

$ chisel ./test.sh file.c

where file.c is a C program that you aim to reduce, and test.sh is the property testing script that returns 0 in a successful call. The reduced program is saved in file.c.chisel.c by default.