summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaMf.c
Commit message (Expand)AuthorAgeFilesLines
* Corner-case bug fixed in CNF generation.Alan Mishchenko2017-12-281-0/+1
* Corner-case bug fixed in CNF generation.Alan Mishchenko2017-12-281-1/+6
* Fixing non-scalability in CNF generation.Alan Mishchenko2017-08-131-1/+1
* Fixing non-scalability in CNF generation.Alan Mishchenko2017-08-131-1/+1
* Fixing non-scalability in CNF generation.Alan Mishchenko2017-08-131-1/+1
* Fixing non-scalability in CNF generation.Alan Mishchenko2017-08-131-1/+25
* Experiments with BMC.Alan Mishchenko2017-08-091-0/+1
* Standardizing the use of new CNF generator. Adding CNF variable connectivity ...Alan Mishchenko2017-02-101-9/+49
* Fixing non-reproducability related to floating-point numbers.Alan Mishchenko2017-01-271-3/+4
* Compiler warnings.Alan Mishchenko2017-01-071-4/+4
* Adding a debug way to print cuts used in the CNF-generator.Alan Mishchenko2016-07-131-0/+9
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-3/+3
* Experiments with SAT-based cube enumeration.Alan Mishchenko2015-03-051-2/+2
* Recommended changes for portability.Alan Mishchenko2014-10-121-1/+1
* Adding features to CNF generation.Alan Mishchenko2014-09-281-2/+2
* Compiler warnings.Alan Mishchenko2014-08-041-5/+6
* Updates and changes to several packages.Alan Mishchenko2014-07-201-1/+2
* Improvements to representation of choices.Alan Mishchenko2014-07-011-5/+26
* Improvements to CNF generation.Alan Mishchenko2014-06-231-0/+9
* Improvements to CNF generation.Alan Mishchenko2014-06-231-4/+2
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+1
* Improvements to CNF generation.Alan Mishchenko2014-06-231-4/+1578
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-171-0/+62