summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Changes and improvements to different packages.Alan Mishchenko2014-06-281-1/+1
|
* Changes and improvements to different packages.Alan Mishchenko2014-06-284-7/+76
|
* Changes and improvements to different packages.Alan Mishchenko2014-06-264-18/+56
|
* Improvements to power-aware mapping.Alan Mishchenko2014-06-236-15/+51
|
* Improvements to CNF generation.Alan Mishchenko2014-06-232-1/+10
|
* Improvements to CNF generation.Alan Mishchenko2014-06-232-5/+3
|
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+0
|
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+1
|
* Improvements to CNF generation.Alan Mishchenko2014-06-2311-20/+2066
|
* Added command &mux_profile.Alan Mishchenko2014-06-222-65/+197
|
* Experiments with balancing.Alan Mishchenko2014-06-224-1/+1063
|
* Added quick GIG parser.Alan Mishchenko2014-06-211-8/+110
|
* Experiments with cofactoring variables.Alan Mishchenko2014-06-203-15/+127
|
* New tools for profiling verification miters.Alan Mishchenko2014-06-205-7/+210
|
* Added quick GIG parser.Alan Mishchenko2014-06-191-1/+1
|
* Added quick GIG parser.Alan Mishchenko2014-06-193-0/+259
|
* Added delay-oriented balancing to unmapping in &st.Alan Mishchenko2014-06-192-8/+221
|
* Experiments with MUX profiling.Alan Mishchenko2014-06-193-18/+189
|
* Experiments with CNF generation.Alan Mishchenko2014-06-183-7/+13
|
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-179-223/+422
|
* Bug fix in writing latch init values in 'write_aiger'.Alan Mishchenko2014-06-171-3/+3
|
* Added transformation of CEX after 'fix_aig' and checking of transformed ↵Alan Mishchenko2014-06-174-24/+129
| | | | CEXes using 'testcex -a'.
* Bug fix in timeout of &splitprove.Alan Mishchenko2014-06-161-1/+1
|
* Bug fix in CEC generation after rarity simulation and few small changes.Alan Mishchenko2014-06-163-6/+11
|
* Adding support of multi-output problems in &splitprove.Alan Mishchenko2014-06-153-2/+137
|
* Updates and bug fixes.Alan Mishchenko2014-06-151-0/+13
|
* Updates and bug fixes.Alan Mishchenko2014-06-154-3/+21
|
* Adding more features to the synthesis script &syn2.Alan Mishchenko2014-06-145-17/+56
|
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-146-83/+121
|
* pyabc package script: don't package mercurial repositoriesBaruch Sterin2014-06-141-0/+3
|
* pyabc packaging script: also package shared objectsBaruch Sterin2014-06-141-1/+1
|
* Various modifications.Alan Mishchenko2014-06-131-1/+2
|
* Various modifications.Alan Mishchenko2014-06-1213-104/+141
|
* Enabling switching activity.Alan Mishchenko2014-06-122-2/+7
|
* Integrating recent changes.Alan Mishchenko2014-06-124-45/+40
|
* Adding switch to &st to convert to larger gates.Alan Mishchenko2014-06-111-5/+12
|
* Various modifications.Alan Mishchenko2014-06-101-1/+1
|
* Various modifications.Alan Mishchenko2014-06-101-0/+61
|
* Various modifications.Alan Mishchenko2014-06-107-8/+242
|
* add an option to the pyabc packaging scriptsBaruch Sterin2014-06-101-2/+7
|
* minor changes to pyabc install scriptBaruch Sterin2014-06-091-2/+14
|
* Skip 'scorr' when the network has no primary inputs.Alan Mishchenko2014-06-091-0/+6
|
* Commented out some assertions inAlan Mishchenko2014-06-071-8/+8
| | | | 'map'.
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-072-10/+14
|
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-074-18/+49
|
* Adding a feature to collapse hierarhical AIGs.Alan Mishchenko2014-06-052-5/+23
|
* Correcting switching activity computation.Alan Mishchenko2014-06-055-56/+46
|
* Fixed printout of in the hierarchy log file.Alan Mishchenko2014-06-051-1/+1
|
* Fixed printout of in the hierarchy log file.Alan Mishchenko2014-06-051-2/+4
|
* Fixed printout of in the hierarchy log file.Alan Mishchenko2014-06-051-1/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 14:41:34 +0000