Commits · df0f8ad540bd21d4ba27b36ac23e9b9a22c7f853 · lvzhengyang / abc · GitLab

08 Oct, 2014 3 commits
- Compiler warnings. · df0f8ad5
  Alan Mishchenko committed Oct 08, 2014
  
  df0f8ad5 Browse Files
- Compiler warnings. · 141c1de0
  Alan Mishchenko committed Oct 08, 2014
  
  141c1de0 Browse Files
- Detection of threshold functions. · e4d58876
  Alan Mishchenko committed Oct 08, 2014
  
  e4d58876 Browse Files
07 Oct, 2014 1 commit
- New ISOP computation. · bd0373da
  Alan Mishchenko committed Oct 07, 2014
  
  bd0373da Browse Files
05 Oct, 2014 5 commits
- Bug fix in move_names. · 6d79be6b
  Alan Mishchenko committed Oct 05, 2014
  
  6d79be6b Browse Files
- Updates to &flow and &flow2. · 820cbc11
  Alan Mishchenko committed Oct 05, 2014
  
  820cbc11 Browse Files
- Deriving cell mapping with &if -kz. · 734435f4
  Alan Mishchenko committed Oct 04, 2014
  
  734435f4 Browse Files
- Deriving cell mapping with &if -kz. · 24083998
  Alan Mishchenko committed Oct 04, 2014
  
  24083998 Browse Files
- New ISOP computation. · 4c7165a4
  Alan Mishchenko committed Oct 04, 2014
  
  4c7165a4 Browse Files
04 Oct, 2014 1 commit
- Deriving AIG after cell mapping. · fa5f05e3
  Alan Mishchenko committed Oct 03, 2014
  
  fa5f05e3 Browse Files
02 Oct, 2014 3 commits
- Bug fix in Verilog writer. · 3f31a858
  Alan Mishchenko committed Oct 02, 2014
  
  3f31a858 Browse Files
- Adding switch -R to 'if'. · 889b329d
  Alan Mishchenko committed Oct 02, 2014
  
  889b329d Browse Files
- Improvements to bit-blaster. · 6d94b6b1
  Alan Mishchenko committed Oct 01, 2014
  
  6d94b6b1 Browse Files
01 Oct, 2014 2 commits
- Improvements to bit-blaster. · 27b1e49d
  Alan Mishchenko committed Sep 30, 2014
  
  27b1e49d Browse Files
- Improvements to bit-blaster. · ed1bf000
  Alan Mishchenko committed Sep 30, 2014
  
  ed1bf000 Browse Files
30 Sep, 2014 1 commit
- Adding options to &flow. · 69519f86
  Alan Mishchenko committed Sep 29, 2014
  
  69519f86 Browse Files
29 Sep, 2014 4 commits
- Adding options to &flow2. · a6c81c65
  Alan Mishchenko committed Sep 29, 2014
  
  a6c81c65 Browse Files
- Adding options to &flow2. · 69b4a922
  Alan Mishchenko committed Sep 29, 2014
  
  69b4a922 Browse Files
- Adding options to &flow. · 4960af4e
  Alan Mishchenko committed Sep 29, 2014
  
  4960af4e Browse Files
- Command to rename files in the same directory. · 05ee370f
  Alan Mishchenko committed Sep 28, 2014
  
  05ee370f Browse Files
28 Sep, 2014 3 commits
- Adding out-of-bounds checks to AIGER readers. · 0c070a35
  Alan Mishchenko committed Sep 28, 2014
  
  0c070a35 Browse Files
- Adding features to CNF generation. · 98e377bd
  Alan Mishchenko committed Sep 28, 2014
  
  98e377bd Browse Files
- Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter). · fbc9c00f
  Alan Mishchenko committed Sep 28, 2014
  
  fbc9c00f Browse Files
26 Sep, 2014 2 commits
- Support for sequential designs in word-level Verilog. · 69bd3554
  Alan Mishchenko committed Sep 26, 2014
  
  69bd3554 Browse Files
- Enabling print-out, for each operator, of the percetage of AND nodes after bit-blasting. · 6aa1c94e
  Alan Mishchenko committed Sep 25, 2014
  
  6aa1c94e Browse Files
24 Sep, 2014 8 commits
- Printing node type statistics. · a1b4773c
  Alan Mishchenko committed Sep 24, 2014
  
  a1b4773c Browse Files
- Printing node type statistics. · 7d211820
  Alan Mishchenko committed Sep 24, 2014
  
  7d211820 Browse Files
- Printing node type statistics. · 4db5e3c0
  Alan Mishchenko committed Sep 24, 2014
  
  4db5e3c0 Browse Files
- Bug fix in handling MUXes in Verilog parser, induced by recent changes. · ffaad9ba
  Alan Mishchenko committed Sep 24, 2014
  
  ffaad9ba Browse Files
- Added switch -t to &flow2. · ad079f72
  Alan Mishchenko committed Sep 24, 2014
  
  ad079f72 Browse Files
- Added support of word-level MUXes represented as 'always'-statements. · ea9c1c0b
  Alan Mishchenko committed Sep 24, 2014
  
  ea9c1c0b Browse Files
- Added support of word-level MUXes represented as 'always'-statements. · a4d5a9b5
  Alan Mishchenko committed Sep 24, 2014
  
  a4d5a9b5 Browse Files
- Enables dumping stats into a file. · d9b5aa49
  Alan Mishchenko committed Sep 23, 2014
  
  d9b5aa49 Browse Files
23 Sep, 2014 3 commits
- Extending &cec to take a single-output miter (usage of switch -d has changed!). · 3f95853f
  Alan Mishchenko committed Sep 23, 2014
  
  3f95853f Browse Files
- Debugging the bit-blaster. · 93e5631c
  Alan Mishchenko committed Sep 23, 2014
  
  93e5631c Browse Files
- Debugging the bit-blaster. · 3f6c08df
  Alan Mishchenko committed Sep 23, 2014
  
  3f6c08df Browse Files
22 Sep, 2014 1 commit
- Adding switch to enable SOP balancing in '&flow2'. · 15f54289
  Alan Mishchenko committed Sep 21, 2014
  
  15f54289 Browse Files
21 Sep, 2014 3 commits
- Tuning the flow scripts. · 8f3dd475
  Alan Mishchenko committed Sep 20, 2014
  
  8f3dd475 Browse Files
- Extending resource limit. · dc9d327a
  Alan Mishchenko committed Sep 20, 2014
  
  dc9d327a Browse Files
- Tuning the flow scripts. · dc9a08bd
  Alan Mishchenko committed Sep 20, 2014
  
  dc9a08bd Browse Files