| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | Bug fix (accessing unassigned memory). | Alan Mishchenko | 2018-06-12 | 1 | -1/+7 | |
| | | | ||||||
| * | | Experiments with path enumeration. | Alan Mishchenko | 2018-06-10 | 2 | -7/+473 | |
| | | | ||||||
| * | | Compiler warnings. | Alan Mishchenko | 2018-06-08 | 5 | -12/+13 | |
| | | | ||||||
| * | | Improvements in bit-blasting of adders and multipliers. | Alan Mishchenko | 2018-06-08 | 1 | -8/+200 | |
| | | | ||||||
| * | | Adding switch 'clp -o' to reverse initial variable ordering. | Alan Mishchenko | 2018-06-07 | 17 | -36/+41 | |
| | | | ||||||
| * | | Experiments with path enumeration. | Alan Mishchenko | 2018-06-06 | 3 | -1/+117 | |
| | | | ||||||
| * | | Supporting the decoder primitive in NDR and bit-blasting. | Alan Mishchenko | 2018-06-05 | 8 | -5/+101 | |
| | | | ||||||
| * | | Exposing a switch to generate carry-lookahead adder during bit-blasting. | Alan Mishchenko | 2018-06-05 | 3 | -15/+60 | |
| | | | ||||||
| * | | Adding command print_mint. | Alan Mishchenko | 2018-06-04 | 1 | -0/+64 | |
| | | | ||||||
| * | | Disabling unused feature in &nf. | Alan Mishchenko | 2018-06-04 | 1 | -0/+2 | |
| |/ | ||||||
| * | Supporting SEL in bit-blasting. | Alan Mishchenko | 2018-05-25 | 1 | -2/+22 | |
| | | ||||||
| * | Supporting NMUX and SEL in NDR. | Alan Mishchenko | 2018-05-24 | 5 | -2/+88 | |
| | | ||||||
| * | Simple BDD package. | Alan Mishchenko | 2018-05-23 | 1 | -0/+395 | |
| | | ||||||
| * | Simple BDD package. | Alan Mishchenko | 2018-05-23 | 2 | -1/+4 | |
| | | ||||||
| * | Fix to prevent undefined behavior. | Alan Mishchenko | 2018-05-19 | 1 | -2/+2 | |
| | | ||||||
| * | Bug fix in supporting signed multiplication in NDR. | Alan Mishchenko | 2018-05-18 | 1 | -6/+7 | |
| | | ||||||
| * | Supporting wide MUX in NDR. | Alan Mishchenko | 2018-05-16 | 1 | -2/+7 | |
| | | ||||||
| * | Bug fix in the naming of outputs in %blast -d. | Alan Mishchenko | 2018-05-10 | 1 | -3/+21 | |
| | | ||||||
| * | Bug fix in &sat -x. | Alan Mishchenko | 2018-05-07 | 2 | -2/+5 | |
| | | ||||||
| * | Adding &sat -x to save CEXes for multi-output combinational miters. | Alan Mishchenko | 2018-05-06 | 4 | -4/+56 | |
| | | ||||||
| * | Updates to NDR format (bug fixes). | Alan Mishchenko | 2018-05-03 | 4 | -32/+39 | |
| | | ||||||
| * | Updates to NDR format (flops, memories, signed mult, etc). | Alan Mishchenko | 2018-04-29 | 10 | -100/+596 | |
| | | ||||||
| * | The ECO code (fix to the broken build). | Alan Mishchenko | 2018-04-28 | 1 | -2/+2 | |
| | | ||||||
| * | Adding switch &w -p to dump AIG in a Verilog file. | Alan Mishchenko | 2018-04-25 | 3 | -2/+195 | |
| | | ||||||
| * | The ECO code. | Alan Mishchenko | 2018-04-25 | 1 | -2/+11 | |
| | | ||||||
| * | The ECO code. | Alan Mishchenko | 2018-04-25 | 2 | -8/+2500 | |
| | | ||||||
| * | Typo in the command description. | Alan Mishchenko | 2018-04-25 | 1 | -5/+5 | |
| | | ||||||
| * | Memory abstraction. | Alan Mishchenko | 2018-04-20 | 4 | -10/+20 | |
| | | ||||||
| * | Memory abstraction. | Alan Mishchenko | 2018-04-19 | 4 | -154/+284 | |
| | | ||||||
| * | Memory abstraction. | Alan Mishchenko | 2018-04-15 | 8 | -84/+1086 | |
| | | ||||||
| * | Adding adder-subtractor primitive. | Alan Mishchenko | 2018-04-11 | 1 | -1/+3 | |
| | | ||||||
| * | Making sure duplicated inverters are not created. | Alan Mishchenko | 2018-04-11 | 1 | -3/+9 | |
| | | ||||||
| * | Travis: build with namespaces enabled, and | Baruch Sterin | 2018-04-02 | 1 | -5/+22 | |
| | | | | | make sure src/demo.c can be compiled under C++ and with ABC in a namespace | |||||
| * | Rename new flag to ABC_USE_STDINT_H | Robert Ou | 2018-03-29 | 2 | -7/+7 | |
| | | ||||||
| * | Add an option to use C99 stdint.h | Robert Ou | 2018-03-26 | 2 | -0/+56 | |
| | | | | | | | | If ABC_HAVE_STDINT_H is defined, standard C99 headers will be used to define all of the platform-dependent types required. arch_flags will also no longer be required. This new define is optional and must be manually enabled by setting ARCHFLAGS. | |||||
| * | Integrating SAT-based CEX minimization (bug fix). | Alan Mishchenko | 2018-03-25 | 3 | -11/+11 | |
| | | ||||||
| * | Integrating SAT-based CEX minimization. | Alan Mishchenko | 2018-03-25 | 4 | -10/+145 | |
| | | ||||||
| * | Adding new NPN code (compiler fix). | Alan Mishchenko | 2018-03-25 | 1 | -9/+9 | |
| | | ||||||
| * | Adding new NPN code (compiler fix). | Alan Mishchenko | 2018-03-25 | 1 | -1/+1 | |
| | | ||||||
| * | Adding new NPN code developed by XueGong Zhou at Fudan University. | Alan Mishchenko | 2018-03-25 | 4 | -144/+1098 | |
| | | ||||||
| * | Updating &mfs to support hard objects. | Alan Mishchenko | 2018-03-23 | 2 | -2/+55 | |
| | | ||||||
| * | Adding switch 'scorr -f' to dump inductive invariant as an AIG. | Alan Mishchenko | 2018-03-22 | 6 | -16/+36 | |
| | | ||||||
| * | Temporary bug fix for signal names in WLC (correction). | Alan Mishchenko | 2018-03-21 | 1 | -2/+5 | |
| | | ||||||
| * | Temporary bug fix for signal names in WLC. | Alan Mishchenko | 2018-03-21 | 1 | -0/+2 | |
| | | ||||||
| * | Bug fix in blasting with boxes. | Alan Mishchenko | 2018-03-06 | 1 | -1/+1 | |
| | | ||||||
| * | Extending primitives supported by WLC. | Alan Mishchenko | 2018-03-03 | 3 | -5/+85 | |
| | | ||||||
| * | Adding parameters and improvements to %blast. | Alan Mishchenko | 2018-02-28 | 6 | -1/+20 | |
| | | ||||||
| * | Adding parameters and improvements to %blast. | Alan Mishchenko | 2018-02-28 | 12 | -101/+307 | |
| | | ||||||
| * | Adding support for adders with carry-in in WLC and NDR. | Alan Mishchenko | 2018-02-24 | 5 | -5/+113 | |
| | | ||||||
| * | Bug fix in NDR handling. | Alan Mishchenko | 2018-02-20 | 1 | -6/+38 | |
| | | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |