summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/gia.h
Commit message (Expand)AuthorAgeFilesLines
* Added supporting dual-output seq miters in &trim.Alan Mishchenko2012-04-281-1/+1
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-281-1/+1
* Misc changes.Alan Mishchenko2012-04-221-1/+5
* Added dumping abstracted model in &vta.Alan Mishchenko2012-04-071-0/+1
* Added several new APIs to GIA and for file management.Alan Mishchenko2012-03-301-0/+9
* Isomorphism checking code.Alan Mishchenko2012-02-201-0/+4
* Added printout of BMC tents in &ps.Alan Mishchenko2012-02-191-1/+1
* Variable timeframe abstraction.Alan Mishchenko2012-02-161-0/+1
* Isomorphism checking code.Alan Mishchenko2012-02-151-0/+3
* Variable timeframe abstraction.Alan Mishchenko2012-02-121-0/+1
* Variable timeframe abstraction.Alan Mishchenko2012-02-111-2/+2
* Variable timeframe abstraction.Alan Mishchenko2012-02-111-0/+1
* Variable timeframe abstraction.Alan Mishchenko2012-01-231-0/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-56/+35
* Variable timeframe abstraction.Alan Mishchenko2012-01-201-0/+1
* Added notification about exceeding the number of nodes.Alan Mishchenko2012-01-171-0/+2
* New hierarchy manager plus additional printout in the GIA package.Alan Mishchenko2012-01-161-1/+4
* Variable timeframe abstraction.Alan Mishchenko2012-01-161-3/+18
* Variable timeframe abstraction.Alan Mishchenko2012-01-151-0/+3
* Added counting hits and misses during structural hashing.Alan Mishchenko2012-01-131-0/+2
* Backward reachability using circuit cofactoring.Alan Mishchenko2012-01-051-0/+5
* Integrated new proof-logging into proof-based gate-level abstraction.Alan Mishchenko2011-12-081-1/+1
* Bug fix in GLA PBA.Alan Mishchenko2011-11-121-0/+2
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-061-0/+2
* New proof-based abstraction code.Alan Mishchenko2011-10-251-1/+2
* New abstraction code.Alan Mishchenko2011-10-191-1/+1
* New abstraction code.Alan Mishchenko2011-10-151-0/+2
* Initial changes to enable gate-level abstraction.Alan Mishchenko2011-09-221-2/+4
* Added limit on the number of flops to add in one iteration of &abs_refine.Alan Mishchenko2011-09-121-1/+1
* Added timeout to &abc_pba.Alan Mishchenko2011-09-021-1/+1
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-181-1/+1
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-171-1/+1
* Added deriving abstraction in GIA from the precomputed flop map.Alan Mishchenko2011-07-291-0/+1
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-2/+7
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-211-0/+1
* Added command &filter to filter equiv classes.Alan Mishchenko2011-06-151-0/+3
* Added new options to testcex.Alan Mishchenko2011-04-281-1/+1
* Backward compatibility of GIA manager.Alan Mishchenko2011-04-181-0/+2
* Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numb...Alan Mishchenko2011-04-171-2/+4
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-131-0/+4
* Fixed the bug in Gia_ManRo/Gia_ManRo.Alan Mishchenko2011-03-091-2/+2
* Implemented additional filtering of equivalences (&srm -sf).Alan Mishchenko2011-02-211-1/+1
* Changes to support sequential verification with reduction without speculation.Alan Mishchenko2011-02-191-1/+1
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-8/+3
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-0/+1
* initial commit of public abcAlan Mishchenko2010-11-011-88/+212
* Version abc90901Alan Mishchenko2015-06-221-9/+25
* Version abc90807Alan Mishchenko2015-06-221-0/+2
* Version abc90804Alan Mishchenko2015-06-221-0/+3
* Version abc90714Alan Mishchenko2015-06-221-9/+37
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 23:42:55 +0000