Commits · 97e620a4b7e926a036447e2b1d2b1b6e5a24eacd · lvzhengyang / abc

17 Aug, 2014 1 commit
- Adding specialized matching to 'if'. · 97e620a4
  Alan Mishchenko committed Aug 16, 2014
  
  97e620a4 Browse Files
16 Aug, 2014 1 commit
- Added DSD-based collapsing &dsd. · 06100279
  Alan Mishchenko committed Aug 16, 2014
  
  06100279 Browse Files
13 Aug, 2014 2 commits
- Suggested fix to allow .constr files to have empty lines. · c8bfe83e
  Alan Mishchenko committed Aug 13, 2014
  
  c8bfe83e Browse Files
- Enabling circuit solver in &fraig. · f9073474
  Alan Mishchenko committed Aug 12, 2014
  
  f9073474 Browse Files
12 Aug, 2014 3 commits
- Bug fix in &fraig -L <num>. · 90552653
  Alan Mishchenko committed Aug 12, 2014
  
  90552653 Browse Files
- Bug fix in &fraig -L <num>. · 99a917ca
  Alan Mishchenko committed Aug 12, 2014
  
  99a917ca Browse Files
- Increasing the size of pre-allocated memory in &syn2. · 0722dde6
  Alan Mishchenko committed Aug 11, 2014
  
  0722dde6 Browse Files
08 Aug, 2014 1 commit
- Adding delay optimization to synthesis script &syn2. · 68ce0bc1
  Alan Mishchenko committed Aug 08, 2014
  
  68ce0bc1 Browse Files
06 Aug, 2014 1 commit
- Enabling cofactoring in the mapper. · 35b816dd
  Alan Mishchenko committed Aug 06, 2014
  
  35b816dd Browse Files
05 Aug, 2014 1 commit
- Profiling code for SOP/DSD/LMS balancing. · ae64dc07
  Alan Mishchenko committed Aug 04, 2014
  
  ae64dc07 Browse Files
04 Aug, 2014 2 commits
- Compiler warnings. · a3a6002b
  Alan Mishchenko committed Aug 04, 2014
  
  a3a6002b Browse Files
- Enabling ISOP-based minimization in 'collapse' if EXDC is available. · 1d9d6814
  Alan Mishchenko committed Aug 04, 2014
  
  1d9d6814 Browse Files
03 Aug, 2014 3 commits
- Compiler warnings. · 82aec90c
  Alan Mishchenko committed Aug 02, 2014
  
  82aec90c Browse Files
- Profiling code for SOP/DSD/LMS balancing. · edba505d
  Alan Mishchenko committed Aug 02, 2014
  
  edba505d Browse Files
- Changes to the hopelessly limited Verilog parser to skip one-bit bit-ranges,… · 62bc45d1
```
Changes to the hopelessly limited Verilog parser to skip one-bit bit-ranges, such as [7:7], which seems to help in some cases.
```
  Alan Mishchenko committed Aug 02, 2014
  62bc45d1 Browse Files
30 Jul, 2014 1 commit
- Small changes. · 7fb19542
  Alan Mishchenko committed Jul 29, 2014
  
  7fb19542 Browse Files
28 Jul, 2014 1 commit
- Adding support for standard-cell mapping. · 6a69a913
  Alan Mishchenko committed Jul 28, 2014
  
  6a69a913 Browse Files
26 Jul, 2014 3 commits
- Generating abstraction of standard cell library. · 674dcf2a
  Alan Mishchenko committed Jul 26, 2014
  
  674dcf2a Browse Files
- Generating abstraction of standard cell library. · 704b4bad
  Alan Mishchenko committed Jul 26, 2014
  
  704b4bad Browse Files
- Generating abstraction of standard cell library. · 7d81490f
  Alan Mishchenko committed Jul 25, 2014
  
  7d81490f Browse Files
25 Jul, 2014 1 commit
- Fixing option 'if -G <num>' after changes. · 9bfe2ad7
  Alan Mishchenko committed Jul 25, 2014
  
  9bfe2ad7 Browse Files
24 Jul, 2014 1 commit
- Adding message prefix. · e6db0f11
  Alan Mishchenko committed Jul 24, 2014
  
  e6db0f11 Browse Files
23 Jul, 2014 2 commits
- Bug fix in 'print_gates' due to the mix-up of the inverter. · 2cdc5ab8
  Alan Mishchenko committed Jul 22, 2014
  
  2cdc5ab8 Browse Files
- Undoing previous change to SOP balancing. · eee04f44
  Alan Mishchenko committed Jul 22, 2014
  
  eee04f44 Browse Files
22 Jul, 2014 2 commits
- Small improvement to SOP balancing. · 9fa827aa
  Alan Mishchenko committed Jul 22, 2014
  
  9fa827aa Browse Files
- Small changes. · ba292675
  Alan Mishchenko committed Jul 21, 2014
  
  ba292675 Browse Files
21 Jul, 2014 2 commits
- Adding new command &sopb for resource-aware SOP balancing. · c0aa9b6a
  Alan Mishchenko committed Jul 21, 2014
  
  c0aa9b6a Browse Files
- Updates and changes to several packages. · ea73401d
  Alan Mishchenko committed Jul 20, 2014
  
  ea73401d Browse Files
18 Jul, 2014 1 commit
- Small changes in several packages. · ba3f2ac6
  Alan Mishchenko committed Jul 18, 2014
  
  ba3f2ac6 Browse Files
17 Jul, 2014 2 commits
- Small changes in several packages. · ef55bbc8
  Alan Mishchenko committed Jul 17, 2014
  
  ef55bbc8 Browse Files
- Small changes in several packages. · 4a861d86
  Alan Mishchenko committed Jul 17, 2014
  
  4a861d86 Browse Files
10 Jul, 2014 1 commit
- Improvements to profiling and printing statistics. · c58b57e2
  Alan Mishchenko committed Jul 09, 2014
  
  c58b57e2 Browse Files
09 Jul, 2014 2 commits
- Improvements to false path detection. · ea1e369f
  Alan Mishchenko committed Jul 09, 2014
  
  ea1e369f Browse Files
- Improvements to false path detection. · b389f205
  Alan Mishchenko committed Jul 08, 2014
  
  b389f205 Browse Files
02 Jul, 2014 2 commits
- Experiment with SOP balancing. · c6814a5c
  Alan Mishchenko committed Jul 02, 2014
  
  c6814a5c Browse Files
- Compiler warning. · 7ff2bce0
  Alan Mishchenko committed Jul 01, 2014
  
  7ff2bce0 Browse Files
01 Jul, 2014 2 commits
- Improvements to representation of choices. · 25ebef0b
  Alan Mishchenko committed Jul 01, 2014
  
  25ebef0b Browse Files
- Improvements to representation of choices. · afcec52a
  Alan Mishchenko committed Jul 01, 2014
  
  afcec52a Browse Files
30 Jun, 2014 2 commits

Changes to align node IDs in Abc_Ntk_t representing a logic network with… · 6bc381ba

Changes to align node IDs in Abc_Ntk_t representing a logic network with Abc_Ntk_t representing an AIG, by skipping object ID number 0 reserved for the constant node.

committed Jun 30, 2014

6bc381ba Browse Files

Changes to align node IDs in Abc_Ntk_t representing a logic network with… · 1586d96c

Changes to align node IDs in Abc_Ntk_t representing a logic network with Abc_Ntk_t representing an AIG, by skipping object ID number 0 reserved for the constant node.

committed Jun 30, 2014

1586d96c Browse Files