summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
...
* Multi-output property solver.Alan Mishchenko2013-10-231-0/+338
* 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
* Resubstitution code.Alan Mishchenko2013-10-062-20/+43
* Towards better Boolean matching.Alan Mishchenko2013-10-051-0/+13
* Towards better Boolean matching.Alan Mishchenko2013-10-051-0/+13
* Added 'abort' message in bridge mode for pdr -a timeoutNiklas Een2013-10-041-8/+30
* Changing default values.Alan Mishchenko2013-10-021-13/+13
* Changing default values.Alan Mishchenko2013-09-301-0/+17
* Changing default values.Alan Mishchenko2013-09-291-0/+13
* Code to test AIG generation for DSD structures.Alan Mishchenko2013-09-271-0/+31
* Fixed a bug in Bridge modeNiklas Een2013-09-271-2/+15
* New logic sharing extraction.Alan Mishchenko2013-09-262-213/+253
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-251-4/+6
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-252-3/+7
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-252-0/+97
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-1/+1
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-5/+2
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-8/+11
* Infrastructure to support full Liberty format and unitification of library re...Alan Mishchenko2013-09-152-2/+22
* Removing duplicated typedef line.Alan Mishchenko2013-09-131-1/+0
* Improvements to the new technology mapper.Alan Mishchenko2013-09-122-0/+49
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+46
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-9/+4
* Improvements to the new technology mapper.Alan Mishchenko2013-09-112-4/+19
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-0/+208
* Improvements to the new technology mapper.Alan Mishchenko2013-09-092-7/+16
* Improvements to the new technology mapper.Alan Mishchenko2013-09-093-0/+1109
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-1/+1
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-291-2/+2
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-281-0/+21
* Small changes to compile on Mac.Alan Mishchenko2013-08-151-1/+1
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-0/+44
* Integrated buffering and sizing.Alan Mishchenko2013-08-081-0/+5
* New technology mapper.Alan Mishchenko2013-07-142-7/+23
* New technology mapper.Alan Mishchenko2013-07-131-3/+12
* Precomputing DSD functions.Alan Mishchenko2013-07-111-0/+13
* Compiler warning.Alan Mishchenko2013-07-011-4/+6
* Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem o...Alan Mishchenko2013-07-011-0/+1
* Updating new mapper.Alan Mishchenko2013-06-291-4/+15
* Forgot that LIN64 was used in place of LIN for 64-bit architectures. Fixed.Niklas Een2013-06-291-2/+2
* Fixed a problem in BridgeMode; it will now correctly detect if the pipe has b...Niklas Een2013-06-281-4/+22
* Updating new mapper.Alan Mishchenko2013-06-281-40/+47
* Suggested changes to counting time in Abc_Clock()Alan Mishchenko2013-06-181-10/+10
* New MFS package.Alan Mishchenko2013-05-301-0/+8
* New DSD detection code.Alan Mishchenko2013-05-301-9/+18
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-1/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2711-56/+74
* New MFS package.Alan Mishchenko2013-05-271-0/+19