summaryrefslogtreecommitdiffstats
path: root/src/misc/extra
Commit message (Collapse)AuthorAgeFilesLines
* Moving BDD-based threshold function detection to the BDD part of the code.Alan Mishchenko2015-10-162-694/+0
|
* Threshold logic checking code by Augusto Neutzling and Jody Matos.Alan Mishchenko2015-09-231-231/+591
|
* More tuning in &nf.Alan Mishchenko2015-09-061-1/+6
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-249-10275/+0
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-9/+1
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-0/+1
|
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-1/+1
|
* Procedure to dump ZDD representing a set of cubes into a PLA file.Alan Mishchenko2015-04-102-0/+40
|
* Important corner-case bug in SOP computation (recently introduced).Alan Mishchenko2015-04-011-0/+3
|
* Experiments with cube hashing.Alan Mishchenko2015-02-271-154/+340
|
* Experiments with cube hashing.Alan Mishchenko2015-02-201-1/+292
|
* Changing semantics of switch -C in 'sop' to limit cubes at one node.Alan Mishchenko2015-02-183-24/+24
|
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-171-0/+34
|
* Compiler warnings.Alan Mishchenko2015-02-151-1/+1
|
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-131-0/+1
|
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-3/+4
|
* Adding resource limit to 'sop'.Alan Mishchenko2015-02-102-0/+265
|
* Experiment with prime computation.Alan Mishchenko2015-01-251-0/+124
|
* New parser and framework.Alan Mishchenko2014-11-292-0/+20
|
* Added minor API to clean path on a Windows computer.Alan Mishchenko2014-11-052-2/+24
|
* Compiler warnings.Alan Mishchenko2014-10-281-1/+1
|
* One bug fix and two small changes.Alan Mishchenko2014-10-222-0/+14
|
* Recommended changes for portability.Alan Mishchenko2014-10-121-1/+1
|
* Compiler warnings.Alan Mishchenko2014-10-081-1/+1
|
* Compiler warnings.Alan Mishchenko2014-10-081-1/+1
|
* Compiler warnings.Alan Mishchenko2014-10-081-1/+1
|
* Detection of threshold functions.Alan Mishchenko2014-10-082-0/+334
|
* Improvements to bit-blaster.Alan Mishchenko2014-09-301-0/+2
|
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-171-143/+0
|
* Various modifications.Alan Mishchenko2014-06-101-1/+1
|
* Compiler warnings.Alan Mishchenko2014-05-291-3/+3
|
* Fixing the problem with 'phase -c'.Alan Mishchenko2014-05-291-1/+1
|
* Experiment with support minimization.Alan Mishchenko2014-05-271-57/+442
|
* Experiment with support minimization.Alan Mishchenko2014-05-221-2/+3
|
* 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
|