summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/module.make
Commit message (Expand)AuthorAgeFilesLines
* Detecting full-adder chains and putting them into white boxes.Alan Mishchenko2014-11-091-0/+1
* Improved QBF solver.Alan Mishchenko2014-10-181-0/+1
* Code restructuring.Alan Mishchenko2014-09-161-3/+4
* Added DSD-based collapsing &dsd.Alan Mishchenko2014-08-161-0/+1
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-261-0/+1
* Adding new command &sopb for resource-aware SOP balancing.Alan Mishchenko2014-07-211-0/+1
* Changes and improvements to different packages.Alan Mishchenko2014-06-281-0/+1
* Experiments with balancing.Alan Mishchenko2014-06-221-0/+1
* Added quick GIG parser.Alan Mishchenko2014-06-191-0/+1
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-171-0/+1
* Various modifications.Alan Mishchenko2014-06-101-0/+1
* Experiment with new idea for ISO.Alan Mishchenko2014-05-211-0/+1
* Exploration of MFFCs.Alan Mishchenko2014-04-261-0/+1
* Experiments with mapping.Alan Mishchenko2014-03-221-0/+1
* Structural mapper into structures.Alan Mishchenko2013-11-121-0/+1
* False path detection.Alan Mishchenko2013-10-311-0/+1
* Resubstitution code.Alan Mishchenko2013-10-061-0/+1
* Experiment with the AIG package.Alan Mishchenko2013-10-031-0/+1
* New logic sharing extraction.Alan Mishchenko2013-09-291-0/+1
* Performance balancing command &b.Alan Mishchenko2013-09-271-0/+1
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-251-0/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-0/+1
* New technology mapper.Alan Mishchenko2013-07-121-1/+0
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-251-1/+0
* Integrating new MFS package with GIA manager.Alan Mishchenko2013-06-041-0/+1
* Multiplexer profiling.Alan Mishchenko2013-05-271-0/+1
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+1
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-011-0/+1
* Shrink for 6-LUTs.Alan Mishchenko2013-03-311-0/+1
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-2/+1
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-0/+1
* Started PO partitioning command.Alan Mishchenko2013-02-241-0/+1
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-191-0/+1
* Integrating sweeping information.Alan Mishchenko2013-02-181-0/+1
* Integration of timing manager.Alan Mishchenko2013-02-031-0/+1
* Technology mapper.Alan Mishchenko2013-01-081-0/+1
* Unifification of custom extensions.Alan Mishchenko2012-12-101-0/+1
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-1/+0
* Combined old reparametrization command with the new one.Alan Mishchenko2012-10-021-1/+0
* Separated truth table computation for GIA manager and added new procedures.Alan Mishchenko2012-10-021-0/+1
* Improving computation of choices from equivalence classes.Alan Mishchenko2012-09-231-0/+1
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-151-9/+0
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-0/+1
* Started CEX minimization procedure.Alan Mishchenko2012-09-081-0/+1
* Updating &gla_refine to perform suffic refinement.Alan Mishchenko2012-09-071-0/+1
* Added new command &gla_shrink.Alan Mishchenko2012-09-041-0/+1
* Added generation of values of internal nodes for GIA manager.Alan Mishchenko2012-08-081-0/+1
* New cut-based refinement.Alan Mishchenko2012-08-061-0/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-07-211-0/+1
* Added new refinement manager for &gla and &abs_refine.Alan Mishchenko2012-07-141-0/+1