summaryrefslogtreecommitdiffstats
path: root/src/misc/extra/module.make
Commit message (Expand)AuthorAgeFilesLines
* Moving BDD-based threshold function detection to the BDD part of the code.Alan Mishchenko2015-10-161-1/+0
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-9/+1
* Compiler warnings.Alan Mishchenko2014-10-081-1/+1
* Compiler warnings.Alan Mishchenko2014-10-081-1/+1
* Detection of threshold functions.Alan Mishchenko2014-10-081-0/+1
* Experiment with support minimization.Alan Mishchenko2014-05-211-0/+1
* Exploration of functions.Alan Mishchenko2014-04-261-0/+1
* Experiments with permutations.Alan Mishchenko2014-04-211-0/+1
* Experiments with permutations.Alan Mishchenko2014-04-201-0/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-0/+1
* Added handling runtime limit inside And and AndExist.Alan Mishchenko2011-02-071-0/+1
* Version abc80430Alan Mishchenko2008-04-301-0/+1
* Version abc80130_2Alan Mishchenko2008-01-301-2/+8
* Version abc80130Alan Mishchenko2008-01-301-8/+2
* Version abc71001Alan Mishchenko2007-10-011-0/+15
* Version abc70930Alan Mishchenko2007-09-301-15/+0
* Version abc70217Alan Mishchenko2007-02-171-0/+1
* Version abc60407Alan Mishchenko2006-04-071-0/+1
* Version abc60220Alan Mishchenko2006-02-201-1/+3
* Version abc60211Alan Mishchenko2006-02-111-1/+2
* Version abc51005Alan Mishchenko2005-10-051-1/+2
* Version abc50831Alan Mishchenko2005-08-311-1/+2
* Version abc50822Alan Mishchenko2005-08-221-0/+1
* Version abc50809Alan Mishchenko2005-08-091-0/+1
* Version abc50729Alan Mishchenko2005-07-291-0/+6