summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Expand)AuthorAgeFilesLines
* Improvements to false path detection.Alan Mishchenko2014-07-081-1/+1
* Improvements to representation of choices.Alan Mishchenko2014-07-011-3/+7
* 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
* Changes and improvements to different packages.Alan Mishchenko2014-06-281-1/+1
* Changes and improvements to different packages.Alan Mishchenko2014-06-281-6/+16
* Changes and improvements to different packages.Alan Mishchenko2014-06-261-0/+3
* Improvements to power-aware mapping.Alan Mishchenko2014-06-232-8/+17
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+1
* Improvements to CNF generation.Alan Mishchenko2014-06-233-12/+55
* Added command &mux_profile.Alan Mishchenko2014-06-221-0/+43
* Experiments with balancing.Alan Mishchenko2014-06-221-0/+80
* New tools for profiling verification miters.Alan Mishchenko2014-06-201-2/+62
* Added quick GIG parser.Alan Mishchenko2014-06-191-0/+59
* Added delay-oriented balancing to unmapping in &st.Alan Mishchenko2014-06-191-1/+14
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-171-0/+193
* 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-172-24/+89
* Bug fix in CEC generation after rarity simulation and few small changes.Alan Mishchenko2014-06-161-5/+9
* Adding support of multi-output problems in &splitprove.Alan Mishchenko2014-06-151-1/+25
* Updates and bug fixes.Alan Mishchenko2014-06-151-2/+14
* Adding more features to the synthesis script &syn2.Alan Mishchenko2014-06-141-7/+35
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-20/+15
* Various modifications.Alan Mishchenko2014-06-121-22/+47
* Enabling switching activity.Alan Mishchenko2014-06-121-2/+6
* Integrating recent changes.Alan Mishchenko2014-06-121-36/+22
* Adding switch to &st to convert to larger gates.Alan Mishchenko2014-06-111-5/+12
* Various modifications.Alan Mishchenko2014-06-101-2/+174
* Skip 'scorr' when the network has no primary inputs.Alan Mishchenko2014-06-091-0/+6
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-071-5/+9
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-073-13/+24
* Adding a feature to collapse hierarhical AIGs.Alan Mishchenko2014-06-051-4/+17
* Correcting switching activity computation.Alan Mishchenko2014-06-052-41/+34
* 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
* Fixed printout of in the hierarchy log file.Alan Mishchenko2014-06-051-1/+1
* ciJiang Long2014-06-041-1/+1
* the latest versionJiang Long2014-06-043-6/+72
* merge unfold2Jiang Long2014-06-044-2/+195
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-2/+3
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-5/+17
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-5/+20
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-7/+19
* Merging two branches.Alan Mishchenko2014-06-041-5/+6
|\
| * Fix PLA reader to correctly report error file numbers.Alan Mishchenko2014-06-021-5/+6
* | Adding CEC command &splitprove.Alan Mishchenko2014-06-021-0/+64
* | Corner-cases in &gprove and &mprove.Alan Mishchenko2014-06-011-1/+11
|/
* Allow delay increase to be negative in 'mfs2'.Alan Mishchenko2014-05-311-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 21:42:15 +0000