summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/gia.h
Commit message (Expand)AuthorAgeFilesLines
* Added switch '&gla -m' to dump original miter with the abstraction map.Alan Mishchenko2012-08-261-4/+5
* Added generation of values of internal nodes for GIA manager.Alan Mishchenko2012-08-081-2/+7
* Scalable gate-level abstraction.Alan Mishchenko2012-08-031-0/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-08-021-1/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-08-021-0/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-08-021-0/+3
* Scalable gate-level abstraction.Alan Mishchenko2012-07-311-25/+25
* Scalable gate-level abstraction.Alan Mishchenko2012-07-291-0/+2
* Allow for skipping structural hashing when reading GIA from file.Alan Mishchenko2012-07-251-2/+2
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-201-4/+10
* Making GIA use independent truth table number storage when computing truth ta...Alan Mishchenko2012-07-191-0/+1
* Several small changes and fixes.Alan Mishchenko2012-07-131-1/+2
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-1/+4
* Added command &gla_purify.Alan Mishchenko2012-07-081-5/+5
* Updating truth table computation for GIA to work for internal nodes as well.Alan Mishchenko2012-07-081-1/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+0
* Procedure to compute truth tables for POs of GIA.Alan Mishchenko2012-07-071-0/+5
* Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstr...Alan Mishchenko2012-07-061-4/+4
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-051-1/+3
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-041-1/+2
* Added static fanout to GIA package.Alan Mishchenko2012-07-041-0/+14
* Performance improvement in &gla_refine.Alan Mishchenko2012-07-031-2/+1
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-011-0/+60
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-011-0/+1
* Gate level abstraction (command &gla).Alan Mishchenko2012-06-281-0/+2
* Added min-cut-based refinement of gate-level abstraction (command &gla_refine).Alan Mishchenko2012-06-241-0/+1
* Switch -A <file_name> to specify file name for dumping abstrated model with &...Alan Mishchenko2012-06-211-0/+1
* Misc changes.Alan Mishchenko2012-05-191-0/+2
* Preventing &iso from removing fanoutless PIs.Alan Mishchenko2012-05-031-1/+1
* Misc changes.Alan Mishchenko2012-05-021-1/+2
* Bug fixes in previous bug fixes related to &trim.Alan Mishchenko2012-05-011-0/+1
* 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