summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
* Improving CEX minimization.Alan Mishchenko2017-02-101-7/+18
* Autotuner for 'satoko'.Alan Mishchenko2017-02-081-22/+32
* Updates to arithmetic verification.Alan Mishchenko2017-01-151-0/+12
* Updates to arithmetic verification.Alan Mishchenko2017-01-142-0/+35
* Compiler warnings.Alan Mishchenko2017-01-011-1/+1
* Compiler warnings.Alan Mishchenko2016-12-312-4/+4
* New SAT-based optimization package.Alan Mishchenko2016-11-261-0/+28
* New SAT-based optimization package.Alan Mishchenko2016-11-191-0/+8
* Factoring out library preprocessing code in &nf and putting it elsewhere.Alan Mishchenko2016-05-161-0/+2
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-0/+27
* Suggested bug fix in st__strhash().Alan Mishchenko2016-04-301-7/+6
* Experiments with arithmetic circuits.Alan Mishchenko2016-04-281-0/+7
* Command &esop to convert AIG into ESOP.Alan Mishchenko2016-04-092-0/+40
* Compiler warning.Alan Mishchenko2015-12-161-7/+0
* add a new #define ABC_NAMESPACE_USING_NAMESPACE that adds a using decelaratio...Baruch Sterin2015-11-201-0/+3
* move namespace logic into a separate file. It is useful for users of ABC that...Baruch Sterin2015-11-202-27/+56
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-052-2/+59
* pyabc: remove python integration from abc, it is moved to a separate extensionBaruch Sterin2015-11-051-4/+0
* Compiler warnings.Alan Mishchenko2015-10-251-14/+3
* Extending library handling to 8 inputs.Alan Mishchenko2015-10-251-5/+30
* Changes for delay-oriented computation.Alan Mishchenko2015-10-241-1/+1
* Compiler warnings.Alan Mishchenko2015-10-211-1/+1
* Fix to the #include <stdlib.h> problem for Debug version on Window.Alan Mishchenko2015-10-161-8/+8
* Moving BDD-based threshold function detection to the BDD part of the code.Alan Mishchenko2015-10-162-694/+0
* make sure all of ABC and related libraries are in the same namespace (when co...Baruch Sterin2015-10-161-0/+1
* Adding support for black boxes in extended AIG.Alan Mishchenko2015-10-044-7/+25
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-271-0/+40
* Improvements to Scl_Lib/SC_Cell data-structure.Alan Mishchenko2015-09-241-0/+8
* Threshold logic checking code by Augusto Neutzling and Jody Matos.Alan Mishchenko2015-09-231-231/+591
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-081-0/+12
* More tuning in &nf.Alan Mishchenko2015-09-061-1/+6
* Bug fix in Vec_IntInsert() and a couple of new APIs.Alan Mishchenko2015-08-262-1/+16
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-2415-10275/+1280
* 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
* Compiler warning.Alan Mishchenko2015-08-231-1/+1
* Experiments with mapping plus small changes.Alan Mishchenko2015-08-231-0/+69
* Improvements to Cba data-structure.Alan Mishchenko2015-08-091-5/+18
* Improvements to Cba data-structure.Alan Mishchenko2015-08-092-8/+18
* Improvements to Cba data-structure.Alan Mishchenko2015-08-084-37/+119
* Updates to the Cba data-structure.Alan Mishchenko2015-07-251-1/+1
* Renaming Cba into Bac.Alan Mishchenko2015-07-211-0/+21
* Print-out for char arrays.Alan Mishchenko2015-07-121-2/+2
* Print-out for char arrays.Alan Mishchenko2015-07-121-0/+20
* 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
* Bug with in not property copying box info in &save/&load.Alan Mishchenko2015-03-251-0/+18
* Scalable SOP manipulation package.Alan Mishchenko2015-03-234-1/+79
* Scalable SOP manipulation package.Alan Mishchenko2015-03-181-0/+8
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-30 20:03:52 +0000