Commits · 1398de7c46d3b2f4e63a6b10965f1e9f4d62742c · lvzhengyang / abc · GitLab

08 Dec, 2014 1 commit
- Integrating barrier buffers. · 1398de7c
  Alan Mishchenko committed 10 years ago
  
  1398de7c Browse Directory
05 Dec, 2014 1 commit
- Changes to the parser. · 3e2fad35
  Alan Mishchenko committed 10 years ago
  
  3e2fad35 Browse Directory
04 Dec, 2014 1 commit
- Changes to the parser. · 705006a6
  Alan Mishchenko committed 10 years ago
  
  705006a6 Browse Directory
26 Nov, 2014 1 commit
- Improvements to handling boxes and flops. · ba4063ac
  Alan Mishchenko committed 10 years ago
  
  ba4063ac Browse Directory
25 Nov, 2014 1 commit
- Improvements to handling boxes and flops. · 8d5fa2c2
  Alan Mishchenko committed 10 years ago
  
  8d5fa2c2 Browse Directory
24 Nov, 2014 1 commit
- Improvements to handling boxes and flops. · 3368b2dd
  Alan Mishchenko committed 10 years ago
  
  3368b2dd Browse Directory
20 Nov, 2014 2 commits
- Extending &fadds to support artificial chains. New command &setregnum. · 997a92fc
  Alan Mishchenko committed 10 years ago
  
  997a92fc Browse Directory
- Extending &fadds to support artificial chains. · 716b9502
  Alan Mishchenko committed 10 years ago
  
  716b9502 Browse Directory
17 Nov, 2014 1 commit
- Integrating mfs2 package to work with boxes. · 5a10c8ad
  Alan Mishchenko committed 10 years ago
  
  5a10c8ad Browse Directory
14 Nov, 2014 2 commits
- Enabling AIGs with boxes for word-level and sequential designs. · 3dd08c71
  Alan Mishchenko committed 10 years ago
  
  3dd08c71 Browse Directory
- Enabling AIGs with boxes for word-level and sequential designs. · a3418379
  Alan Mishchenko committed 10 years ago
  
  a3418379 Browse Directory
11 Nov, 2014 1 commit
- Added switch -i to &filter to use FIs instead of FOs. · 96fa84ad
  Alan Mishchenko committed 10 years ago
  
  96fa84ad Browse Directory
10 Nov, 2014 2 commits
- Removing unauthorized printout in 'pdr'. · 873c3501
  Alan Mishchenko committed 10 years ago
  
  873c3501 Browse Directory
- Detecting full-adder chains and putting them into white boxes. · 372a348c
  Alan Mishchenko committed 10 years ago
  
  372a348c Browse Directory
05 Nov, 2014 1 commit
- Experimental implementation of BMC-related procedures. · 8c2e5182
  Alan Mishchenko committed 10 years ago
  
  8c2e5182 Browse Directory
03 Nov, 2014 1 commit
- Added switches '-c' and '-n' to 'init'. · b4cf2f74
  Alan Mishchenko committed 10 years ago
  
  b4cf2f74 Browse Directory
29 Oct, 2014 1 commit
- Compiler warnings. · 135bf3ec
  Alan Mishchenko committed 10 years ago
  
  135bf3ec Browse Directory
26 Oct, 2014 3 commits
- Changing switch -v in 'qbf' and '&qbf' to be non-verbose by default. · 836723cf
  Alan Mishchenko committed 10 years ago
  
  836723cf Browse Directory
- New command &satenum to enumerate SAT assignments of a miter in a naive way. · b8556e7e
  Alan Mishchenko committed 10 years ago
  
  b8556e7e Browse Directory
- Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations. · f93ede12
  Alan Mishchenko committed 10 years ago
  
  f93ede12 Browse Directory
23 Oct, 2014 2 commits
- One bug fix and two small changes. · 49caf258
  Alan Mishchenko committed 10 years ago
  
  49caf258 Browse Directory
- One bug fix and two small changes. · 51be0f4c
  Alan Mishchenko committed 10 years ago
  
  51be0f4c Browse Directory
22 Oct, 2014 3 commits
- Disabling MiniSAT 2.2 for now. · d2e42ec0
  Alan Mishchenko committed 10 years ago
  
  d2e42ec0 Browse Directory
- Compiler problems. · 5c938505
  Alan Mishchenko committed 10 years ago
  
  5c938505 Browse Directory
- Preparing to work with C++ code. · a9317eac
  Alan Mishchenko committed 10 years ago
  
  a9317eac Browse Directory
21 Oct, 2014 1 commit
- Adding commands backup/restore. · 7592aa8a
  Alan Mishchenko committed 10 years ago
  
  7592aa8a Browse Directory
20 Oct, 2014 1 commit
- Adding switch &qbf -q to quantify functional variables. · bae5e26f
  Alan Mishchenko committed 10 years ago
  
  bae5e26f Browse Directory
18 Oct, 2014 1 commit
- Improved QBF solver. · 23441c06
  Alan Mishchenko committed 10 years ago
  
  23441c06 Browse Directory
11 Oct, 2014 1 commit
- Fixed "bm" command hang issue. · 83a47278
  grigora committed 10 years ago
  
  83a47278 Browse Directory
10 Oct, 2014 3 commits
- Naive (SAT-only) CEC option. · f6c1fc07
  Alan Mishchenko committed 10 years ago
  
  f6c1fc07 Browse Directory
- Improvements to ISOP. · 5a4592ee
  Alan Mishchenko committed 10 years ago
  
  5a4592ee Browse Directory
- Improvements to ISOP. · b8bd21c8
  Alan Mishchenko committed 10 years ago
  
  b8bd21c8 Browse Directory
08 Oct, 2014 1 commit
- Detection of threshold functions. · e4d58876
  Alan Mishchenko committed 10 years ago
  
  e4d58876 Browse Directory
05 Oct, 2014 2 commits
- Deriving cell mapping with &if -kz. · 734435f4
  Alan Mishchenko committed 10 years ago
  
  734435f4 Browse Directory
- Deriving cell mapping with &if -kz. · 24083998
  Alan Mishchenko committed 10 years ago
  
  24083998 Browse Directory
02 Oct, 2014 1 commit
- Adding switch -R to 'if'. · 889b329d
  Alan Mishchenko committed 10 years ago
  
  889b329d Browse Directory
30 Sep, 2014 1 commit
- Adding options to &flow. · 69519f86
  Alan Mishchenko committed 10 years ago
  
  69519f86 Browse Directory
29 Sep, 2014 2 commits
- Adding options to &flow2. · 69b4a922
  Alan Mishchenko committed 10 years ago
  
  69b4a922 Browse Directory
- Adding options to &flow. · 4960af4e
  Alan Mishchenko committed 10 years ago
  
  4960af4e Browse Directory
28 Sep, 2014 1 commit
- Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter). · fbc9c00f
  Alan Mishchenko committed 10 years ago
  
  fbc9c00f Browse Directory