summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
* Experiments with mapping.Alan Mishchenko2014-03-221-15/+15
* Experiments with mapping.Alan Mishchenko2014-03-222-9/+16
* Experiments with mapping.Alan Mishchenko2014-03-224-349/+961
* Experiments with recent ideas.Alan Mishchenko2014-03-201-6/+14
* Experiments with recent ideas.Alan Mishchenko2014-03-191-0/+39
* Experiments with recent ideas.Alan Mishchenko2014-03-192-0/+2
* Updating code to support barrier buffers.Alan Mishchenko2014-03-184-0/+14
* Experiments with simulation.Alan Mishchenko2014-03-142-5/+17
* Improvement to stats print-out in &ps.Alan Mishchenko2014-03-091-0/+1
* Bug fix in creating packing after mapping.Alan Mishchenko2014-03-091-3/+3
* Passing file name for stats print-out in &ps.Alan Mishchenko2014-03-093-7/+6
* Changes to LUT mappers.Alan Mishchenko2014-03-091-1/+1
* Changes to LUT mappers.Alan Mishchenko2014-03-091-1/+1
* Changes to LUT mappers.Alan Mishchenko2014-03-081-2/+2
* Changes to LUT mappers.Alan Mishchenko2014-03-061-3/+3
* Changes to LUT mappers.Alan Mishchenko2014-03-041-2/+1
* Changes to LUT mappers.Alan Mishchenko2014-03-041-20/+100
* g++ compiler errors.Alan Mishchenko2014-02-251-1/+1
* Changes to LUT mappers.Alan Mishchenko2014-02-191-23/+2
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-10/+2
* Adding APIs to specified input/output arrival/required times.Alan Mishchenko2014-02-121-0/+4
* Improving switching activity computation.Alan Mishchenko2013-12-264-27/+26
* New command &write_cnf.Alan Mishchenko2013-12-182-2/+29
* Making 'fold' and 'unfold' skip constant POs (another fix).Alan Mishchenko2013-12-041-6/+18
* Making 'fold' and 'unfold' skip constant POs (fixed).Alan Mishchenko2013-12-041-4/+5
* Bug fixes in the above patches.Alan Mishchenko2013-12-031-2/+3
* Suggested patch of AIG writers.Alan Mishchenko2013-12-031-4/+10
* Making 'fold' and 'unfold' skip constant POs.Alan Mishchenko2013-12-031-0/+4
* Bug fix in &b when reference counters are given.Alan Mishchenko2013-11-301-0/+1
* Structural mapper into structures.Alan Mishchenko2013-11-261-39/+50
* Structural mapper into structures.Alan Mishchenko2013-11-242-77/+128
* Propagating initial PI level during balancing.Alan Mishchenko2013-11-151-0/+45
* Structural mapper into structures.Alan Mishchenko2013-11-124-0/+735
* Sweeper internal dumping.Alan Mishchenko2013-11-011-7/+5
* Sweeper internal dumping.Alan Mishchenko2013-11-012-0/+33
* Sweeper internal verification.Alan Mishchenko2013-11-012-4/+6
* Sweeper internal verification and new switch for &cfraig.Alan Mishchenko2013-11-012-5/+6
* Sweeper internal verification.Alan Mishchenko2013-11-013-24/+34
* Corner-case bug in synthesis commands.Alan Mishchenko2013-11-011-0/+6
* Sweeper condition complement bug-fix.Alan Mishchenko2013-11-011-1/+1
* Sweeper condition complement bug-fix and code for internal verification.Alan Mishchenko2013-11-015-8/+56
* Sweeper return value normalization.Alan Mishchenko2013-11-012-0/+25
* False path detection.Alan Mishchenko2013-10-312-65/+146
* GIA sweeper: adding APIs to return valid probe ID and run a command line.Alan Mishchenko2013-10-311-1/+1
* GIA sweeper: adding APIs to return valid probe ID and run a command line.Alan Mishchenko2013-10-312-0/+72
* False path detection.Alan Mishchenko2013-10-312-0/+217
* Specialized induction check.Alan Mishchenko2013-10-312-4/+9
* GIA sweeper interface update.Alan Mishchenko2013-10-311-4/+6
* Bug fix in 'tempor -s'.Alan Mishchenko2013-10-301-0/+1
* GIA sweeper interface update.Alan Mishchenko2013-10-302-17/+15
generated by cgit v1.2.3 (git 2.25.1) at 2025-09-21 20:48:17 +0000