| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Adding names to GIA inputs/outputs. Changing polarity of invariant generated... | Alan Mishchenko | 2015-12-22 | 1 | -1/+1 |
| * | Adding names to GIA inputs/outputs. Changing polarity of invariant generated... | Alan Mishchenko | 2015-12-21 | 1 | -0/+34 |
| * | Adding names to GIA inputs/outputs. Changing polarity of invariant generated... | Alan Mishchenko | 2015-12-21 | 1 | -1/+1 |
| * | Corner-case bug in invariant profiling. | Alan Mishchenko | 2015-12-18 | 1 | -0/+5 |
| * | Compiler warning. | Alan Mishchenko | 2015-12-16 | 1 | -7/+0 |
| * | Branch merge. | Alan Mishchenko | 2015-12-14 | 0 | -0/+0 |
| |\ |
|
| | * | Extending Verilog parser to handle 'default' in the case-statement (bug fix). | Alan Mishchenko | 2015-12-07 | 1 | -1/+4 |
| * | | Adding code to support gate profiles. | Alan Mishchenko | 2015-12-14 | 13 | -71/+252 |
| |/ |
|
| * | Extending Verilog parser to handle 'default' in the case-statement. | Alan Mishchenko | 2015-12-07 | 1 | -11/+27 |
| * | Adding code to support gate profiles. | Alan Mishchenko | 2015-12-07 | 6 | -2/+62 |
| * | Adding commands to read/write/print gate profiles. | Alan Mishchenko | 2015-12-05 | 5 | -8/+250 |
| * | New command %psinv. | Alan Mishchenko | 2015-11-23 | 8 | -2/+131 |
| * | add a new #define ABC_NAMESPACE_USING_NAMESPACE that adds a using decelaratio... | Baruch Sterin | 2015-11-20 | 1 | -0/+3 |
| * | move namespace logic into a separate file. It is useful for users of ABC that... | Baruch Sterin | 2015-11-20 | 2 | -27/+56 |
| * | main: add option -Q for execute command quietly, then interactive | Baruch Sterin | 2015-11-18 | 2 | -7/+15 |
| * | CMake: make it possible to pass ABC_USE_NAMESPACE=FALSE, instead of just empt... | Baruch Sterin | 2015-11-13 | 1 | -2/+2 |
| * | CMake, Makefile: pass the location of arch_flags to the makefile, this way th... | Baruch Sterin | 2015-11-12 | 2 | -3/+6 |
| * | Improvements to timing optimization. | Alan Mishchenko | 2015-11-11 | 9 | -39/+104 |
| * | Bug fix in 'satclp'. | Alan Mishchenko | 2015-11-11 | 1 | -9/+10 |
| * | load_plugin: remove a comment that became redundant and cleaned up a bit | Baruch Sterin | 2015-11-10 | 1 | -7/+2 |
| * | load_plugin: remove a check that the binary exists when a plugin command runs... | Baruch Sterin | 2015-11-10 | 1 | -6/+0 |
| * | Improvements to 'satclp'. | Alan Mishchenko | 2015-11-09 | 3 | -12/+188 |
| * | Improvements to 'satclp'. | Alan Mishchenko | 2015-11-09 | 4 | -40/+57 |
| * | CMake: fix typo | Baruch Sterin | 2015-11-08 | 1 | -1/+1 |
| * | Extending and improving timing manager. | Alan Mishchenko | 2015-11-08 | 1 | -1/+2 |
| * | Extending and improving timing manager. | Alan Mishchenko | 2015-11-08 | 8 | -28/+121 |
| * | g++ compiler warnings. | Alan Mishchenko | 2015-11-08 | 3 | -3/+3 |
| * | Extending and improving timing manager. | Alan Mishchenko | 2015-11-08 | 5 | -436/+30 |
| * | Merging two branches. | Alan Mishchenko | 2015-11-08 | 3 | -41/+97 |
| |\ |
|
| | * | Add a -p option to load_plugin, given this option, the command does not requi... | Baruch Sterin | 2015-11-07 | 1 | -31/+84 |
| | * | CMakeLists.txt, Makefile: fix a bug in passing the readline options | Baruch Sterin | 2015-11-07 | 2 | -10/+13 |
| * | | Extending and improving timing manager. | Alan Mishchenko | 2015-11-08 | 11 | -58/+742 |
| |/ |
|
| * | Improvements to 'satclp' (unfinished). | Alan Mishchenko | 2015-11-06 | 2 | -69/+194 |
| * | Improvements to 'satclp' (unfinished). | Alan Mishchenko | 2015-11-06 | 3 | -11/+457 |
| * | Improvements to storing and reusing simulation info. | Alan Mishchenko | 2015-11-05 | 2 | -23/+99 |
| * | Improvements to storing and reusing simulation info. | Alan Mishchenko | 2015-11-05 | 6 | -320/+148 |
| * | pyabc: remove python integration from abc, it is moved to a separate extension | Baruch Sterin | 2015-11-05 | 27 | -13810/+1 |
| * | main: allow the -c -C -q -f -F -s command line options to be repeated and the... | Baruch Sterin | 2015-11-05 | 1 | -12/+40 |
| * | CMakeLists.txt: pass namespace mode to the Makefile | Baruch Sterin | 2015-11-05 | 1 | -0/+9 |
| * | CMakeLists.txt, Makefile: pass readline flags from the CMake lists file to th... | Baruch Sterin | 2015-11-05 | 2 | -0/+19 |
| * | CMakeLists.txt: refactor | Baruch Sterin | 2015-11-05 | 1 | -1/+7 |
| * | CMakeLists.txt: add a new target libabc, a regular static library | Baruch Sterin | 2015-11-05 | 1 | -1/+4 |
| * | CMakeLists.txt: add a new target libabc-pic, a library compiled with -fPIC, n... | Baruch Sterin | 2015-11-05 | 1 | -0/+7 |
| * | CMakeLists.txt: refactor a bit | Baruch Sterin | 2015-11-05 | 1 | -5/+7 |
| * | CMakeLists.txt: pass CXX flags from the Makefile | Baruch Sterin | 2015-11-05 | 2 | -5/+14 |
| * | silence clang errors when compiling as C++ | Baruch Sterin | 2015-11-05 | 12 | -38/+39 |
| * | Bug fix in constructing internal choices by 'amap'. | Alan Mishchenko | 2015-11-04 | 1 | -1/+1 |
| * | Adding procedure Abc_NtkSetAndGateDelay(). | Alan Mishchenko | 2015-11-04 | 2 | -2/+52 |
| * | Small fix in one procedure to make it compile. | Alan Mishchenko | 2015-11-02 | 1 | -1/+1 |
| * | Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler ... | Alan Mishchenko | 2015-10-28 | 4 | -14/+38 |
