summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Making fanin ordering available for netlists, not only networks.Alan Mishchenko2013-05-071-6/+6
|
* Bug fix in 'blockpo'.Alan Mishchenko2013-05-071-0/+1
|
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-075-13/+16
|
* Procedures for sorting fanins of the nodes.Alan Mishchenko2013-05-063-6/+15
|
* Procedures for sorting fanins of the nodes.Alan Mishchenko2013-05-065-54/+473
|
* SAT sweeping under constraints.Alan Mishchenko2013-05-065-22/+201
|
* Integration of the liveness property prover developed by Sayak Ray.Alan Mishchenko2013-05-058-4/+3283
|
* New fast extract.Alan Mishchenko2013-05-051-17/+71
|
* New fast extract.Alan Mishchenko2013-05-053-260/+332
|
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-053-4/+3
|
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-056-16/+17
|
* New fast extract.Alan Mishchenko2013-05-051-1/+1
|
* New fast extract.Alan Mishchenko2013-05-0510-226/+749
|
* C++ compiler errors.Alan Mishchenko2013-05-041-1/+1
|
* C++ compiler errors.Alan Mishchenko2013-05-041-47/+48
|
* C++ compiler errors.Alan Mishchenko2013-05-041-1/+1
|
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+2
|
* C++ compiler errors.Alan Mishchenko2013-05-041-1/+1
|
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+4
|
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+2
|
* C++ compiler errors.Alan Mishchenko2013-05-041-1/+1
|
* Adding new API to the queue.Alan Mishchenko2013-05-041-0/+4
|
* Temporarily disabling one change to Makefile.Alan Mishchenko2013-05-041-2/+2
|
* Adding link to the tutorial.Alan Mishchenko2013-05-041-0/+3
|
* Reducing page width in 'readme.md'.Alan Mishchenko2013-05-041-3/+3
|
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-041-2/+2
|
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-0410-133/+126
|
* Changes to the ABC data-structures to allow for larger designs.Alan Mishchenko2013-05-042-6/+6
|
* Fix to return equiv classes after improving &iso.Alan Mishchenko2013-05-031-1/+1
|
* Allowing 'constr' to reset remove currently defined constraints.Alan Mishchenko2013-05-031-20/+18
|
* Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).Alan Mishchenko2013-05-038-22/+117
|
* Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>).Alan Mishchenko2013-05-033-12/+59
|
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+2
|
* Compiler warnings.Alan Mishchenko2013-05-031-1/+0
|
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-039-42/+304
|
* Commenting out a warning.Alan Mishchenko2013-05-021-1/+1
|
* Minor changes and improvement in PO partitioning (command &popart).Alan Mishchenko2013-05-013-33/+47
|
* Adding the link to Ana's ABC tutorial.Alan Mishchenko2013-05-011-0/+2
|
* Compiler warnings.Alan Mishchenko2013-05-012-4/+3
|
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-018-16/+938
|
* Changing the print-out of &iso.Alan Mishchenko2013-04-303-11/+24
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-287-19/+103
|
* Added option 'int -I <filename>' to specify file names to dump invariants.Alan Mishchenko2013-04-284-7/+21
|
* Improving local BDD construction from local SOPs and local AIGs.Alan Mishchenko2013-04-281-1/+4
|
* Modified command 'eliminate' to perform traditional 'eliminate -1'.Alan Mishchenko2013-04-282-12/+48
|
* Added alias for 'eliminate'.Alan Mishchenko2013-04-282-3/+4
|
* Compiler warnings.Alan Mishchenko2013-04-281-2/+2
|
* Modified command 'eliminate' to perform traditional 'eliminate -1'.Alan Mishchenko2013-04-285-48/+257
|
* Improving local BDD construction from local SOPs and local AIGs.Alan Mishchenko2013-04-281-22/+84
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-2810-6/+178
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-06 03:54:58 +0000