Commits · cb50fadb554398518d1548eb59b266465c4d4ba4 · lvzhengyang / abc · GitLab

29 Oct, 2015 4 commits
- Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler warnings. · cb50fadb
  Alan Mishchenko committed Oct 28, 2015
  
  cb50fadb Browse Files
- Merged in sterin/abc (pull request #13) · 9c4c95b6
```
Restoring Aaron Hurst's "fretime" command
```
  Alan Mishchenko committed Oct 28, 2015
  9c4c95b6 Browse Files
- Improvements in delay optimization. · a3725e44
  Alan Mishchenko committed Oct 28, 2015
  
  a3725e44 Browse Files
- Restoring Aaron Hurst's "fretime" command · 91d8040b
  Baruch Sterin committed Oct 28, 2015
  
  91d8040b Browse Files
28 Oct, 2015 3 commits
- Enabling reverse topo order in area minimization. · 229ee5df
  Alan Mishchenko committed Oct 28, 2015
  
  229ee5df Browse Files
- Improvements to 'satclp'. · 9521d134
  Alan Mishchenko committed Oct 28, 2015
  
  9521d134 Browse Files
- Improvements to command print_fanio. · fe0487da
  Alan Mishchenko committed Oct 27, 2015
  
  fe0487da Browse Files
27 Oct, 2015 1 commit
- Experiments with precomputation and matching. · 35143e83
  Alan Mishchenko committed Oct 27, 2015
  
  35143e83 Browse Files
26 Oct, 2015 3 commits
- Changes for delay-oriented computation. · bd586dd3
  Alan Mishchenko committed Oct 26, 2015
  
  bd586dd3 Browse Files
- Compiler warnings. · 9b6ff106
  Alan Mishchenko committed Oct 25, 2015
  
  9b6ff106 Browse Files
- Extending library handling to 8 inputs. · 9519341a
  Alan Mishchenko committed Oct 25, 2015
  
  9519341a Browse Files
25 Oct, 2015 4 commits
- New command &isost. · 9d67bbe5
  Alan Mishchenko committed Oct 25, 2015
  
  9d67bbe5 Browse Files
- Better logic cone proprocessor for 'satclp' to reduce runtime. · 85b1e1cc
  Alan Mishchenko committed Oct 25, 2015
  
  85b1e1cc Browse Files
- Added switch 'satclp -Z' to control the max size of the cone to work with (fix overlow). · 0b7734ca
  Alan Mishchenko committed Oct 25, 2015
  
  0b7734ca Browse Files
- Changes for delay-oriented computation. · 45bf6324
  Alan Mishchenko committed Oct 24, 2015
  
  45bf6324 Browse Files
24 Oct, 2015 2 commits
- Changes for delay-oriented computation. · a43d8273
  Alan Mishchenko committed Oct 24, 2015
  
  a43d8273 Browse Files
- Adding switch in 'print_genlib' and 'write_genlib' to print area-min gates only. · 61d46232
  Alan Mishchenko committed Oct 23, 2015
  
  61d46232 Browse Files
23 Oct, 2015 5 commits
- Set the default cube limit in 'satclp' to be 0. · 701565eb
  Alan Mishchenko committed Oct 23, 2015
  
  701565eb Browse Files
- Added switch 'satclp -Z' to control the max size of the cone to work with. · 637da8ba
  Alan Mishchenko committed Oct 23, 2015
  
  637da8ba Browse Files
- Changes for delay-oriented computation. · 3712dd30
  Alan Mishchenko committed Oct 23, 2015
  
  3712dd30 Browse Files
- CMake: only add compiler flags that are actually compatible with the compiler… · 0f64f3b7
```
CMake: only add compiler flags that are actually compatible with the compiler being used - the compiler detection logic in the Makefile is not perfect and that sometime results in weird conflicts
```
  Baruch Sterin committed Oct 23, 2015
  0f64f3b7 Browse Files
- CMake: reduce minimum version to 2.8.12 · 9322493e
  Baruch Sterin committed Oct 23, 2015
  
  9322493e Browse Files
22 Oct, 2015 8 commits
- Quality improvement in 'satclp'. · ea7b8136
  Alan Mishchenko committed Oct 22, 2015
  
  ea7b8136 Browse Files
- Minor tuning in 'satclp'. · 1332dc41
  Alan Mishchenko committed Oct 22, 2015
  
  1332dc41 Browse Files
- Compiler warnings. · 2c37498b
  Alan Mishchenko committed Oct 21, 2015
  
  2c37498b Browse Files
- .hgignore: add .rej, .orig files · a07c0855
  Baruch Sterin committed Oct 21, 2015
  
  a07c0855 Browse Files
- Makefile: Add a CMakeLists.txt that uses the regular Makefile to compute flags… · 9b3a358e
```
Makefile: Add a CMakeLists.txt that uses the regular Makefile to compute flags and source file. This is a ugly hack, mainly to allow the use of CLion with ABC. Include some changes in the Makefile to support that.
```
  Baruch Sterin committed Oct 21, 2015
  9b3a358e Browse Files
- Makefile: (1) split CFLAGS into OPTFLAGS, INCLUDES, and CFLAGS · 28f2063c
  Baruch Sterin committed Oct 21, 2015
  
  28f2063c Browse Files
- Makefile: fix a typo in -fPIC flag · da80a038
  Baruch Sterin committed Oct 21, 2015
  
  da80a038 Browse Files
- Corner case bug in 'satclp'. · 17718a4c
  Alan Mishchenko committed Oct 21, 2015
  
  17718a4c Browse Files
21 Oct, 2015 3 commits
- Code inserts to profile runtime of 'satclp'. · ce232aca
  Alan Mishchenko committed Oct 21, 2015
  
  ce232aca Browse Files
- Gate combination precomputation with delay profile. · a677a679
  Alan Mishchenko committed Oct 21, 2015
  
  a677a679 Browse Files
- Corner case bug in 'satclp'. · b3f16496
  Alan Mishchenko committed Oct 21, 2015
  
  b3f16496 Browse Files
20 Oct, 2015 2 commits
- Added several knobs to control QoR in &nf. · 3da74685
  Alan Mishchenko committed Oct 20, 2015
  
  3da74685 Browse Files
- Added several knobs to control QoR in &nf. · 924dcb4f
  Alan Mishchenko committed Oct 20, 2015
  
  924dcb4f Browse Files
19 Oct, 2015 1 commit
- Code simplification and improvements in &nf. · 22640552
  Alan Mishchenko committed Oct 19, 2015
  
  22640552 Browse Files
18 Oct, 2015 2 commits
- Additional improvements in 'satclp'. · 9faaf802
  Alan Mishchenko committed Oct 18, 2015
  
  9faaf802 Browse Files
- Additional improvements in 'satclp'. · 69df5462
  Alan Mishchenko committed Oct 18, 2015
  
  69df5462 Browse Files
17 Oct, 2015 2 commits
- Added approximate SAT-based irredundant procedure to 'satclp'. · edf31445
  Alan Mishchenko committed Oct 17, 2015
  
  edf31445 Browse Files
- Typo in src/bdd/extrab/module.make. · 3bc5f32e
  Alan Mishchenko committed Oct 17, 2015
  
  3bc5f32e Browse Files