summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Small changes to LMS code.Alan Mishchenko2013-04-012-3/+5
* Shrink for 6-LUTs.Alan Mishchenko2013-04-014-5/+5
* Shrink for 6-LUTs.Alan Mishchenko2013-04-013-10/+31
* Updating 'sim3' to move the design into the last rare state.Alan Mishchenko2013-04-012-3/+1
* Updating 'sim3' to move the design into the last rare state.Alan Mishchenko2013-04-014-29/+69
* Compiler warnings.Alan Mishchenko2013-03-312-5/+1
* Shrink for 6-LUTs.Alan Mishchenko2013-03-3113-7/+1642
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-301-14/+12
* Bug fix in the printout of &popart.Alan Mishchenko2013-03-301-15/+13
* Bug fix in the printout of &popart.Alan Mishchenko2013-03-301-4/+6
* Improving verbose printout of 'sim3' when solving multiple outputs.Alan Mishchenko2013-03-302-9/+17
* Updating 'pdr' to report the number of failed POs.Alan Mishchenko2013-03-302-1/+3
* Compiler warnings.Alan Mishchenko2013-03-302-4/+1
* 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-302-10/+18
* Compiler warnings.Alan Mishchenko2013-03-301-1/+2
* Compiler warnings.Alan Mishchenko2013-03-303-5/+4
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-301-4/+6
* 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-283-16/+25
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-285-42/+96
* Added dumping QDIMACS files in command 'qbf'.Alan Mishchenko2013-03-275-13/+82
* 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-275-1/+263
* Modified SCL gate library to read/write gate formula.Alan Mishchenko2013-03-266-15/+159
* Fixing the dump of SAT solver into a CNF file.Alan Mishchenko2013-03-264-19/+30
* The result of merging.Alan Mishchenko2013-03-262-18/+18
|\
| * Making sure 'pdr -a' return UNDEC if it did not finish proving the remaining ...Alan Mishchenko2013-03-261-9/+10
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 11:02:19 +0000