summaryrefslogtreecommitdiffstats
path: root/src/base/abci
Commit message (Expand)AuthorAgeFilesLines
* New fast extract.Alan Mishchenko2013-05-052-260/+285
* 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-052-211/+543
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+2
* C++ compiler errors.Alan Mishchenko2013-05-041-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-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
* Modified command 'eliminate' to perform traditional 'eliminate -1'.Alan Mishchenko2013-04-281-8/+22
* Added alias for 'eliminate'.Alan Mishchenko2013-04-281-3/+3
* Modified command 'eliminate' to perform traditional 'eliminate -1'.Alan Mishchenko2013-04-282-20/+30
* 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-183-2/+36
* Adding command &filter_equiv to filter candidate equivalence classes using in...Alan Mishchenko2013-04-171-1/+49
* Adding parameter structure for rarity simulation.Alan Mishchenko2013-04-172-156/+109
* Saving network name in 'blockpo'.Alan Mishchenko2013-04-121-1/+3
* Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.Alan Mishchenko2013-04-091-5/+13
* Small changes to LMS code.Alan Mishchenko2013-04-011-1/+1
* Shrink for 6-LUTs.Alan Mishchenko2013-04-011-1/+1
* Shrink for 6-LUTs.Alan Mishchenko2013-04-011-3/+16
* Updating 'sim3' to move the design into the last rare state.Alan Mishchenko2013-04-011-3/+0
* Updating 'sim3' to move the design into the last rare state.Alan Mishchenko2013-04-012-24/+56
* Shrink for 6-LUTs.Alan Mishchenko2013-03-311-3/+11
* Improving verbose printout of 'sim3' when solving multiple outputs.Alan Mishchenko2013-03-301-3/+3
* Compiler warnings.Alan Mishchenko2013-03-301-4/+0
* Compiler warnings.Alan Mishchenko2013-03-301-26/+10
* Improved 'trim' and added 'dropsat' to replace sat POs by constant 0.Alan Mishchenko2013-03-301-69/+144
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-301-5/+7
* Added dumping QDIMACS files in command 'qbf'.Alan Mishchenko2013-03-281-9/+11
* Changed to 'print_level' to be less verbose by default.Alan Mishchenko2013-03-282-15/+24
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-281-23/+34
* Added dumping QDIMACS files in command 'qbf'.Alan Mishchenko2013-03-273-7/+48
* Removing hard-coded limit on the number of solving iterations in command 'qbf'.Alan Mishchenko2013-03-272-6/+6
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-271-1/+82
* Commenting out undesirable warnings/assertions.Alan Mishchenko2013-03-262-4/+3
* Handling special case in 'fold' when the network is combinational.Alan Mishchenko2013-03-131-10/+9
* PO partitioning algorithm.Alan Mishchenko2013-03-091-9/+45
* PO partitioning algorithm.Alan Mishchenko2013-03-091-8/+167
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-09 00:01:40 +0000