summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaMan.c
Commit message (Expand)AuthorAgeFilesLines
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-0/+2
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-111-0/+1
* Experimental algorithm for edge optimization.Alan Mishchenko2016-04-131-0/+2
* Supporting edge information during mapping.Alan Mishchenko2016-04-111-1/+1
* Supporting edge information during mapping.Alan Mishchenko2016-04-061-0/+26
* Windowing for technology mapping.Alan Mishchenko2016-03-301-0/+1
* Windowing for technology mapping.Alan Mishchenko2016-03-291-1/+1
* Adding support for black boxes in extended AIG.Alan Mishchenko2015-10-041-0/+2
* Adding support for flop init-states in extended AIG.Alan Mishchenko2015-10-041-0/+1
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-081-0/+7
* Support for representing programmable cell configuration data.Alan Mishchenko2015-03-081-0/+2
* Diabling pin-permutation in &nf mapper.Alan Mishchenko2015-02-081-0/+1
* Integrating barrier buffers.Alan Mishchenko2014-12-081-0/+2
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-251-1/+1
* Adding integrity check for boxes and flops.Alan Mishchenko2014-11-251-4/+17
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-251-1/+1
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-5/+7
* Fix in reading flop classes.Alan Mishchenko2014-11-211-8/+7
* Fix in reading flop classes.Alan Mishchenko2014-11-211-1/+7
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-161-0/+1
* Generation of barrier-buffers for hierarchical design.Alan Mishchenko2014-11-101-0/+1
* Improvements to DSD balancing.Alan Mishchenko2014-08-271-1/+1
* Improvements to the timing manager.Alan Mishchenko2014-08-251-2/+4
* Adding support for standard-cell mapping.Alan Mishchenko2014-07-281-0/+1
* Improvements to representation of choices.Alan Mishchenko2014-07-011-4/+2
* Improvements to power-aware mapping.Alan Mishchenko2014-06-231-5/+9
* Experiments with balancing.Alan Mishchenko2014-06-221-1/+1
* New tools for profiling verification miters.Alan Mishchenko2014-06-201-0/+39
* Various modifications.Alan Mishchenko2014-06-121-24/+5
* Various modifications.Alan Mishchenko2014-06-101-3/+18
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-0/+1
* Adding color to sizing stats.Alan Mishchenko2014-04-191-0/+7
* Adding color to mapping stats.Alan Mishchenko2014-04-191-0/+17
* Adding print-out of average level.Alan Mishchenko2014-04-191-1/+4
* 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-191-0/+1
* Passing file name for stats print-out in &ps.Alan Mishchenko2014-03-091-1/+1
* Improving switching activity computation.Alan Mishchenko2013-12-261-0/+1
* New BMC engine.Alan Mishchenko2013-10-271-1/+1
* Multi-output property solver.Alan Mishchenko2013-10-231-0/+2
* Towards better Boolean matching.Alan Mishchenko2013-10-051-1/+1
* New logic sharing extraction.Alan Mishchenko2013-09-291-1/+1
* New logic sharing extraction.Alan Mishchenko2013-09-281-1/+9
* Changed printf to Abc_Print in giaMan.cNiklas Een2013-09-271-44/+43
* Improvements to the &ps.Alan Mishchenko2013-09-081-0/+2
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-6/+6
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-6/+7
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-0/+21
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-251-3/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 20:15:24 +0000