summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Extending cube representation to handle SOPs with many cubes.Alan Mishchenko2013-05-122-5/+9
* New MFS package.Alan Mishchenko2013-05-1214-218/+930
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-121-0/+3
* Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ca...Alan Mishchenko2013-05-111-1/+1
* Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ca...Alan Mishchenko2013-05-114-79/+139
* Enabled switch 'fx -N <num>' to extract a fixed number of divisors.Alan Mishchenko2013-05-092-8/+9
* Typo in the comment.Alan Mishchenko2013-05-092-4/+4
* Adding comment about using 'dprove' for sequential synthesis.Alan Mishchenko2013-05-091-1/+1
* Changing per-output runtime limit to be in miliseconds.Alan Mishchenko2013-05-094-30/+30
* Bug fix in the sweeper.Alan Mishchenko2013-05-082-2/+8
* Bug fix in the sweeper.Alan Mishchenko2013-05-071-2/+6
* 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-064-54/+445
* 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-052-2/+2
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-055-16/+16
* 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
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-043-15/+2
* 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-038-42/+300
* 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
* Compiler warnings.Alan Mishchenko2013-05-012-4/+3
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-017-16/+934
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-30 22:48:00 +0000