summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/gia.h
Commit message (Expand)AuthorAgeFilesLines
...
* Adding new command &sopb for resource-aware SOP balancing.Alan Mishchenko2014-07-211-1/+6
* Updates and changes to several packages.Alan Mishchenko2014-07-201-3/+6
* Small changes in several packages.Alan Mishchenko2014-07-171-0/+1
* Improvements to false path detection.Alan Mishchenko2014-07-081-0/+1
* Improvements to representation of choices.Alan Mishchenko2014-07-011-1/+7
* Changes and improvements to different packages.Alan Mishchenko2014-06-261-14/+35
* Improvements to power-aware mapping.Alan Mishchenko2014-06-231-0/+1
* Experiments with cofactoring variables.Alan Mishchenko2014-06-201-1/+2
* New tools for profiling verification miters.Alan Mishchenko2014-06-201-0/+3
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-171-0/+3
* Bug fix in CEC generation after rarity simulation and few small changes.Alan Mishchenko2014-06-161-0/+1
* Updates and bug fixes.Alan Mishchenko2014-06-151-0/+1
* Adding more features to the synthesis script &syn2.Alan Mishchenko2014-06-141-1/+1
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-0/+1
* Various modifications.Alan Mishchenko2014-06-121-2/+7
* Enabling switching activity.Alan Mishchenko2014-06-121-0/+1
* Integrating recent changes.Alan Mishchenko2014-06-121-0/+4
* Various modifications.Alan Mishchenko2014-06-101-0/+9
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-0/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+2
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-1/+1
* Code to explore cofactors of CEC problems.Alan Mishchenko2014-06-021-1/+1
* Fixing the problem with 'phase -c'.Alan Mishchenko2014-05-291-0/+1
* Exploration of MFFCs.Alan Mishchenko2014-04-261-0/+2
* Experiments with technology mapping.Alan Mishchenko2014-03-291-0/+1
* Experiments with mapping.Alan Mishchenko2014-03-231-0/+1
* Experiments with mapping.Alan Mishchenko2014-03-221-0/+1
* Experiments with mapping.Alan Mishchenko2014-03-221-0/+1
* Experiments with recent ideas.Alan Mishchenko2014-03-191-0/+1
* Experiments with simulation.Alan Mishchenko2014-03-141-5/+12
* Passing file name for stats print-out in &ps.Alan Mishchenko2014-03-091-2/+2
* Improving switching activity computation.Alan Mishchenko2013-12-261-0/+2
* New command &write_cnf.Alan Mishchenko2013-12-181-0/+1
* Sweeper internal dumping.Alan Mishchenko2013-11-011-0/+1
* Sweeper internal verification.Alan Mishchenko2013-11-011-1/+1
* Sweeper internal verification and new switch for &cfraig.Alan Mishchenko2013-11-011-1/+1
* Sweeper internal verification.Alan Mishchenko2013-11-011-1/+1
* Sweeper condition complement bug-fix and code for internal verification.Alan Mishchenko2013-11-011-1/+2
* Sweeper return value normalization.Alan Mishchenko2013-11-011-0/+1
* GIA sweeper: adding APIs to return valid probe ID and run a command line.Alan Mishchenko2013-10-311-0/+2
* Specialized induction check.Alan Mishchenko2013-10-311-1/+2
* GIA sweeper interface update.Alan Mishchenko2013-10-301-1/+1
* GIA sweeper interface update.Alan Mishchenko2013-10-301-2/+2
* New BMC engine.Alan Mishchenko2013-10-271-0/+1
* Multi-output property solver.Alan Mishchenko2013-10-231-0/+1
* Adding new synthesis scripts.Alan Mishchenko2013-10-231-0/+5
* More accurate level calculation in AIG balancing.Alan Mishchenko2013-10-221-0/+2
* Towards better Boolean matching.Alan Mishchenko2013-10-051-1/+2
* Bug fix and performance improvement in &iso.Alan Mishchenko2013-10-031-1/+1
* Changing default values.Alan Mishchenko2013-09-301-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 21:17:22 +0000