summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Collapse)AuthorAgeFilesLines
...
* Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin.Alan Mishchenko2013-05-131-1/+1
|
* Extending cube representation to handle SOPs with many cubes.Alan Mishchenko2013-05-121-0/+4
|
* New MFS package.Alan Mishchenko2013-05-123-0/+333
|
* Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ↵Alan Mishchenko2013-05-111-1/+1
| | | | case of non-prime SOPs.
* Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ↵Alan Mishchenko2013-05-114-79/+139
| | | | case of non-prime SOPs.
* Enabled switch 'fx -N <num>' to extract a fixed number of divisors.Alan Mishchenko2013-05-092-8/+9
|
* 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-091-26/+26
|
* Making fanin ordering available for netlists, not only networks.Alan Mishchenko2013-05-071-6/+6
|
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-071-7/+7
|
* 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
|
* Integration of the liveness property prover developed by Sayak Ray.Alan Mishchenko2013-05-051-3/+7
|
* New fast extract.Alan Mishchenko2013-05-051-17/+71
|
* New fast extract.Alan Mishchenko2013-05-053-260/+332
|
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-051-9/+1
|
* New fast extract.Alan Mishchenko2013-05-051-1/+1
|
* New fast extract.Alan Mishchenko2013-05-053-212/+544
|
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+2
|
* C++ compiler errors.Alan Mishchenko2013-05-041-1/+1
|
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-042-9/+1
|
* Changes to the ABC data-structures to allow for larger designs.Alan Mishchenko2013-05-041-4/+4
|
* 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-032-17/+42
|
* Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>).Alan Mishchenko2013-05-031-2/+14
|
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-7/+22
|
* Minor changes and improvement in PO partitioning (command &popart).Alan Mishchenko2013-05-011-6/+7
|
* Compiler warnings.Alan Mishchenko2013-05-011-1/+1
|
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-011-9/+22
|
* Changing the print-out of &iso.Alan Mishchenko2013-04-301-5/+9
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-2/+2
|
* Added option 'int -I <filename>' to specify file names to dump invariants.Alan Mishchenko2013-04-281-4/+14
|
* 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-281-3/+3
|
* Modified command 'eliminate' to perform traditional 'eliminate -1'.Alan Mishchenko2013-04-283-48/+190
|
* Improving local BDD construction from local SOPs and local AIGs.Alan Mishchenko2013-04-281-22/+84
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-4/+10
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-271-2/+3
|
* New fast extract.Alan Mishchenko2013-04-273-5/+752
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-14/+65
|
* Adding print-out of SOP literals with 'ps -f'.Alan Mishchenko2013-04-191-1/+2
|
* Enabled 'cec' to be applied to networks derived from BLIF with EXDCs.Alan Mishchenko2013-04-184-5/+40
|
* Enabled reading the EXDC network by the default BLIF reader.Alan Mishchenko2013-04-182-5/+29
|
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ↵Alan Mishchenko2013-04-181-2/+8
| | | | for liveness properties).
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ↵Alan Mishchenko2013-04-171-4/+4
| | | | for liveness properties).
* Adding command &filter_equiv to filter candidate equivalence classes using ↵Alan Mishchenko2013-04-174-1/+54
| | | | indexes of disproved POs after handling SRM as a multi-output miter.
* Adding parameter structure for rarity simulation.Alan Mishchenko2013-04-172-156/+109
|
* Bug fix in 'write_pla'.Alan Mishchenko2013-04-151-1/+1
|
* Saving network name in 'blockpo'.Alan Mishchenko2013-04-121-1/+3
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-20 12:32:53 +0000