summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSim.c
Commit message (Expand)AuthorAgeFilesLines
* Experimental simulation based code.Alan Mishchenko2020-02-061-638/+0
* Adding several new utilities.Alan Mishchenko2020-01-271-2/+4
* Experiments with resubstitution.Alan Mishchenko2020-01-211-1/+296
* Experiments with simulation patterns.Alan Mishchenko2020-01-201-0/+342
* Experiments with SAT-based simulation.Alan Mishchenko2018-01-251-1/+3
* Experiments with SAT-based simulation.Alan Mishchenko2018-01-231-3/+110
* Experiments with AIG-based simulation.Alan Mishchenko2017-12-051-9/+226
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-0/+148
* Making public some APIs.Alan Mishchenko2014-11-031-17/+7
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-7/+7
* Added switch -I <file_name> to &sim to perform simulation with the user's sim...Alan Mishchenko2013-05-181-0/+95
* Unified print-out of property failures produced by all engines.Alan Mishchenko2012-09-091-1/+1
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-5/+5
* 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