summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Collapse)AuthorAgeFilesLines
* 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 ↵Alan Mishchenko2013-07-011-0/+1
| | | | on some platforms.
* 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 ↵Niklas Een2013-06-281-4/+22
| | | | been closed and exit ABC.
* 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
|
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+19
|
* Minor changes and improvement in PO partitioning (command &popart).Alan Mishchenko2013-05-011-0/+14
|
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-011-1/+92
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-0/+20
|
* New fast extract.Alan Mishchenko2013-04-275-1/+860
|
* Shrink for 6-LUTs.Alan Mishchenko2013-03-311-2/+138
|
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-272-0/+27
|
* PO partitioning algorithm.Alan Mishchenko2013-03-091-12/+10
|
* Integrating box library.Alan Mishchenko2013-03-081-0/+1
|
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-052-0/+10
|
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-054-20/+78
|
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-272-4/+2
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-0/+8
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-1/+2
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-0/+5
|
* Integrating sweeping information.Alan Mishchenko2013-02-231-1/+3
|
* Integrating sweeping information.Alan Mishchenko2013-02-232-3/+5
|
* Allowing for Verilog names of the type slash-<name>-space-[N].Alan Mishchenko2013-02-221-2/+8
|
* Integrating sweeping information.Alan Mishchenko2013-02-201-0/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 18:07:42 +0000