summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/gia.h
Commit message (Expand)AuthorAgeFilesLines
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-0/+4
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-081-1/+1
* Enabling command &append for combiming multiple AIGs.Alan Mishchenko2012-12-011-0/+1
* Counter-example analysis and optimization.Alan Mishchenko2012-11-281-0/+1
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-151-0/+3
* Added switch 'cexcut -n' to generate only one bad state.Alan Mishchenko2012-11-151-0/+2
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-0/+1
* Made print-out of frontier cut an option ('-c') in '&ps'.Alan Mishchenko2012-11-121-1/+1
* Extending GIA to represent pintypes and pins.Alan Mishchenko2012-11-121-0/+20
* Improvements to LMS code.Alan Mishchenko2012-11-061-2/+3
* Fixing out-of-bound problem when collecting GIA nodes.Alan Mishchenko2012-11-021-1/+1
* Improvements to LMS code.Alan Mishchenko2012-10-281-0/+8
* Integrating GIA with LUT mapping.Alan Mishchenko2012-10-241-7/+10
* Creating dedicated choice representation for GIA.Alan Mishchenko2012-10-241-0/+4
* Adding frontier comptuation based on reversed CO order in &ps.Alan Mishchenko2012-10-241-1/+1
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-021-18/+10
* Combined old reparametrization command with the new one.Alan Mishchenko2012-10-021-2/+0
* Structural reparametrization.Alan Mishchenko2012-10-021-0/+1
* Separated truth table computation for GIA manager and added new procedures.Alan Mishchenko2012-10-021-0/+1
* Separated truth table computation for GIA manager and added new procedures.Alan Mishchenko2012-10-021-2/+5
* Structural reparametrization.Alan Mishchenko2012-10-011-0/+1
* Fixed several important problems in choice computation (command 'dch').Alan Mishchenko2012-10-011-1/+1
* Improving computation of choices from equivalence classes.Alan Mishchenko2012-09-231-5/+7
* Testing GIA with time manager.Alan Mishchenko2012-09-231-0/+1
* Integrating time manager into choice computation.Alan Mishchenko2012-09-221-2/+6
* Added GIA normalization using timing manager.Alan Mishchenko2012-09-221-1/+2
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-151-61/+0
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-0/+2
* Added code to collect experimental results.Alan Mishchenko2012-09-111-0/+3
* Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation (...Alan Mishchenko2012-09-091-0/+1
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-041-0/+1
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 15:51:55 +0000