Commits · f829eca5483d4bec52bc1f090f8e7def180b3454 · lvzhengyang / abc · GitLab

28 Oct, 2012 2 commits
- Improvements to LMS code. · ab2dfec2
  Alan Mishchenko committed 12 years ago
  
  ab2dfec2 Browse Directory
- Improvements to LMS code. · 94d722c5
  Alan Mishchenko committed 12 years ago
  
  94d722c5 Browse Directory
09 Oct, 2012 2 commits
- Improvements to gate sizing. · dd25b90f
  Alan Mishchenko committed 12 years ago
  
  dd25b90f Browse Directory
- Improvements to gate sizing. · 9206e6ff
  Alan Mishchenko committed 12 years ago
  
  9206e6ff Browse Directory
04 Oct, 2012 2 commits
- Minor bug fix. · 8b4e762e
  Alan Mishchenko committed 12 years ago
  
  8b4e762e Browse Directory
- Minor bug fixes. · 63c95405
  Alan Mishchenko committed 12 years ago
  
  63c95405 Browse Directory
23 Sep, 2012 1 commit
- Modified structural constraint extraction (unfold -s) to work for multi-output testcases. · f7caf84f
  Alan Mishchenko committed 12 years ago
  
  f7caf84f Browse Directory
22 Sep, 2012 1 commit
- Upgrading hierarchy timing manager. · fdd043ca
  Alan Mishchenko committed 12 years ago
  
  fdd043ca Browse Directory
18 Sep, 2012 1 commit
- Changes to command 'upsize'. · e0eb2703
  Alan Mishchenko committed 12 years ago
  
  e0eb2703 Browse Directory
17 Sep, 2012 1 commit
- Moving binary IO streams to the vector package. · 790ea654
  Alan Mishchenko committed 12 years ago
  
  790ea654 Browse Directory
28 Aug, 2012 1 commit
- Added printout of library cells. · 7772a4af
  Alan Mishchenko committed 12 years ago
  
  7772a4af Browse Directory
25 Aug, 2012 1 commit
- New package to read/write a subset of Liberty for STA. · 13bd7b33
  Alan Mishchenko committed 12 years ago
  
  13bd7b33 Browse Directory
10 Aug, 2012 1 commit
- Improved abstraction refinement. · 5b80d704
  Alan Mishchenko committed 12 years ago
  
  5b80d704 Browse Directory
30 Jul, 2012 2 commits
- Fixing performance bug with old proof-logging (adding clauses multiple times). · cd39fd6b
  Alan Mishchenko committed 12 years ago
  
  cd39fd6b Browse Directory
- Reducing memory usage in proof-based abstraction. · 8982bf58
  Alan Mishchenko committed 12 years ago
  
  8982bf58 Browse Directory
29 Jul, 2012 1 commit
- Adding memory reporting to vectors. · 8a2d237f
  Alan Mishchenko committed 12 years ago
  
  8a2d237f Browse Directory
21 Jul, 2012 1 commit
- Updated code for lazy man's synthesis (memory optimization). · 6df122bd
  Alan Mishchenko committed 12 years ago
  
  6df122bd Browse Directory
20 Jul, 2012 1 commit
- Updated code for lazy man's synthesis. · 6c9b59bf
  Alan Mishchenko committed 12 years ago
  
  6c9b59bf Browse Directory
14 Jul, 2012 4 commits
- Debugging a proof error. · bbf4b9a5
  Alan Mishchenko committed 12 years ago
  
  bbf4b9a5 Browse Directory
- Debugging a proof error. · 4ebda996
  Alan Mishchenko committed 12 years ago
  
  4ebda996 Browse Directory
- Debugging a proof error. · c50d108f
  Alan Mishchenko committed 12 years ago
  
  c50d108f Browse Directory
- Debugging a proof error. · c25f488a
  Alan Mishchenko committed 12 years ago
  
  c25f488a Browse Directory
13 Jul, 2012 3 commits
- Debugging a proof error. · 3fb103da
  Alan Mishchenko committed 12 years ago
  
  3fb103da Browse Directory
- Debugging a proof error. · da525b2a
  Alan Mishchenko committed 12 years ago
  
  da525b2a Browse Directory
- Fixing a mismatch in regular/shadow page memory appending procedure. · b7b60ebd
  Alan Mishchenko committed 12 years ago
  
  b7b60ebd Browse Directory
09 Jul, 2012 1 commit
- Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat, etc). · c265d244
  Alan Mishchenko committed 12 years ago
  
  c265d244 Browse Directory
08 Jul, 2012 1 commit
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse Directory
22 Jun, 2012 1 commit
- Added memory reporting to &vta. · 735a831e
  Alan Mishchenko committed 12 years ago
  
  735a831e Browse Directory
15 Jun, 2012 1 commit
- Reporing memory usage by the SAT solver in 'bmc3'. · 675b0892
  Alan Mishchenko committed 12 years ago
  
  675b0892 Browse Directory
03 May, 2012 1 commit
- Misc changes. · d4399dbf
  Alan Mishchenko committed 12 years ago
  
  d4399dbf Browse Directory
20 Apr, 2012 1 commit
- Misc changes. · 73789120
  Alan Mishchenko committed 12 years ago
  
  73789120 Browse Directory
31 Mar, 2012 1 commit
- Added several new APIs. · 993c2027
  Alan Mishchenko committed 12 years ago
  
  993c2027 Browse Directory
28 Mar, 2012 2 commits
- Moving Vec_Set_t to the vector directory. · 38494b41
  Alan Mishchenko committed 12 years ago
  
  38494b41 Browse Directory
- Moving Vec_Set_t to the vector directory. · 265e3e5c
  Alan Mishchenko committed 12 years ago
  
  265e3e5c Browse Directory
25 Mar, 2012 1 commit
- Logic sharing for multi-input gates. · 309bcf2d
  Alan Mishchenko committed 12 years ago
  
  309bcf2d Browse Directory
21 Mar, 2012 1 commit
- Added one currently unused iterator. · 92539a91
  Alan Mishchenko committed 12 years ago
  
  92539a91 Browse Directory
25 Feb, 2012 1 commit
- Silenced a gcc warning. · 3f525b0d
  Alan Mishchenko committed 13 years ago
  
  3f525b0d Browse Directory
18 Feb, 2012 1 commit
- Isomorphism checking code. · 97a2e6f2
  Alan Mishchenko committed 13 years ago
  
  97a2e6f2 Browse Directory
17 Feb, 2012 1 commit
- Isomorphism checking code. · ee9f66e2
  Alan Mishchenko committed 13 years ago
  
  ee9f66e2 Browse Directory
15 Feb, 2012 1 commit
- Isomorphism checking code. · a9980135
  Alan Mishchenko committed 13 years ago
  
  a9980135 Browse Directory