summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaAig.h
Commit message (Expand)AuthorAgeFilesLines
* Creating dedicated choice representation for GIA.Alan Mishchenko2012-10-241-0/+1
* Improving computation of choices from equivalence classes.Alan Mishchenko2012-09-231-0/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-3/+3
* initial commit of public abcAlan Mishchenko2010-11-011-6/+16
* Version abc90901Alan Mishchenko2015-06-221-0/+1
* Version abc90714Alan Mishchenko2015-06-221-0/+1
* Version abc90424Alan Mishchenko2009-04-241-0/+2
* Version abc90410Alan Mishchenko2009-04-101-1/+1
* Version abc90408Alan Mishchenko2009-04-081-0/+62