Commits · 5a47990043d7d5b17187122e25e1d068bc450dff · lvzhengyang / abc · GitLab

22 Feb, 2016 1 commit
- Disabling formula cleaner to avoid problems with reading GENLIB on some libraries. · 5a479900
  Alan Mishchenko committed Feb 21, 2016
  
  5a479900 Browse Files
15 Feb, 2016 2 commits
- Re-doing the same change. · 460a13a1
  Alan Mishchenko committed Feb 15, 2016
  
  460a13a1 Browse Files
- Temporarily undoing one of the recent changes. · e663db66
  Alan Mishchenko committed Feb 15, 2016
  
  e663db66 Browse Files
14 Feb, 2016 1 commit
- Improving bit-blasting of a multiplier and squarer. · c8962e94
  Alan Mishchenko committed Feb 13, 2016
  
  c8962e94 Browse Files
13 Feb, 2016 1 commit
- Adding support for a different bit-blasting of a multiplier and squarer. · 390a145f
  Alan Mishchenko committed Feb 13, 2016
  
  390a145f Browse Files
12 Feb, 2016 1 commit
- Adding support for a different bit-blasting of a multiplier and squarer. · e0616441
  Alan Mishchenko committed Feb 12, 2016
  
  e0616441 Browse Files
09 Feb, 2016 1 commit
- Experiments with SAT-based mapping. · 66796c38
  Alan Mishchenko committed Feb 08, 2016
  
  66796c38 Browse Files
08 Feb, 2016 1 commit
- Experiments with SAT-based mapping. · 67f4f1ad
  Alan Mishchenko committed Feb 07, 2016
  
  67f4f1ad Browse Files
07 Feb, 2016 1 commit
- Bug fix in liberty parser and change suggested by Clifford. · 59aea763
  Alan Mishchenko committed Feb 07, 2016
  
  59aea763 Browse Files
06 Feb, 2016 3 commits
- Added recursive bit-blasting of a carry-lookahead adder. · 02240391
  Alan Mishchenko committed Feb 06, 2016
  
  02240391 Browse Files
- GENLIB parsing bug, which led to a crash. · 355865e8
  Alan Mishchenko committed Feb 06, 2016
  
  355865e8 Browse Files
- Fixing the problem of identically named signals in 'retime'. · 76670892
  Alan Mishchenko committed Feb 05, 2016
  
  76670892 Browse Files
03 Feb, 2016 4 commits
- Making flop names after 'retime' more meaningful. · fc1897fb
  Alan Mishchenko committed Feb 03, 2016
  
  fc1897fb Browse Files
- Preserving internal signal names when 'strash' is not used. · be35a13a
  Alan Mishchenko committed Feb 03, 2016
  
  be35a13a Browse Files
- Supporting X-valued constants in Wlc_Ntk_t. · 8bcf8fd3
  Alan Mishchenko committed Feb 02, 2016
  
  8bcf8fd3 Browse Files
- Supporting X-valued constants in Wlc_Ntk_t. · 094c68f9
  Alan Mishchenko committed Feb 02, 2016
  
  094c68f9 Browse Files
02 Feb, 2016 1 commit
- Supporting X-valued constants in Wlc_Ntk_t. · c81b6cb5
  Alan Mishchenko committed Feb 02, 2016
  
  c81b6cb5 Browse Files
01 Feb, 2016 2 commits
- An add-on to write Verilog for circuits mapped into simple gates. · 02725c9e
  Alan Mishchenko committed Feb 01, 2016
  
  02725c9e Browse Files
- Rare bug fix in 'dch' resulting in choice nodes having internal fanout. · 81dade19
  Alan Mishchenko committed Jan 31, 2016
  
  81dade19 Browse Files
31 Jan, 2016 1 commit
- Fixing mismatch in the TLS flow induced by adding cell configs in the DSD manager. · 367b20f0
  Alan Mishchenko committed Jan 30, 2016
  
  367b20f0 Browse Files
24 Jan, 2016 1 commit
- Small changes to sort for timing. · 951ca48b
  Alan Mishchenko committed Jan 24, 2016
  
  951ca48b Browse Files
20 Jan, 2016 2 commits
- Bug fix in 'aig', for the case of non-min-base SOPs. · 9ef44765
  Alan Mishchenko committed Jan 20, 2016
  
  9ef44765 Browse Files
- Generating sorting network as a PLA file. · df34a262
  Alan Mishchenko committed Jan 20, 2016
  
  df34a262 Browse Files
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 2 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