Commits · d1b6413d1cafdd302ad6f45eb366320f758fa716 · lvzhengyang / abc · GitLab

06 Mar, 2019 1 commit
- Fixing some more warnings by adding cast from 'int' to 'size_t'. · 3cce04c6
  Alan Mishchenko committed 6 years ago
  
  3cce04c6 Browse File
28 Apr, 2017 1 commit
- Compiler warnings. · 534ebbc7
  Alan Mishchenko committed 7 years ago
  
  534ebbc7 Browse File
11 Jan, 2015 1 commit
- Changing memory model of Cba_Ntk_t. · 26b8116a
  Alan Mishchenko committed 10 years ago
  
  26b8116a Browse File
30 Jul, 2012 1 commit
- Reducing memory usage in proof-based abstraction. · 8982bf58
  Alan Mishchenko committed 12 years ago
  
  8982bf58 Browse File
14 Jul, 2012 4 commits
- Debugging a proof error. · bbf4b9a5
  Alan Mishchenko committed 12 years ago
  
  bbf4b9a5 Browse File
- Debugging a proof error. · 4ebda996
  Alan Mishchenko committed 12 years ago
  
  4ebda996 Browse File
- Debugging a proof error. · c50d108f
  Alan Mishchenko committed 12 years ago
  
  c50d108f Browse File
- Debugging a proof error. · c25f488a
  Alan Mishchenko committed 12 years ago
  
  c25f488a Browse File
13 Jul, 2012 3 commits
- Debugging a proof error. · 3fb103da
  Alan Mishchenko committed 12 years ago
  
  3fb103da Browse File
- Debugging a proof error. · da525b2a
  Alan Mishchenko committed 12 years ago
  
  da525b2a Browse File
- Fixing a mismatch in regular/shadow page memory appending procedure. · b7b60ebd
  Alan Mishchenko committed 12 years ago
  
  b7b60ebd Browse File
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 File
22 Jun, 2012 1 commit
- Added memory reporting to &vta. · 735a831e
  Alan Mishchenko committed 12 years ago
  
  735a831e Browse File
15 Jun, 2012 1 commit
- Reporing memory usage by the SAT solver in 'bmc3'. · 675b0892
  Alan Mishchenko committed 12 years ago
  
  675b0892 Browse File
28 Mar, 2012 2 commits
- Moving Vec_Set_t to the vector directory. · 38494b41
  Alan Mishchenko committed 12 years ago
  
  38494b41 Browse File
- Moving Vec_Set_t to the vector directory. · 265e3e5c
  Alan Mishchenko committed 12 years ago
  
  265e3e5c Browse File
22 Mar, 2012 1 commit
- Switching to a variable-page-size memory manager for clauses and proofs. · f50ce3db
  Alan Mishchenko committed 12 years ago
  
  f50ce3db Browse Directory
21 Mar, 2012 1 commit
- Preventing gcc compilation errors in handling memory pages. · 0dc699f7
  Alan Mishchenko committed 12 years ago
  
  0dc699f7 Browse Directory
05 Mar, 2012 1 commit
- Extending memory page size for proof logging. · 5ad0fea6
  Alan Mishchenko committed 13 years ago
  
  5ad0fea6 Browse Directory
17 Feb, 2012 1 commit
- Improved memory management of proof-logging and propagated changes. · 16dc02e7
  Alan Mishchenko committed 13 years ago
  
  16dc02e7 Browse Directory
16 Feb, 2012 1 commit
- Improved memory management of proof-logging and propagated changes. · f1dba69c
  Alan Mishchenko committed 13 years ago
  
  f1dba69c Browse Directory