Alan Mishchenko d8647f0b7b Fixing compilation problem which resulting from defining 'int c' as 'char c'.

2011-04-19 23:16:12 -07:00

..

abc

Fixed a number of small bugs and memory leaks.

2011-03-27 14:17:12 -07:00

abci

Adding constant correspondence.

2011-04-18 23:27:51 -07:00

cmd

Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numbers.

2011-04-17 19:11:57 -07:00

io

Fixed a number of small bugs and memory leaks.

2011-03-27 14:17:12 -07:00

main

Fixing compilation problem which resulting from defining 'int c' as 'char c'.

2011-04-19 23:16:12 -07:00

seq

initial commit of public abc

2010-11-01 01:35:04 -07:00

test

Added test package (new files).

2011-03-29 19:11:34 -07:00

ver

Fixed a number of small bugs and memory leaks.

2011-03-27 14:17:12 -07:00