summaryrefslogtreecommitdiffstats
path: root/src/misc/extra
Commit message (Expand)AuthorAgeFilesLines
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-154-3/+121
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-091-0/+1
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-092-21/+66
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-082-0/+302
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-2/+2
* extraUtilPerm: Abc_ZddDiff.Heinz Riener2018-10-211-1/+1
* Expriments with functions (bug fixes).Alan Mishchenko2018-09-071-1/+1
* Updating command 'majgen'.Alan Mishchenko2018-07-041-13/+15
* Updating command 'majgen'.Alan Mishchenko2018-07-041-72/+21
* Adding command 'majgen'.Alan Mishchenko2018-07-044-0/+454
* Path enumeration using SAT.Alan Mishchenko2018-06-201-0/+84
* Experiments with path enumeration.Alan Mishchenko2018-06-101-5/+413
* Experiments with path enumeration.Alan Mishchenko2018-06-062-0/+116
* Simple BDD package.Alan Mishchenko2018-05-231-0/+395
* Simple BDD package.Alan Mishchenko2018-05-231-0/+1
* Handling corner cases in TT print-out.Alan Mishchenko2017-07-211-0/+4
* Experiments with support minimization.Alan Mishchenko2017-04-272-4/+4
* Autotuner for 'satoko'.Alan Mishchenko2017-02-081-22/+32
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 21:07:15 +0000