summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-173-155/+141
* 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
* Various modifications.Alan Mishchenko2014-06-101-1/+1
* Various modifications.Alan Mishchenko2014-06-102-3/+12
* Compiler warnings.Alan Mishchenko2014-05-291-3/+3
* Fixing the problem with 'phase -c'.Alan Mishchenko2014-05-292-4/+4
* Experiment with support minimization.Alan Mishchenko2014-05-271-57/+442
* Experiment with support minimization.Alan Mishchenko2014-05-221-2/+3
* Experiment with support minimization.Alan Mishchenko2014-05-221-5/+53
* Experiment with support minimization.Alan Mishchenko2014-05-211-1/+1
* Simple version of ECO.Alan Mishchenko2014-05-211-4/+19
* Experiment with support minimization.Alan Mishchenko2014-05-212-0/+227
* Exploration of functions.Alan Mishchenko2014-04-301-1/+1
* Exploration of functions.Alan Mishchenko2014-04-301-114/+144
* Exploration of functions.Alan Mishchenko2014-04-291-1/+24
* Exploration of functions.Alan Mishchenko2014-04-281-0/+204
* Exploration of functions.Alan Mishchenko2014-04-261-2/+65
* Exploration of functions.Alan Mishchenko2014-04-261-3/+5
* Exploration of functions.Alan Mishchenko2014-04-262-0/+359
* Experiments with permutations.Alan Mishchenko2014-04-241-49/+92
* Experiments with permutations.Alan Mishchenko2014-04-241-1/+80
* Experiments with permutations.Alan Mishchenko2014-04-231-12/+5
* Experiments with permutations.Alan Mishchenko2014-04-231-6/+17
* Experiments with permutations.Alan Mishchenko2014-04-232-0/+36
* Experiments with permutations.Alan Mishchenko2014-04-231-3/+3
* Experiments with permutations.Alan Mishchenko2014-04-231-22/+10
* Experiments with permutations.Alan Mishchenko2014-04-231-15/+13
* Experiments with permutations.Alan Mishchenko2014-04-231-3/+3
* Experiments with permutations.Alan Mishchenko2014-04-231-53/+110
* Bug fix in if -g when choices are used.Alan Mishchenko2014-04-221-1/+1
* Experiments with permutations.Alan Mishchenko2014-04-212-0/+141
* Experiments with permutations.Alan Mishchenko2014-04-202-0/+868
* Improving K-map printout.Alan Mishchenko2014-04-101-0/+30
* 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
* Improvements to technology mapping.Alan Mishchenko2014-04-021-2/+5
* Experiments with mapping.Alan Mishchenko2014-03-222-0/+33
* Adding barrier buffers.Alan Mishchenko2014-03-181-0/+2
* Changes to LUT mappers.Alan Mishchenko2014-02-191-5/+6
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-162-1/+40
* Fix in represneting constants in a platform-independent way.Alan Mishchenko2014-02-101-12/+12
* Structural mapper into structures.Alan Mishchenko2013-11-121-0/+8
* Improvements to the standard cell flow.Alan Mishchenko2013-11-082-0/+21
* Fix parenthesization of Abc_Clock #ifdef.Aaron Tomb2013-11-061-1/+1
* Merged in atomb/abc (pull request #1)Alan Mishchenko2013-11-052-4/+6
|\
| * Don't assume MSVC when __MINGW32__ set.Aaron Tomb2013-11-041-0/+2