Commits · f5ee46eb3c2c691e4bafc5b7a7dbe3be16bef5dd · lvzhengyang / abc · GitLab

17 Jan, 2016 1 commit
- New command to dump LUT network. · f5ee46eb
  Alan Mishchenko committed Jan 16, 2016
  
  f5ee46eb Browse Files
15 Jan, 2016 3 commits
- Changing the resource file to get rid of a warning on Linux. · 579bcccc
  Alan Mishchenko committed Jan 14, 2016
  
  579bcccc Browse Files
- Compiler warning. · 334f4a29
  Alan Mishchenko committed Jan 14, 2016
  
  334f4a29 Browse Files
- Changes to PDR to compute f-inf clauses and import invariant (or clauses) as a network. · c4446189
  Alan Mishchenko committed Jan 14, 2016
  
  c4446189 Browse Files
14 Jan, 2016 2 commits
- Experiments with SAT-based mapping. · f30facfe
  Alan Mishchenko committed Jan 14, 2016
  
  f30facfe Browse Files
- Adding a way to derive cardinality constraint as a sorting network. · 4ecf43f1
  Alan Mishchenko committed Jan 13, 2016
  
  4ecf43f1 Browse Files
13 Jan, 2016 2 commits
- Adding support for delay/area tradeoff. · 87f6828d
  Alan Mishchenko committed Jan 13, 2016
  
  87f6828d Browse Files
- Integrating new CNF generation into &bmc. · 8dd31fb4
  Alan Mishchenko committed Jan 12, 2016
  
  8dd31fb4 Browse Files
12 Jan, 2016 1 commit
- Better print-out of SOPs. Changing default of 'fx'. Updating 'satclp' to fine prine SOPs. · de695c9d
  Alan Mishchenko committed Jan 12, 2016
  
  de695c9d Browse Files
11 Jan, 2016 2 commits
- Experiments with SAT-based mapping. · 7984628d
  Alan Mishchenko committed Jan 10, 2016
  
  7984628d Browse Files
- Experiments with SAT-based mapping. · 1bbf2398
  Alan Mishchenko committed Jan 10, 2016
  
  1bbf2398 Browse Files
10 Jan, 2016 1 commit
- Adding support of candinality clause to the SAT solver. · d6178631
  Alan Mishchenko committed Jan 10, 2016
  
  d6178631 Browse Files
08 Jan, 2016 1 commit
- Consolidating timing manager Scl_Con_t and propagating changes. · a4f97763
  Alan Mishchenko committed Jan 07, 2016
  
  a4f97763 Browse Files
07 Jan, 2016 2 commits
- Bug fix in constraint file reader. · 15a891f9
  Alan Mishchenko committed Jan 07, 2016
  
  15a891f9 Browse Files
- Adding switch &miter -x for XORs outputs of two word-level POs. · 5453820c
  Alan Mishchenko committed Jan 06, 2016
  
  5453820c Browse Files
06 Jan, 2016 5 commits
- Fixing last-minute bug fix in &nf. · 3240abdb
  Alan Mishchenko committed Jan 05, 2016
  
  3240abdb Browse Files
- Buf fix in floating time reporting. · b9e71bba
  Alan Mishchenko committed Jan 05, 2016
  
  b9e71bba Browse Files
- Fix in &nf for the case when PO can be driven by an inverter. · 7bf3f5e1
  Alan Mishchenko committed Jan 05, 2016
  
  7bf3f5e1 Browse Files
- Fix in &nf for the case when PO can be driven by an inverter. · 30d09e2c
  Alan Mishchenko committed Jan 05, 2016
  
  30d09e2c Browse Files
- Migrating to using 32-bit timing representation in &nf. · c158dd5a
  Alan Mishchenko committed Jan 05, 2016
  
  c158dd5a Browse Files
05 Jan, 2016 1 commit
- Migrating back to using 'float' in area-flow computation in &nf. · 19ad75f1
  Alan Mishchenko committed Jan 05, 2016
  
  19ad75f1 Browse Files
23 Dec, 2015 2 commits
- Corner-case bug in 'read_profile'. · 6642e40a
  Alan Mishchenko committed Dec 22, 2015
  
  6642e40a Browse Files
- Adding names to GIA inputs/outputs (addressing x-valued flops). · 68bc46be
  Alan Mishchenko committed Dec 22, 2015
  
  68bc46be Browse Files
22 Dec, 2015 3 commits
- Adding names to GIA inputs/outputs. Changing polarity of invariant generated by PDR. · 617055f5
  Alan Mishchenko committed Dec 22, 2015
  
  617055f5 Browse Files
- Adding names to GIA inputs/outputs. Changing polarity of invariant generated by PDR. · 2e8543fc
  Alan Mishchenko committed Dec 21, 2015
  
  2e8543fc Browse Files
- Adding names to GIA inputs/outputs. Changing polarity of invariant generated by PDR. · 1228e26c
  Alan Mishchenko committed Dec 21, 2015
  
  1228e26c Browse Files
18 Dec, 2015 1 commit
- Corner-case bug in invariant profiling. · ba5e6995
  Alan Mishchenko committed Dec 18, 2015
  
  ba5e6995 Browse Files
16 Dec, 2015 1 commit
- Compiler warning. · 54269c7c
  Alan Mishchenko committed Dec 16, 2015
  
  54269c7c Browse Files
14 Dec, 2015 2 commits
- Branch merge. · 09a17b89
  Alan Mishchenko committed Dec 14, 2015
  
  09a17b89 Browse Files
- Adding code to support gate profiles. · 19586f10
  Alan Mishchenko committed Dec 14, 2015
  
  19586f10 Browse Files
08 Dec, 2015 2 commits
- Extending Verilog parser to handle 'default' in the case-statement (bug fix). · e8f459d8
  Alan Mishchenko committed Dec 07, 2015
  
  e8f459d8 Browse Files
- Extending Verilog parser to handle 'default' in the case-statement. · 64afe6e9
  Alan Mishchenko committed Dec 07, 2015
  
  64afe6e9 Browse Files
07 Dec, 2015 1 commit
- Adding code to support gate profiles. · e9abb0f4
  Alan Mishchenko committed Dec 07, 2015
  
  e9abb0f4 Browse Files
06 Dec, 2015 1 commit
- Adding commands to read/write/print gate profiles. · 0f29ba75
  Alan Mishchenko committed Dec 05, 2015
  
  0f29ba75 Browse Files
23 Nov, 2015 1 commit
- New command %psinv. · 56880eab
  Alan Mishchenko committed Nov 23, 2015
  
  56880eab Browse Files
21 Nov, 2015 2 commits
- add a new #define ABC_NAMESPACE_USING_NAMESPACE that adds a using decelaration when needed · 63fcf25a
  Baruch Sterin committed Nov 20, 2015
  
  63fcf25a Browse Files
- move namespace logic into a separate file. It is useful for users of ABC that… · 11581ca9
```
move namespace logic into a separate file. It is useful for users of ABC that need to use symbols without the entire baggage of including abc_global.h
```
  Baruch Sterin committed Nov 20, 2015
  11581ca9 Browse Files
19 Nov, 2015 1 commit
- main: add option -Q for execute command quietly, then interactive · 5df0cf98
  Baruch Sterin committed Nov 18, 2015
  
  5df0cf98 Browse Files
13 Nov, 2015 1 commit
- CMake: make it possible to pass ABC_USE_NAMESPACE=FALSE, instead of just empty ABC_USE_NAMESPACE · 2ac47fe5
  Baruch Sterin committed Nov 13, 2015
  
  2ac47fe5 Browse Files
12 Nov, 2015 1 commit
- CMake, Makefile: pass the location of arch_flags to the makefile, this way the… · 3237ebaf
```
CMake, Makefile: pass the location of arch_flags to the makefile, this way the cmake build does not write to the soruce directory
```
  Baruch Sterin committed Nov 12, 2015
  3237ebaf Browse Files