summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Updates and changes to several packages.Alan Mishchenko2014-07-2012-40/+162
* Small changes in several packages.Alan Mishchenko2014-07-182-2/+3
* Small changes in several packages.Alan Mishchenko2014-07-172-2/+11
* Small changes in several packages.Alan Mishchenko2014-07-174-4/+55
* Improvements to profiling and printing statistics.Alan Mishchenko2014-07-093-23/+114
* Improvements to false path detection.Alan Mishchenko2014-07-091-25/+21
* Improvements to false path detection.Alan Mishchenko2014-07-084-28/+352
* 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-011-144/+0
* Improvements to representation of choices.Alan Mishchenko2014-07-0115-66/+259
* Changes to align node IDs in Abc_Ntk_t representing a logic network with Abc_...Alan Mishchenko2014-06-301-14/+12
* Changes to align node IDs in Abc_Ntk_t representing a logic network with Abc_...Alan Mishchenko2014-06-301-10/+14
* Fix to the problem of not dumping test-vectors in &fftest when the use-specif...Alan Mishchenko2014-06-301-1/+1
* Changes and improvements to different packages.Alan Mishchenko2014-06-301-0/+25
* 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-265-18/+60
* 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-225-1/+1067
* 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-194-0/+263
* 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
* Changed email address in the title page.Alan Mishchenko2014-06-181-2/+2
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-1710-223/+426
* 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 CEXes...Alan Mishchenko2014-06-174-24/+129
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 19:29:25 +0000