summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
* 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
* New MFS package.Alan Mishchenko2013-05-231-1/+18
* Extending cube representation to handle SOPs with many cubes.Alan Mishchenko2013-05-121-5/+5
* New MFS package.Alan Mishchenko2013-05-122-3/+11
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-053-5/+13
* New fast extract.Alan Mishchenko2013-05-053-7/+198
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+4
* Adding new API to the queue.Alan Mishchenko2013-05-041-0/+4
* Changes to the ABC data-structures to allow for larger designs.Alan Mishchenko2013-05-041-2/+2
* Compiler warnings.Alan Mishchenko2013-05-031-1/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 21:23:45 +0000