summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Expand)AuthorAgeFilesLines
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-251-0/+4
* Small changes.Alan Mishchenko2014-07-211-29/+34
* Adding new command &sopb for resource-aware SOP balancing.Alan Mishchenko2014-07-214-1/+263
* Updates and changes to several packages.Alan Mishchenko2014-07-207-18/+31
* Small changes in several packages.Alan Mishchenko2014-07-181-1/+1
* Small changes in several packages.Alan Mishchenko2014-07-171-2/+3
* Small changes in several packages.Alan Mishchenko2014-07-173-3/+54
* Improvements to profiling and printing statistics.Alan Mishchenko2014-07-092-17/+98
* Improvements to false path detection.Alan Mishchenko2014-07-091-25/+21
* Improvements to false path detection.Alan Mishchenko2014-07-083-27/+351
* Experiment with SOP balancing.Alan Mishchenko2014-07-021-1/+20
* Compiler warning.Alan Mishchenko2014-07-011-1/+1
* Improvements to representation of choices.Alan Mishchenko2014-07-0111-60/+105
* Changes and improvements to different packages.Alan Mishchenko2014-06-283-1/+60
* Changes and improvements to different packages.Alan Mishchenko2014-06-261-14/+35
* Improvements to power-aware mapping.Alan Mishchenko2014-06-234-7/+34
* Improvements to CNF generation.Alan Mishchenko2014-06-231-0/+9
* Improvements to CNF generation.Alan Mishchenko2014-06-232-5/+3
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+1
* Improvements to CNF generation.Alan Mishchenko2014-06-232-7/+1588
* Added command &mux_profile.Alan Mishchenko2014-06-221-65/+154
* Experiments with balancing.Alan Mishchenko2014-06-223-1/+983
* Added quick GIG parser.Alan Mishchenko2014-06-211-8/+110
* Experiments with cofactoring variables.Alan Mishchenko2014-06-202-9/+51
* New tools for profiling verification miters.Alan Mishchenko2014-06-204-5/+148
* Added quick GIG parser.Alan Mishchenko2014-06-191-1/+1
* Added quick GIG parser.Alan Mishchenko2014-06-192-0/+200
* Experiments with MUX profiling.Alan Mishchenko2014-06-191-16/+141
* Experiments with CNF generation.Alan Mishchenko2014-06-181-1/+4
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-174-68/+66
* Bug fix in CEC generation after rarity simulation and few small changes.Alan Mishchenko2014-06-161-0/+1
* Adding support of multi-output problems in &splitprove.Alan Mishchenko2014-06-151-0/+81
* Updates and bug fixes.Alan Mishchenko2014-06-151-0/+13
* Updates and bug fixes.Alan Mishchenko2014-06-153-1/+7
* Adding more features to the synthesis script &syn2.Alan Mishchenko2014-06-142-7/+18
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-143-4/+5
* Various modifications.Alan Mishchenko2014-06-131-1/+2
* Various modifications.Alan Mishchenko2014-06-127-69/+77
* Enabling switching activity.Alan Mishchenko2014-06-121-0/+1
* Integrating recent changes.Alan Mishchenko2014-06-123-9/+18
* Various modifications.Alan Mishchenko2014-06-101-0/+61
* Various modifications.Alan Mishchenko2014-06-104-3/+56
* Adding a feature to collapse hierarhical AIGs.Alan Mishchenko2014-06-051-1/+6
* Correcting switching activity computation.Alan Mishchenko2014-06-052-15/+11
* Adding CEC command &splitprove.Alan Mishchenko2014-06-042-0/+95
* Adding CEC command &splitprove.Alan Mishchenko2014-06-043-7/+12
* Adding CEC command &splitprove.Alan Mishchenko2014-06-022-3/+3
* Code to explore cofactors of CEC problems.Alan Mishchenko2014-06-022-6/+6
* Fixing the problem with 'phase -c'.Alan Mishchenko2014-05-292-0/+48
* Experiment with new idea for ISO.Alan Mishchenko2014-05-212-0/+236
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 08:38:22 +0000