| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Procedure to compute truth tables for POs of GIA. | Alan Mishchenko | 2012-07-07 | 4 | -2/+199 | |
| | | ||||||
| * | Diabling compact AIGER writing by default. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 | |
| | | ||||||
| * | Fixed &gla to work in the bridge mode. | Alan Mishchenko | 2012-07-07 | 2 | -29/+76 | |
| | | ||||||
| * | Making 'pdr', &gla, &vta print correctly in batch mode. | Alan Mishchenko | 2012-07-07 | 10 | -11/+35 | |
| | | ||||||
| * | Added warning for GIA reader when input AIG has dangling nodes. | Alan Mishchenko | 2012-07-07 | 1 | -10/+3 | |
| | | ||||||
| * | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -4/+4 | |
| | | ||||||
| * | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 2 | -2/+2 | |
| | | ||||||
| * | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 6 | -22/+21 | |
| | | ||||||
| * | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -4/+4 | |
| | | ||||||
| * | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 2 | -13/+13 | |
| | | ||||||
| * | Commands &fla_gla/&gla_fla to convert between flop-level and gate-level ↵ | Alan Mishchenko | 2012-07-06 | 4 | -75/+263 | |
| | | | | | abstraction. | |||||
| * | Tentatively retiring command &abs_start, &abs_cba, &abs_pba, &gla_cba, &gla_pba. | Alan Mishchenko | 2012-07-06 | 1 | -10/+10 | |
| | | ||||||
| * | Setting infinite default conflict limits in 'bmc', 'int', 'pdr'. | Alan Mishchenko | 2012-07-06 | 3 | -8/+8 | |
| | | ||||||
| * | Updated BIP binary name. | Alan Mishchenko | 2012-07-05 | 1 | -1/+1 | |
| | | ||||||
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-05 | 2 | -15/+21 | |
| | | ||||||
| * | Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit). | Alan Mishchenko | 2012-07-05 | 2 | -6/+6 | |
| | | ||||||
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-05 | 5 | -188/+257 | |
| | | ||||||
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-04 | 4 | -82/+193 | |
| | | ||||||
| * | Various changes to enable sensitization-based refinement in &gla. | Alan Mishchenko | 2012-07-04 | 11 | -356/+191 | |
| | | ||||||
| * | Added static fanout to GIA package. | Alan Mishchenko | 2012-07-04 | 3 | -0/+143 | |
| | | ||||||
| * | Performance improvement in &gla. | Alan Mishchenko | 2012-07-04 | 5 | -7/+274 | |
| | | ||||||
| * | Performance improvement in &gla_refine. | Alan Mishchenko | 2012-07-03 | 1 | -2/+2 | |
| | | ||||||
| * | Performance improvement in &gla_refine. | Alan Mishchenko | 2012-07-03 | 5 | -238/+391 | |
| | | ||||||
| * | Bug fix in Gia_ObjPrint() | Alan Mishchenko | 2012-07-03 | 1 | -2/+2 | |
| | | ||||||
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-01 | 3 | -80/+738 | |
| | | ||||||
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -3/+4 | |
| | | ||||||
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -4/+4 | |
| | | ||||||
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -13/+1 | |
| | | ||||||
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 2 | -73/+201 | |
| | | ||||||
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 2 | -23/+45 | |
| | | ||||||
| * | Reducing memory usage in bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -2/+1 | |
| | | ||||||
| * | Reducing memory usage in bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -1/+1 | |
| | | ||||||
| * | Reducing memory usage in bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 2 | -1/+2 | |
| | | ||||||
| * | Reducing memory usage in bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -1/+2 | |
| | | ||||||
| * | Reducing memory usage in bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 5 | -179/+229 | |
| | | ||||||
| * | Bug fix in &vta. | Alan Mishchenko | 2012-06-29 | 3 | -45/+69 | |
| | | ||||||
| * | Bug fix in &gla. | Alan Mishchenko | 2012-06-29 | 1 | -0/+10 | |
| | | ||||||
| * | Bug fix in &gla. | Alan Mishchenko | 2012-06-29 | 1 | -1/+1 | |
| | | ||||||
| * | Bug fix in &gla_refine. | Alan Mishchenko | 2012-06-29 | 1 | -8/+4 | |
| | | ||||||
| * | Bug fix when &vta returns empty absraction. | Alan Mishchenko | 2012-06-29 | 2 | -16/+22 | |
| | | ||||||
| * | Bug fix in &gla -d. | Alan Mishchenko | 2012-06-29 | 2 | -14/+22 | |
| | | ||||||
| * | Improving printouts in &vta and &gla. | Alan Mishchenko | 2012-06-28 | 2 | -9/+14 | |
| | | ||||||
| * | Gate level abstraction (command &gla). | Alan Mishchenko | 2012-06-28 | 3 | -42/+102 | |
| | | ||||||
| * | Gate level abstraction (command &gla). | Alan Mishchenko | 2012-06-28 | 1 | -8/+13 | |
| | | ||||||
| * | Gate level abstraction (command &gla). | Alan Mishchenko | 2012-06-28 | 4 | -10/+1074 | |
| | | ||||||
| * | New computation of tents for GIA package. | Alan Mishchenko | 2012-06-28 | 1 | -2/+61 | |
| | | ||||||
| * | Added min-cut-based refinement of gate-level abstraction (command &gla_refine). | Alan Mishchenko | 2012-06-24 | 10 | -0/+690 | |
| | | ||||||
| * | . | Baruch Sterin | 2012-06-22 | 2 | -1542/+2612 | |
| | | ||||||
| * | Added memory reporting to &vta. | Alan Mishchenko | 2012-06-22 | 17 | -32/+237 | |
| | | ||||||
| * | Updated default BIP version. | Alan Mishchenko | 2012-06-21 | 1 | -1/+1 | |
| | | ||||||
 |
index : iCE40/abc | |
| clone of https://github.com/YosysHQ/abc |
| summaryrefslogtreecommitdiffstats |