summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* Integrating sweeping information.Alan Mishchenko2013-02-201-7/+8
* Integrating sweeping information.Alan Mishchenko2013-02-201-1/+1
* Integrating hierarchy information (reporting incorrect topological order).Alan Mishchenko2013-02-202-0/+24
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-191-0/+1
* Integrating sweeping information.Alan Mishchenko2013-02-191-27/+35
* Integrating sweeping information.Alan Mishchenko2013-02-182-6/+136
* Integration of timing manager.Alan Mishchenko2013-02-031-1/+1