Commits · 96d8f899d93dcf51d98a370deb5d4fcb67bb271c · lvzhengyang / abc · GitLab

08 Nov, 2015 1 commit
- Extending and improving timing manager. · 96d8f899
  Alan Mishchenko committed Nov 08, 2015
  
  96d8f899 Browse Files
06 Nov, 2015 3 commits
- Improvements to 'satclp' (unfinished). · e50fc467
  Alan Mishchenko committed Nov 06, 2015
  
  e50fc467 Browse Files
- Improvements to 'satclp' (unfinished). · dd365cba
  Alan Mishchenko committed Nov 06, 2015
  
  dd365cba Browse Files
- Improvements to storing and reusing simulation info. · 83da5a03
  Alan Mishchenko committed Nov 05, 2015
  
  83da5a03 Browse Files
05 Nov, 2015 11 commits
- Improvements to storing and reusing simulation info. · 6b7aa389
  Alan Mishchenko committed Nov 05, 2015
  
  6b7aa389 Browse Files
- pyabc: remove python integration from abc, it is moved to a separate extension · c610c036
  Baruch Sterin committed Nov 05, 2015
  
  c610c036 Browse Files
- main: allow the -c -C -q -f -F -s command line options to be repeated and the… · aa62165a
```
main: allow the -c -C -q -f -F -s command line options to be repeated and the commands they sepcify be executed in order instead of overriding each other
```
  Baruch Sterin committed Nov 05, 2015
  aa62165a Browse Files
- CMakeLists.txt: pass namespace mode to the Makefile · 211c7ebe
  Baruch Sterin committed Nov 05, 2015
  
  211c7ebe Browse Files
- CMakeLists.txt, Makefile: pass readline flags from the CMake lists file to the Makefile. · 0f14713d
  Baruch Sterin committed Nov 05, 2015
  
  0f14713d Browse Files
- CMakeLists.txt: refactor · 0f4fc1ca
  Baruch Sterin committed Nov 05, 2015
  
  0f4fc1ca Browse Files
- CMakeLists.txt: add a new target libabc, a regular static library · 5c1a7aa1
  Baruch Sterin committed Nov 05, 2015
  
  5c1a7aa1 Browse Files
- CMakeLists.txt: add a new target libabc-pic, a library compiled with -fPIC, not complied by default · ba931c1b
  Baruch Sterin committed Nov 05, 2015
  
  ba931c1b Browse Files
- CMakeLists.txt: refactor a bit · 5761c768
  Baruch Sterin committed Nov 05, 2015
  
  5761c768 Browse Files
- CMakeLists.txt: pass CXX flags from the Makefile · be429079
  Baruch Sterin committed Nov 05, 2015
  
  be429079 Browse Files
- silence clang errors when compiling as C++ · c0ba25a6
  Baruch Sterin committed Nov 05, 2015
  
  c0ba25a6 Browse Files
04 Nov, 2015 2 commits
- Bug fix in constructing internal choices by 'amap'. · 8ee49ff1
  Alan Mishchenko committed Nov 04, 2015
  
  8ee49ff1 Browse Files
- Adding procedure Abc_NtkSetAndGateDelay(). · df6c9415
  Alan Mishchenko committed Nov 04, 2015
  
  df6c9415 Browse Files
02 Nov, 2015 1 commit
- Small fix in one procedure to make it compile. · ae96723a
  Alan Mishchenko committed Nov 02, 2015
  
  ae96723a Browse Files
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