summaryrefslogtreecommitdiffstats
path: root/src/misc/util
Commit message (Expand)AuthorAgeFilesLines
* New SAT-based optimization package.Alan Mishchenko2016-11-261-0/+28
* New SAT-based optimization package.Alan Mishchenko2016-11-191-0/+8
* 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
* Fix to the #include <stdlib.h> problem for Debug version on Window.Alan Mishchenko2015-10-161-8/+8
* make sure all of ABC and related libraries are in the same namespace (when co...Baruch Sterin2015-10-161-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-6/+2
* Improvements to Cba data-structure.Alan Mishchenko2015-08-083-37/+78
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-1/+1
* Major rehash of the CBA code.Alan Mishchenko2015-01-311-1/+1
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-312-0/+19
* New assertions and bug fix in DSD balancing.Alan Mishchenko2015-01-271-8/+19
* Exprimental features in tech-mapping.Alan Mishchenko2014-12-211-2/+16
* Adding new mapping feature.Alan Mishchenko2014-12-111-0/+266
* Changes to the parser.Alan Mishchenko2014-12-041-0/+1
* Changes to the parser.Alan Mishchenko2014-12-031-2/+19
* New parser and framework.Alan Mishchenko2014-11-292-12/+64
* Fix in reading flop classes.Alan Mishchenko2014-11-211-0/+4
* Recommended changes for portability.Alan Mishchenko2014-10-121-1/+1
* Bug fix in the bit-blaster.Alan Mishchenko2014-10-101-2/+2
* Improvements to ISOP.Alan Mishchenko2014-10-101-278/+784
* Detection of threshold functions.Alan Mishchenko2014-10-082-53/+100
* New ISOP computation.Alan Mishchenko2014-10-071-36/+196
* New ISOP computation.Alan Mishchenko2014-10-042-0/+522
* Extending resource limit.Alan Mishchenko2014-09-201-2/+2
* Improvements to Boolean matching.Alan Mishchenko2014-09-191-0/+69
* Improvements to Boolean matching.Alan Mishchenko2014-09-161-0/+14
* New word-level representation package.Alan Mishchenko2014-09-121-0/+29
* Compiler warnings.Alan Mishchenko2014-08-041-0/+53
* Profiling code for SOP/DSD/LMS balancing.Alan Mishchenko2014-08-021-0/+87
* Changes and improvements to different packages.Alan Mishchenko2014-06-301-0/+25
* Changes and improvements to different packages.Alan Mishchenko2014-06-261-0/+3
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+0
* Improvements to CNF generation.Alan Mishchenko2014-06-231-0/+250
* Experiments with CNF generation.Alan Mishchenko2014-06-181-5/+8
* Added transformation of CEX after 'fix_aig' and checking of transformed CEXes...Alan Mishchenko2014-06-172-0/+40
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-57/+99
* Fixing the problem with 'phase -c'.Alan Mishchenko2014-05-291-3/+3
* Command to test console colors.Alan Mishchenko2014-04-101-6/+5
* Command to test console colors.Alan Mishchenko2014-04-101-4/+4
* Command to test console colors.Alan Mishchenko2014-04-101-0/+2
* Command to test console colors.Alan Mishchenko2014-04-102-0/+124
* Better CEX minimization and renaming of write_counter into write_cex.Alan Mishchenko2014-04-042-0/+28