summaryrefslogtreecommitdiffstats
path: root/src/misc/util/utilTruth.h
Commit message (Expand)AuthorAgeFilesLines
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-051-0/+57
* Compiler warnings.Alan Mishchenko2015-10-251-14/+3
* Extending library handling to 8 inputs.Alan Mishchenko2015-10-251-5/+30
* Compiler warning.Alan Mishchenko2015-08-231-1/+1
* Experiments with mapping plus small changes.Alan Mishchenko2015-08-231-0/+69
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-311-0/+18
* Exprimental features in tech-mapping.Alan Mishchenko2014-12-211-2/+16
* Adding new mapping feature.Alan Mishchenko2014-12-111-0/+266
* Detection of threshold functions.Alan Mishchenko2014-10-081-0/+95
* Extending resource limit.Alan Mishchenko2014-09-201-2/+2
* Improvements to Boolean matching.Alan Mishchenko2014-09-191-0/+69
* Improvements to Boolean matching.Alan Mishchenko2014-09-161-0/+14
* New word-level representation package.Alan Mishchenko2014-09-121-0/+29
* Compiler warnings.Alan Mishchenko2014-08-041-0/+53
* Profiling code for SOP/DSD/LMS balancing.Alan Mishchenko2014-08-021-0/+87
* Changes and improvements to different packages.Alan Mishchenko2014-06-301-0/+25
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+0
* Improvements to CNF generation.Alan Mishchenko2014-06-231-0/+250
* Experiments with CNF generation.Alan Mishchenko2014-06-181-5/+8
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-57/+99
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-1/+1
* Fix in represneting constants in a platform-independent way.Alan Mishchenko2014-02-101-12/+12
* Extending truth table support in &jf for more than 6 inputs.Alan Mishchenko2013-10-101-3/+4
* Improvements to the canonical form computation.Alan Mishchenko2013-10-101-0/+1
* Moved the code to a different file.Alan Mishchenko2013-10-061-0/+197
* Towards better Boolean matching.Alan Mishchenko2013-10-051-0/+13
* Towards better Boolean matching.Alan Mishchenko2013-10-051-0/+13
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+46
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-0/+44
* New technology mapper.Alan Mishchenko2013-07-141-0/+6
* Shrink for 6-LUTs.Alan Mishchenko2013-03-311-2/+138
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-61/+61
* DSD manager.Alan Mishchenko2012-11-201-5/+5
* Improved DSD.Alan Mishchenko2012-11-111-3/+46
* Improved DSD.Alan Mishchenko2012-11-061-0/+52
* Improved DSD.Alan Mishchenko2012-11-061-45/+164
* Improved DSD.Alan Mishchenko2012-11-031-1/+2
* Improved DSD.Alan Mishchenko2012-11-021-21/+36
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-10/+2
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-462/+69
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-84/+101
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-13/+22
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-2/+4
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-2/+38
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-2/+39
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-4/+4
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-80/+886
* Improvements to the truth table computation in 'if' package.Alan Mishchenko2012-10-291-4/+103
* Move truth table code into a separte file.Alan Mishchenko2012-10-281-0/+323
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 01:32:57 +0000