Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Adding support of candinality clause to the SAT solver. | Alan Mishchenko | 2016-01-10 | 5 | -7/+52 | |
| | ||||||
* | Consolidating timing manager Scl_Con_t and propagating changes. | Alan Mishchenko | 2016-01-07 | 11 | -54/+93 | |
| | ||||||
* | Bug fix in constraint file reader. | Alan Mishchenko | 2016-01-07 | 2 | -2/+8 | |
| | ||||||
* | Adding switch &miter -x for XORs outputs of two word-level POs. | Alan Mishchenko | 2016-01-06 | 3 | -2/+57 | |
| | ||||||
* | Fixing last-minute bug fix in &nf. | Alan Mishchenko | 2016-01-05 | 1 | -2/+2 | |
| | ||||||
* | Buf fix in floating time reporting. | Alan Mishchenko | 2016-01-05 | 1 | -20/+21 | |
| | ||||||
* | Fix in &nf for the case when PO can be driven by an inverter. | Alan Mishchenko | 2016-01-05 | 1 | -0/+5 | |
| | ||||||
* | Fix in &nf for the case when PO can be driven by an inverter. | Alan Mishchenko | 2016-01-05 | 1 | -0/+30 | |
| | ||||||
* | Migrating to using 32-bit timing representation in &nf. | Alan Mishchenko | 2016-01-05 | 5 | -242/+239 | |
| | ||||||
* | Migrating back to using 'float' in area-flow computation in &nf. | Alan Mishchenko | 2016-01-05 | 5 | -77/+86 | |
| | ||||||
* | Corner-case bug in 'read_profile'. | Alan Mishchenko | 2015-12-22 | 1 | -1/+1 | |
| | ||||||
* | Adding names to GIA inputs/outputs (addressing x-valued flops). | Alan Mishchenko | 2015-12-22 | 1 | -1/+51 | |
| | ||||||
* | Adding names to GIA inputs/outputs. Changing polarity of invariant ↵ | Alan Mishchenko | 2015-12-22 | 1 | -1/+1 | |
| | | | | generated by PDR. | |||||
* | Adding names to GIA inputs/outputs. Changing polarity of invariant ↵ | Alan Mishchenko | 2015-12-21 | 1 | -0/+34 | |
| | | | | generated by PDR. | |||||
* | Adding names to GIA inputs/outputs. Changing polarity of invariant ↵ | Alan Mishchenko | 2015-12-21 | 1 | -1/+1 | |
| | | | | generated by PDR. | |||||
* | Corner-case bug in invariant profiling. | Alan Mishchenko | 2015-12-18 | 1 | -0/+5 | |
| | ||||||
* | Compiler warning. | Alan Mishchenko | 2015-12-16 | 1 | -7/+0 | |
| | ||||||
* | 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 ↵ | Baruch Sterin | 2015-11-20 | 1 | -0/+3 | |
| | | | | decelaration when needed | |||||
* | move namespace logic into a separate file. It is useful for users of ABC ↵ | Baruch Sterin | 2015-11-20 | 2 | -27/+56 | |
| | | | | that need to use symbols without the entire baggage of including abc_global.h | |||||
* | main: add option -Q for execute command quietly, then interactive | Baruch Sterin | 2015-11-18 | 2 | -7/+15 | |
| | ||||||
* | 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 ↵ | Baruch Sterin | 2015-11-10 | 1 | -6/+0 | |
| | | | | runs - the registration was successful, so the binary should exist. The check was remove to allow the -p option for load_plugin to work. | |||||
* | Improvements to 'satclp'. | Alan Mishchenko | 2015-11-09 | 3 | -12/+188 | |
| | ||||||
* | Improvements to 'satclp'. | Alan Mishchenko | 2015-11-09 | 4 | -40/+57 | |
| | ||||||
* | 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 | 1 | -31/+84 | |
|\ | ||||||
| * | Add a -p option to load_plugin, given this option, the command does not ↵ | Baruch Sterin | 2015-11-07 | 1 | -31/+84 | |
| | | | | | | | | require an absolute path for theplugin. Instead, the shell searches PATH for it. | |||||
* | | Extending and improving timing manager. | Alan Mishchenko | 2015-11-08 | 10 | -57/+737 | |
|/ | ||||||
* | 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 | 14 | -2540/+0 | |
| | ||||||
* | main: allow the -c -C -q -f -F -s command line options to be repeated and ↵ | Baruch Sterin | 2015-11-05 | 1 | -12/+40 | |
| | | | | the commands they sepcify be executed in order instead of overriding each other | |||||
* | 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 | 3 | -14/+14 | |
| | | | | warnings. | |||||
* | Merged in sterin/abc (pull request #13) | Alan Mishchenko | 2015-10-28 | 7 | -17/+4418 | |
|\ | | | | | | | Restoring Aaron Hurst's "fretime" command |