summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | | The previous location of parentheses led to an attempt to compile against Linux-only clock APIs when building on 32-bit OS X.
* Merged in atomb/abc (pull request #1)Alan Mishchenko2013-11-052-4/+6
|\ | | | | | | Several patches to fix compilation under MINGW32
| * Don't assume MSVC when __MINGW32__ set.Aaron Tomb2013-11-041-0/+2
| |
| * Choose Windows file operations with MINGW32.Aaron Tomb2013-11-041-3/+3
| |
| * Make definition of Abc_Clock work with MINGW32.Aaron Tomb2013-11-041-1/+1
| |
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-1/+4
|/
* Changes to Liberty parser.Alan Mishchenko2013-10-301-0/+22
|