Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Fix in represneting constants in a platform-independent way. | Alan Mishchenko | 2014-02-10 | 1 | -12/+12 | |
| | ||||||
* | Extending truth table support in &jf for more than 6 inputs. | Alan Mishchenko | 2013-10-10 | 1 | -3/+4 | |
| | ||||||
* | Improvements to the canonical form computation. | Alan Mishchenko | 2013-10-10 | 1 | -0/+1 | |
| | ||||||
* | Moved the code to a different file. | Alan Mishchenko | 2013-10-06 | 1 | -0/+197 | |
| | ||||||
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-05 | 1 | -0/+13 | |
| | ||||||
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-05 | 1 | -0/+13 | |
| | ||||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-12 | 1 | -0/+46 | |
| | ||||||
* | Enabling additional matching feature in the LUT mapper. | Alan Mishchenko | 2013-08-12 | 1 | -0/+44 | |
| | ||||||
* | New technology mapper. | Alan Mishchenko | 2013-07-14 | 1 | -0/+6 | |
| | ||||||
* | Shrink for 6-LUTs. | Alan Mishchenko | 2013-03-31 | 1 | -2/+138 | |
| | ||||||
* | Fixing compilation problems on Linux-32 related to constants of type ↵ | Alan Mishchenko | 2013-01-30 | 1 | -61/+61 | |
| | | | | unsigned long long. | |||||
* | DSD manager. | Alan Mishchenko | 2012-11-20 | 1 | -5/+5 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-11 | 1 | -3/+46 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 1 | -0/+52 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 1 | -45/+164 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-03 | 1 | -1/+2 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-02 | 1 | -21/+36 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -10/+2 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -462/+69 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -84/+101 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -13/+22 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -2/+4 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -2/+38 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -2/+39 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -4/+4 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -80/+886 | |
| | ||||||
* | Improvements to the truth table computation in 'if' package. | Alan Mishchenko | 2012-10-29 | 1 | -4/+103 | |
| | ||||||
* | Move truth table code into a separte file. | Alan Mishchenko | 2012-10-28 | 1 | -0/+323 | |