Commits · fdba646b64d972bfb1830c6fc269bc8e0b9d93d0 · lvzhengyang / abc · GitLab

23 Feb, 2013 1 commit
- K-hot STG encoding. · 1c744cf1
  Alan Mishchenko committed 12 years ago
  
  1c744cf1 Browse Directory
22 Feb, 2013 2 commits
- Adding new features to 'dualrail'. · 91ca83e8
  Alan Mishchenko committed 12 years ago
  
  91ca83e8 Browse Directory
- Adding new features to 'dualrail'. · dfe5f511
  Alan Mishchenko committed 12 years ago
  
  dfe5f511 Browse Directory
21 Feb, 2013 1 commit
- Enabling two-timeframe property check in the interpolation procedure. · dd52905f
  Alan Mishchenko committed 12 years ago
  
  dd52905f Browse Directory
20 Feb, 2013 2 commits
- New command &cycle, which is faster than 'cycle'. · a82b0a8a
  Alan Mishchenko committed 12 years ago
  
  a82b0a8a Browse Directory
- Adding STG generation (&era -d) and STG encoding (&read_stg <file>). · 59fe3268
  Alan Mishchenko committed 12 years ago
  
  59fe3268 Browse Directory
19 Feb, 2013 1 commit
- Integrating sweeping information. · 99a97183
  Alan Mishchenko committed 12 years ago
  
  99a97183 Browse Directory
16 Feb, 2013 2 commits
- Added 'gap timeout' to pdr. · baa944e6
  Alan Mishchenko committed 12 years ago
  
  baa944e6 Browse Directory
- Added 'gap timeout' to bmc3 and sim3. · fd0ff017
  Alan Mishchenko committed 12 years ago
  
  fd0ff017 Browse Directory
03 Feb, 2013 1 commit
- Integration of timing manager. · 930369f3
  Alan Mishchenko committed 12 years ago
  
  930369f3 Browse Directory
31 Jan, 2013 1 commit
- Added switch 'zeropo -s' to skip comb sweep after removing a PO. · 30ec58fc
  Alan Mishchenko committed 12 years ago
  
  30ec58fc Browse Directory
30 Jan, 2013 1 commit
- Fixing compilation problems on Linux-32 related to constants of type unsigned long long. · 7e598cd2
  Alan Mishchenko committed 12 years ago
  
  7e598cd2 Browse Directory
24 Jan, 2013 3 commits
- Fixed a corner-case when 'sim3 -a' does not work for costant POs. · 853222ee
  Alan Mishchenko committed 12 years ago
  
  853222ee Browse Directory
- Added switch &trim -V <num> to remove const POs with specific value <num>. · edd4b2a2
  Alan Mishchenko committed 12 years ago
  
  edd4b2a2 Browse Directory
- Extending verification status file format to allow for SAT status without CEX. · aa9c87cf
  Alan Mishchenko committed 12 years ago
  
  aa9c87cf Browse Directory
23 Jan, 2013 1 commit
- Enabled detecting CEXes in multiple POs without stopping (sim3 -a). · 68636887
  Alan Mishchenko committed 12 years ago
  
  68636887 Browse Directory
22 Jan, 2013 1 commit
- Enabled detecting CEXes in multiple POs without stopping (sim3 -a). · ac1207ab
  Alan Mishchenko committed 12 years ago
  
  ac1207ab Browse Directory
08 Jan, 2013 4 commits
- Fixing C++ compilation issues. · a625caa1
  Alan Mishchenko committed 12 years ago
  
  a625caa1 Browse Directory
- Fixing C++ compilation issues. · f26e760e
  Alan Mishchenko committed 12 years ago
  
  f26e760e Browse Directory
- Fixing C++ compilation issues. · 81a1d970
  Alan Mishchenko committed 12 years ago
  
  81a1d970 Browse Directory
- Fixing C++ compilation issues. · a8dad4ed
  Alan Mishchenko committed 12 years ago
  
  a8dad4ed Browse Directory
07 Jan, 2013 2 commits
- Adding support of flops to the conversion of MiniAIG into ABC network. · a0819f62
  Alan Mishchenko committed 12 years ago
  
  a0819f62 Browse Directory
- Technology mapper. · 79f3ecb1
  Alan Mishchenko committed 12 years ago
  
  79f3ecb1 Browse Directory
24 Dec, 2012 1 commit
- New unrolling manager. · e1a5556e
  Alan Mishchenko committed 12 years ago
  
  e1a5556e Browse Directory
16 Dec, 2012 1 commit
- Assembling timing/hierarchy manager from input data. · bfad6542
  Alan Mishchenko committed 12 years ago
  
  bfad6542 Browse Directory
13 Dec, 2012 1 commit
- Assembling timing/hierarchy manager from input data. · 82050bbe
  Alan Mishchenko committed 12 years ago
  
  82050bbe Browse Directory
10 Dec, 2012 7 commits
- Unifification of custom extensions. · 2575a5d6
  Alan Mishchenko committed 12 years ago
  
  2575a5d6 Browse Directory
- Retiring old 'fpga' command and package. · f7b7ab59
  Alan Mishchenko committed 12 years ago
  
  f7b7ab59 Browse Directory
- Renaming If_Lut_t into If_LibLut_t. · dc843b03
  Alan Mishchenko committed 12 years ago
  
  dc843b03 Browse Directory
- Adding box library. · 5eedc74a
  Alan Mishchenko committed 12 years ago
  
  5eedc74a Browse Directory
- Enabling multi-output solving in 'pdr'. · 8355eb1d
  Alan Mishchenko committed 12 years ago
  
  8355eb1d Browse Directory
- Enabling multi-output solving in 'pdr'. · ce63869f
  Alan Mishchenko committed 12 years ago
  
  ce63869f Browse Directory
- Renaming multi-output mode enable switch 'bmc3 -s' to be 'bmc3 -a'. · 87619422
  Alan Mishchenko committed 12 years ago
  
  87619422 Browse Directory
09 Dec, 2012 5 commits
- Enabling multi-output solving in 'pdr'. · 9fc1cd0b
  Alan Mishchenko committed 12 years ago
  
  9fc1cd0b Browse Directory
- Enabling multi-output solving in 'pdr'. · 58d4012a
  Alan Mishchenko committed 12 years ago
  
  58d4012a Browse Directory
- Enabling multi-output solving in 'pdr'. · 9f396a0d
  Alan Mishchenko committed 12 years ago
  
  9f396a0d Browse Directory
- Enabling multi-output solving in 'pdr'. · b65ae734
  Alan Mishchenko committed 12 years ago
  
  b65ae734 Browse Directory
- Deriving CEX after phase/tempor/reparam. · 0058cefe
  Alan Mishchenko committed 12 years ago
  
  0058cefe Browse Directory
08 Dec, 2012 2 commits
- Deriving CEX after phase/tempor/reparam. · a68593c4
  Alan Mishchenko committed 12 years ago
  
  a68593c4 Browse Directory
- Deriving CEX after phase/tempor/reparam. · 8e5d771f
  Alan Mishchenko committed 12 years ago
  
  8e5d771f Browse Directory