summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Expand)AuthorAgeFilesLines
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-16/+3
* Experiments with hierarchy representation.Alan Mishchenko2014-11-241-1/+91
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-18/+65
* Fix in reading flop classes.Alan Mishchenko2014-11-211-7/+0
* Experiments with hierarchy representation.Alan Mishchenko2014-11-201-0/+741
* Extending &fadds to support artificial chains. New command &setregnum.Alan Mishchenko2014-11-201-10/+93
* Extending &fadds to support artificial chains.Alan Mishchenko2014-11-191-7/+68
* Added check if a given command exists.Alan Mishchenko2014-11-182-0/+17
* Merging two branches.Alan Mishchenko2014-11-175-7/+165
|\
| * Bug fix in abstracting boxes.Alan Mishchenko2014-11-172-1/+3
| * Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-163-6/+162
* | AND/OR bug in the UIF computation.Alan Mishchenko2014-11-171-1/+1
|/
* Improvements to word-level network package.Alan Mishchenko2014-11-141-2/+2
* Improvements to word-level network package.Alan Mishchenko2014-11-141-2/+2
* Improvements to word-level network package.Alan Mishchenko2014-11-148-128/+472
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-142-5/+15
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-136-24/+164
* Generation of barrier-buffers for hierarchical design.Alan Mishchenko2014-11-114-15/+153
* Added switch -i to &filter to use FIs instead of FOs.Alan Mishchenko2014-11-111-5/+9
* Bug fix in blasting MUX with different ranges of inputs and the output.Alan Mishchenko2014-11-101-2/+2
* Generation of barrier-buffers for hierarchical design.Alan Mishchenko2014-11-101-10/+35
* Adding cyclicity check for netlist with boxes.Alan Mishchenko2014-11-106-3/+403
* Removing unauthorized printout in 'pdr'.Alan Mishchenko2014-11-091-1/+1
* Detecting full-adder chains and putting them into white boxes.Alan Mishchenko2014-11-091-0/+60
* Experimental implementation of BMC-related procedures.Alan Mishchenko2014-11-041-0/+86
* Added switches '-c' and '-n' to 'init'.Alan Mishchenko2014-11-022-13/+49
* Compiler warnings.Alan Mishchenko2014-10-281-1/+1
* Changes to enable building external code.Alan Mishchenko2014-10-283-32/+2
* Changes to enable building external code.Alan Mishchenko2014-10-273-378/+376
* Changing switch -v in 'qbf' and '&qbf' to be non-verbose by default.Alan Mishchenko2014-10-261-2/+2
* New command &satenum to enumerate SAT assignments of a miter in a naive way.Alan Mishchenko2014-10-251-0/+69
* Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations.Alan Mishchenko2014-10-251-2/+14
* Merged in sterin/abc (pull request #9)Alan Mishchenko2014-10-232-0/+45
|\
| * make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd()Baruch Sterin2014-10-222-0/+45
* | One bug fix and two small changes.Alan Mishchenko2014-10-221-2/+2
* | One bug fix and two small changes.Alan Mishchenko2014-10-222-7/+13
|/
* Disabling MiniSAT 2.2 for now.Alan Mishchenko2014-10-211-1/+1
* Compiler problems.Alan Mishchenko2014-10-211-1/+5
* Preparing to work with C++ code.Alan Mishchenko2014-10-212-0/+44
* Adding commands backup/restore.Alan Mishchenko2014-10-213-0/+84
* Adding switch &qbf -q to quantify functional variables.Alan Mishchenko2014-10-201-2/+20
* Improved QBF solver.Alan Mishchenko2014-10-181-2/+125
* Fixed "bm" command hang issue.grigora2014-10-111-7/+6
* Improvements to the parser.Alan Mishchenko2014-10-101-7/+86
* Naive (SAT-only) CEC option.Alan Mishchenko2014-10-101-2/+6
* Bug fix in the bit-blaster.Alan Mishchenko2014-10-101-3/+3
* Improvements to ISOP.Alan Mishchenko2014-10-102-5/+7
* Improvements to ISOP.Alan Mishchenko2014-10-102-4/+10
* Detection of threshold functions.Alan Mishchenko2014-10-082-3/+25
* Bug fix in move_names.Alan Mishchenko2014-10-051-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 00:28:00 +0000