summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* SAT sweeping under constraints.Alan Mishchenko2013-04-276-39/+98
* SAT sweeping under constraints.Alan Mishchenko2013-04-279-113/+593
* New fast extract.Alan Mishchenko2013-04-2711-127/+1624
* Adding rollback for the other solver.Alan Mishchenko2013-04-254-4/+142
* Compiler warnings.Alan Mishchenko2013-04-251-1/+1
* Compiler warnings.Alan Mishchenko2013-04-251-3/+3
* SAT sweeping under constraints.Alan Mishchenko2013-04-2518-173/+1461
* Adding command &filter_equiv to filter candidate equivalence classes using in...Alan Mishchenko2013-04-221-5/+39
* Fixing the way packing information is written.Alan Mishchenko2013-04-191-6/+9
* Typo in the comments.Alan Mishchenko2013-04-191-1/+1
* Typo in the comments.Alan Mishchenko2013-04-191-5/+5
* 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-183-2/+15
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ...Alan Mishchenko2013-04-172-11/+49
* Moves the code of create_abc_array to line 724.Alan Mishchenko2013-04-171-4/+7
* Compiler warning.Alan Mishchenko2013-04-171-1/+0
* Compiler warning.Alan Mishchenko2013-04-171-2/+0
* Adding command &filter_equiv to filter candidate equivalence classes using in...Alan Mishchenko2013-04-176-36/+183
* Adding callback to bmc3, sim3, pdr in the multi-output mode.Alan Mishchenko2013-04-176-87/+122
* Adding parameter structure for rarity simulation.Alan Mishchenko2013-04-174-228/+233
* Bug fix in '&reachy' having to do with incorrect handling of resource limits.Alan Mishchenko2013-04-171-8/+15
* Bug fix in 'write_pla'.Alan Mishchenko2013-04-151-1/+1
* Saving network name in 'blockpo'.Alan Mishchenko2013-04-121-1/+3
* Bug fix in 'blockpo'.Alan Mishchenko2013-04-111-3/+3
* Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.Alan Mishchenko2013-04-095-23/+51
* New MFS package.Alan Mishchenko2013-04-031-2/+2
* New MFS package.Alan Mishchenko2013-04-031-3/+3
* New MFS package.Alan Mishchenko2013-04-034-8/+145
* Fixing the format mismatch in writing mapped GIA.Alan Mishchenko2013-04-022-5/+66
* New MFS package.Alan Mishchenko2013-04-0210-1/+542
* Cleaning up abc.rc file.Alan Mishchenko2013-04-021-64/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 19:18:02 +0000