summaryrefslogtreecommitdiffstats
path: root/src/misc/extra
Commit message (Collapse)AuthorAgeFilesLines
...
* Experiment with support minimization.Alan Mishchenko2014-05-221-5/+53
|
* Experiment with support minimization.Alan Mishchenko2014-05-211-1/+1
|
* Simple version of ECO.Alan Mishchenko2014-05-211-4/+19
|
* Experiment with support minimization.Alan Mishchenko2014-05-212-0/+227
|
* Exploration of functions.Alan Mishchenko2014-04-301-1/+1
|
* Exploration of functions.Alan Mishchenko2014-04-301-114/+144
|
* Exploration of functions.Alan Mishchenko2014-04-291-1/+24
|
* Exploration of functions.Alan Mishchenko2014-04-281-0/+204
|
* Exploration of functions.Alan Mishchenko2014-04-261-2/+65
|
* Exploration of functions.Alan Mishchenko2014-04-261-3/+5
|
* Exploration of functions.Alan Mishchenko2014-04-262-0/+359
|
* Experiments with permutations.Alan Mishchenko2014-04-241-49/+92
|
* Experiments with permutations.Alan Mishchenko2014-04-241-1/+80
|
* Experiments with permutations.Alan Mishchenko2014-04-231-12/+5
|
* Experiments with permutations.Alan Mishchenko2014-04-231-6/+17
|
* Experiments with permutations.Alan Mishchenko2014-04-232-0/+36
|
* Experiments with permutations.Alan Mishchenko2014-04-231-3/+3
|
* Experiments with permutations.Alan Mishchenko2014-04-231-22/+10
|
* Experiments with permutations.Alan Mishchenko2014-04-231-15/+13
|
* Experiments with permutations.Alan Mishchenko2014-04-231-3/+3
|
* Experiments with permutations.Alan Mishchenko2014-04-231-53/+110
|
* Bug fix in if -g when choices are used.Alan Mishchenko2014-04-221-1/+1
|
* Experiments with permutations.Alan Mishchenko2014-04-212-0/+141
|
* Experiments with permutations.Alan Mishchenko2014-04-202-0/+868
|
* Improving K-map printout.Alan Mishchenko2014-04-101-0/+30
|
* Improvements to the standard cell flow.Alan Mishchenko2013-11-082-0/+21
|
* Multi-output property solver.Alan Mishchenko2013-10-231-0/+338
|
* Code to test AIG generation for DSD structures.Alan Mishchenko2013-09-271-0/+31
|
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-251-3/+4
|
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-251-0/+79
|
* Infrastructure to support full Liberty format and unitification of library ↵Alan Mishchenko2013-09-151-2/+2
| | | | representations.
* Removing duplicated typedef line.Alan Mishchenko2013-09-131-1/+0
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-122-0/+49
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-9/+4
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-112-4/+19
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-092-7/+16
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-093-0/+1109
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-276-25/+25
|
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-272-0/+27
|
* Integrating box library.Alan Mishchenko2013-03-081-0/+1
|
* Fixing compilation problems on Linux-32 related to constants of type ↵Alan Mishchenko2013-01-301-19/+19
| | | | unsigned long long.
* Improvements to the truth table computations.Alan Mishchenko2012-10-302-0/+19
|
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-294-116/+116
|
* Modified 'read' to read all types of libraries (genlib, liberty, scl).Alan Mishchenko2012-09-201-1/+1
|
* Fixing mismatch between declaration of the output value of Extra_CpuTime.Alan Mishchenko2012-09-181-1/+1
|
* Several minor changes.Alan Mishchenko2012-09-031-0/+41
|
* Added new algorithm for NPN semi-canonical form computation.Alan Mishchenko2012-08-232-4/+86
|
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-082-1/+2
|
* Recording and reusing learned util clauses in bmc2.Alan Mishchenko2012-07-221-1/+1
|
* New procedures to generate NPN-classes for a library of 6-input functions.Alan Mishchenko2012-07-201-8/+16
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 20:22:39 +0000