| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-11-02 | 2 | -13/+48 | |
| | | ||||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-11-01 | 1 | -28/+10 | |
| | | ||||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-11-01 | 3 | -18/+74 | |
| | | ||||||
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -4/+15 | |
| | | ||||||
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 2 | -3/+16 | |
| | | ||||||
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -2/+2 | |
| | | ||||||
| * | Removed 'send_cex'. | Alan Mishchenko | 2012-10-31 | 1 | -49/+0 | |
| | | ||||||
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -0/+2 | |
| | | ||||||
| * | Added switch for netlist type to 'send_aig'. Changed defautl to &-space. ↵ | Niklas Een | 2012-10-30 | 2 | -296/+301 | |
| | | | | | Fixed printf -> Abc_Print in some places. | |||||
| * | Removed CEX communication through bridge in Abc_FrameReplaceCex | Niklas Een | 2012-10-30 | 1 | -1002/+995 | |
| | | ||||||
| * | Added new bridge commands. | Alan Mishchenko | 2012-10-29 | 1 | -0/+173 | |
| | | ||||||
| * | Tentatively integrated new DSD. | Alan Mishchenko | 2012-10-29 | 2 | -1/+22 | |
| | | ||||||
| * | Move truth table code into a separte file. | Alan Mishchenko | 2012-10-28 | 1 | -42/+1 | |
| | | ||||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -4/+2 | |
| | | ||||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -3/+6 | |
| | | ||||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -5/+5 | |
| | | ||||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 2 | -21/+250 | |
| | | ||||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 2 | -148/+712 | |
| | | ||||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-27 | 1 | -18/+4 | |
| | | ||||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-27 | 3 | -61/+836 | |
| | | ||||||
| * | Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ↵ | Alan Mishchenko | 2012-10-25 | 1 | -4/+12 | |
| | | | | | constant. | |||||
| * | Adding binary file dumping for truth tables. | Alan Mishchenko | 2012-10-25 | 3 | -15/+25 | |
| | | ||||||
| * | Changing the defaults of command 'collapse'. | Alan Mishchenko | 2012-10-25 | 1 | -2/+2 | |
| | | ||||||
| * | Integrating GIA with LUT mapping. | Alan Mishchenko | 2012-10-24 | 1 | -2/+103 | |
| | | ||||||
| * | Integrating GIA with LUT mapping. | Alan Mishchenko | 2012-10-24 | 3 | -18/+324 | |
| | | ||||||
| * | Disabling SAT sweeping in 'map' by default. | Alan Mishchenko | 2012-10-23 | 1 | -1/+1 | |
| | | ||||||
| * | Bug fix in LMS code. | Alan Mishchenko | 2012-10-08 | 1 | -1/+1 | |
| | | ||||||
| * | New AIG optimization package. | Alan Mishchenko | 2012-10-06 | 2 | -8/+0 | |
| | | ||||||
| * | New AIG optimization package. | Alan Mishchenko | 2012-10-06 | 2 | -0/+8 | |
| | | ||||||
| * | Allow for binary input file in 'testdec' and 'testnpn'. | Alan Mishchenko | 2012-10-05 | 2 | -3/+15 | |
| | | ||||||
| * | Allow for binary input file in 'testdec' and 'testnpn'. | Alan Mishchenko | 2012-10-05 | 1 | -2/+4 | |
| | | ||||||
| * | Allow for binary input file in 'testdec' and 'testnpn'. | Alan Mishchenko | 2012-10-05 | 3 | -54/+144 | |
| | | ||||||
| * | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 3 | -7/+7 | |
| | | ||||||
| * | Structural reparametrization. | Alan Mishchenko | 2012-10-02 | 1 | -4/+4 | |
| | | ||||||
| * | Combined old reparametrization command with the new one. | Alan Mishchenko | 2012-10-02 | 1 | -54/+12 | |
| | | ||||||
| * | Structural reparametrization. | Alan Mishchenko | 2012-10-02 | 1 | -7/+23 | |
| | | ||||||
| * | Structural reparametrization. | Alan Mishchenko | 2012-09-30 | 1 | -0/+52 | |
| | | ||||||
| * | Added serialization of Mini AIG. | Alan Mishchenko | 2012-09-29 | 1 | -0/+10 | |
| | | ||||||
| * | Experiments with mini AIG manager. | Alan Mishchenko | 2012-09-29 | 1 | -1/+1 | |
| | | ||||||
| * | Experiments with mini AIG manager. | Alan Mishchenko | 2012-09-29 | 1 | -2/+35 | |
| | | ||||||
| * | Replacing 'st_table' by 'st__table' to resolve linker problems. | Alan Mishchenko | 2012-09-29 | 2 | -11/+11 | |
| | | ||||||
| * | Experiments with mini AIG manager. | Alan Mishchenko | 2012-09-29 | 1 | -31/+40 | |
| | | ||||||
| * | Experiments with mini AIG manager. | Alan Mishchenko | 2012-09-29 | 1 | -66/+72 | |
| | | ||||||
| * | Updated version of LMS code. | Alan Mishchenko | 2012-09-26 | 1 | -0/+1 | |
| | | ||||||
| * | Updated version of LMS code. | Alan Mishchenko | 2012-09-26 | 1 | -3/+3 | |
| | | ||||||
| * | Updated version of LMS code. | Alan Mishchenko | 2012-09-26 | 1 | -4/+6 | |
| | | ||||||
| * | Improvements to the NPN semi-canonical form computation package. | Alan Mishchenko | 2012-09-25 | 1 | -1/+1 | |
| | | ||||||
| * | Improvements to the NPN semi-canonical form computation package. | Alan Mishchenko | 2012-09-25 | 2 | -55/+88 | |
| | | ||||||
| * | Cleaned up interfaces of genlib/liberty/supergate reading/writing. | Alan Mishchenko | 2012-09-25 | 1 | -2/+5 | |
| | | ||||||
| * | Changed printouts in a few places in supergate computation. | Alan Mishchenko | 2012-09-24 | 1 | -1/+1 | |
| | | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |