| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | Disable cube-sort when deriving SOPs. | Alan Mishchenko | 2021-05-11 | 11 | -21/+31 | |
| | | | ||||||
| * | | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-11 | 5 | -46/+301 | |
| | | | ||||||
| * | | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-08 | 4 | -2/+220 | |
| | | | ||||||
| * | | Fixing mismatch in &cec -x which should return undecided rather than ↵ | Alan Mishchenko | 2021-05-08 | 1 | -1/+1 | |
| | | | | | | | | | non-equivalent when the miter cannot be reduced to constant 0. | |||||
| * | | Updating cost function in &save/&load. | Alan Mishchenko | 2021-05-08 | 1 | -1/+1 | |
| | | | ||||||
| * | | Updating cost function in &save/&load. | Alan Mishchenko | 2021-05-08 | 2 | -8/+31 | |
| | | | ||||||
| * | | Bug fix in &blut. | Alan Mishchenko | 2021-05-08 | 1 | -8/+14 | |
| | | | ||||||
| * | | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-05-01 | 4 | -4/+226 | |
| | | | ||||||
| * | | Making sure read_bench can read nodes up to 15 inputs. | Alan Mishchenko | 2021-04-30 | 2 | -5/+6 | |
| | | | ||||||
| * | | Several changes for standard mapping. | Alan Mishchenko | 2021-04-28 | 3 | -5/+18 | |
| | | | ||||||
| * | | Upgrade to the circuit-based solver. | Alan Mishchenko | 2021-04-27 | 12 | -367/+686 | |
| | | | ||||||
| * | | Passing node labels. | Alan Mishchenko | 2021-04-26 | 3 | -0/+10 | |
| | | | ||||||
| * | | Computing sum of PO support sizes. | Alan Mishchenko | 2021-04-09 | 2 | -1/+61 | |
| | | | ||||||
| * | | Making default value (-M 0) work correctly in &mfs. | Alan Mishchenko | 2021-04-07 | 1 | -6/+6 | |
| | | | ||||||
| * | | An option to extend the number of primary inputs. | Alan Mishchenko | 2021-03-28 | 3 | -3/+65 | |
| | | | ||||||
| * | | Compiler warnings. | Alan Mishchenko | 2021-03-28 | 1 | -3/+3 | |
| | | | ||||||
| * | | Compiler warnings. | Alan Mishchenko | 2021-03-28 | 1 | -3/+4 | |
| | | | ||||||
| * | | Command &iwls21test for evaluating the results of 2021 IWLS Contest. | Alan Mishchenko | 2021-03-28 | 4 | -0/+613 | |
| | | | ||||||
| * | | Adding a random seed to control randomness in 'permute' (correction). | Alan Mishchenko | 2021-03-11 | 1 | -2/+2 | |
| | | | ||||||
| * | | Adding a random seed to control randomness in 'permute'. | Alan Mishchenko | 2021-03-11 | 1 | -2/+17 | |
| | | | ||||||
| * | | Modification suggested by David Geiger to fix an obscure memory problem. | Alan Mishchenko | 2021-02-03 | 1 | -1/+1 | |
| | | | ||||||
| * | | Updating the mapper when user-specific matching is used. | Alan Mishchenko | 2021-01-09 | 1 | -0/+12 | |
| | | | ||||||
| * | | Preventing command history from being overwritten by internal scripts. | Alan Mishchenko | 2021-01-09 | 5 | -4/+26 | |
| | | | ||||||
| * | | Experiments with simulation. | Alan Mishchenko | 2021-01-01 | 1 | -27/+24 | |
| | | | ||||||
| * | | Experiments with simulation. | Alan Mishchenko | 2020-12-30 | 5 | -3/+378 | |
| | | | ||||||
| * | | Integrating Glucose into &sat. | Alan Mishchenko | 2020-12-21 | 2 | -52/+138 | |
| | | | ||||||
| * | | Compiler warnings. | Alan Mishchenko | 2020-12-21 | 5 | -3/+42 | |
| | | | ||||||
| * | | Adding solver type in &sat. | Alan Mishchenko | 2020-12-16 | 6 | -4/+582 | |
| | | | ||||||
| * | | Adding generation of combinational speculative miters. | Alan Mishchenko | 2020-12-16 | 2 | -7/+30 | |
| | | | ||||||
| * | | Adding switch to replace proved outputs by const0. | Alan Mishchenko | 2020-12-16 | 10 | -17/+86 | |
| | | | ||||||
| * | | Deriving equivalent nets from proved equivalences. | Alan Mishchenko | 2020-12-09 | 1 | -1/+28 | |
| | | | ||||||
| * | | Adding timeout to several commands. | Alan Mishchenko | 2020-12-07 | 4 | -20/+53 | |
| | | | ||||||
| * | | Deriving structural choices from proved equivalences. | Alan Mishchenko | 2020-12-07 | 1 | -0/+111 | |
| | | | ||||||
| * | | Corner case bug fix in &cec. | Alan Mishchenko | 2020-12-02 | 1 | -2/+2 | |
| | | | ||||||
| * | | Added switch -y to control blasting divide-by-zero condition. | Alan Mishchenko | 2020-11-29 | 3 | -3/+9 | |
| | | | ||||||
| * | | Window resub testing. | Alan Mishchenko | 2020-11-29 | 1 | -0/+64 | |
| | | | ||||||
| * | | Renaming one command. | Alan Mishchenko | 2020-11-23 | 1 | -3/+3 | |
| | | | ||||||
| * | | Added an option to keep PI/PO names unchanged in 'short_names'. | Alan Mishchenko | 2020-11-22 | 3 | -4/+23 | |
| | | | ||||||
| * | | Passing conflict limit to &cec. | Alan Mishchenko | 2020-11-22 | 2 | -3/+4 | |
| | | | ||||||
| * | | Removing unused printouts. | Alan Mishchenko | 2020-11-22 | 2 | -3/+2 | |
| | | | ||||||
| * | | Fixing a memory corruption problem accidentally introduced by fixing memory ↵ | Alan Mishchenko | 2020-11-21 | 1 | -2/+2 | |
| | | | | | | | | | leaks on Sep 28. | |||||
| * | | Integration with several commands. | Alan Mishchenko | 2020-11-19 | 8 | -23/+119 | |
| | | | ||||||
| * | | Makefile: support ccache for compiling ABC. | Baruch Sterin | 2020-11-19 | 1 | -3/+3 | |
| | | | | | | | | | Surround $(CC), $(CXX) with double quotes when calling depends.sh, to allow space-delimited compilation tools to be used. | |||||
| * | | Improvements to the SAT sweeper. | Alan Mishchenko | 2020-11-16 | 1 | -12/+52 | |
| | | | ||||||
| * | | Extending sweeper to handle XORs. | Alan Mishchenko | 2020-11-16 | 4 | -276/+260 | |
| | | | ||||||
| * | | Experiments with MFFC computation. | Alan Mishchenko | 2020-11-16 | 1 | -42/+108 | |
| | | | ||||||
| * | | Experiments with MFFC computation (bug fix). | Alan Mishchenko | 2020-11-15 | 2 | -3/+3 | |
| | | | ||||||
| * | | Experiments with MFFC computation. | Alan Mishchenko | 2020-11-15 | 4 | -1/+228 | |
| | | | ||||||
| * | | Extending sweeper to handle XORs. | Alan Mishchenko | 2020-11-15 | 6 | -38/+255 | |
| | | | ||||||
| * | | Improvements to the SAT sweeper (bug fix). | Alan Mishchenko | 2020-11-15 | 2 | -2/+2 | |
| | | | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |