summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSim.c
Commit message (Expand)AuthorAgeFilesLines
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-6/+6
* Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.Alan Mishchenko2011-10-311-1/+2
* Diagnostic printout for random simulationAlan Mishchenko2011-07-161-0/+118
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-2/+2
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-3/+26
* initial commit of public abcAlan Mishchenko2010-11-011-40/+55
* Version abc90408Alan Mishchenko2009-04-081-17/+95
* Version abc90405Alan Mishchenko2009-04-051-1/+1
* Version abc90215Alan Mishchenko2009-02-151-0/+437