summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaDup.c
Commit message (Expand)AuthorAgeFilesLines
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-0/+104
* Enabling additional stat printouts.Alan Mishchenko2012-12-021-1/+0
* Enabling command &append for combiming multiple AIGs.Alan Mishchenko2012-12-011-0/+32
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-151-3/+3
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-3/+3
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-0/+53
* Extending GIA to represent pintypes and pins.Alan Mishchenko2012-11-121-1/+3
* C++ portability changes.Alan Mishchenko2012-10-031-1/+1
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-021-4/+4
* Integrating time manager into choice computation.Alan Mishchenko2012-09-221-7/+19
* Added GIA normalization using timing manager.Alan Mishchenko2012-09-221-5/+87
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-151-257/+0
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-041-0/+28
* Added switch &trim -c to additionally remove direct connections (POs fed by P...Alan Mishchenko2012-07-201-0/+52
* Added command &gla_purify.Alan Mishchenko2012-07-081-1/+1
* Performance improvement in &gla_refine.Alan Mishchenko2012-07-031-104/+79
* Added min-cut-based refinement of gate-level abstraction (command &gla_refine).Alan Mishchenko2012-06-241-0/+46
* Preventing &iso from removing fanoutless PIs.Alan Mishchenko2012-05-031-3/+11
* Bug fixes in previous bug fixes related to &trim.Alan Mishchenko2012-05-011-30/+58
* Added supporting dual-output seq miters in &trim (bug fix).Alan Mishchenko2012-04-301-2/+0
* Added supporting dual-output seq miters in &trim.Alan Mishchenko2012-04-281-0/+13
* Added supporting dual-output seq miters in &trim.Alan Mishchenko2012-04-281-5/+46
* Isomorphism checking code.Alan Mishchenko2012-02-201-1/+1
* Isomorphism checking code.Alan Mishchenko2012-02-191-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-2/+2
* Isomorphism checking code.Alan Mishchenko2012-02-151-0/+77
* Major restructuring of the code.Alan Mishchenko2012-01-211-53/+53
* Bug fix in GLA PBA.Alan Mishchenko2011-11-131-0/+1
* Bug fix in GLA PBA.Alan Mishchenko2011-11-131-0/+3
* Bug fix in GLA PBA.Alan Mishchenko2011-11-121-5/+17
* Bug fix in GLA PBA (unfinished).Alan Mishchenko2011-11-091-1/+4
* New abstraction code.Alan Mishchenko2011-10-191-0/+22
* New abstraction code.Alan Mishchenko2011-10-151-29/+88
* Initial changes to enable gate-level abstraction.Alan Mishchenko2011-09-221-6/+66
* Added deriving abstraction in GIA from the precomputed flop map.Alan Mishchenko2011-07-291-0/+75
* Bug fix in how seq cleanup handles cand equiv classes.Alan Mishchenko2011-07-251-1/+3
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-211-2/+40
* Added support for constraints in AIGER.Alan Mishchenko2011-07-201-0/+1
* Adding command 'srm2'.Alan Mishchenko2011-06-081-0/+3
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-2/+2
* initial commit of public abcAlan Mishchenko2010-11-011-3/+224
* Version abc90424Alan Mishchenko2009-04-241-0/+41
* Version abc90410Alan Mishchenko2009-04-101-2/+21
* Version abc90408Alan Mishchenko2009-04-081-19/+19
* Version abc90329Alan Mishchenko2009-03-291-1/+221
* Version abc90321Alan Mishchenko2009-03-211-1/+50
* Version abc90313Alan Mishchenko2009-03-131-97/+98
* Version abc90311Alan Mishchenko2009-03-111-45/+45
* Version abc90310Alan Mishchenko2009-03-101-10/+204
* Version abc90220Alan Mishchenko2009-02-201-14/+42
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 11:40:42 +0000