Commits · d1e82047ffa4da33d00d6092a36bbdbb8f4da269 · lvzhengyang / abc · GitLab

28 Mar, 2012 1 commit
- Moving Vec_Set_t to the vector directory. · 265e3e5c
  Alan Mishchenko committed 12 years ago
  
  265e3e5c Browse Directory
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
10 Mar, 2012 2 commits
- Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)... · c46c957a
  Alan Mishchenko committed 12 years ago
  
  c46c957a Browse Directory
- Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci/Co. · 2c8f1a67
  Alan Mishchenko committed 12 years ago
  
  2c8f1a67 Browse Directory
05 Mar, 2012 1 commit
- Extending memory page size for proof logging. · 5ad0fea6
  Alan Mishchenko committed 13 years ago
  
  5ad0fea6 Browse Directory
03 Mar, 2012 1 commit
- Some fixes for VTA under Bridge. · 12d9aaa7
  Niklas Een committed 13 years ago
  
  12d9aaa7 Browse Directory
19 Feb, 2012 1 commit
- Added QuickSort based on 3-way partitioning. · 596bbbe6
  Alan Mishchenko committed 13 years ago
  
  596bbbe6 Browse Directory
17 Feb, 2012 5 commits
- Silencing some of the gcc warnings. · fe2d7d96
  Alan Mishchenko committed 13 years ago
  
  fe2d7d96 Browse Directory
- Silencing some of the gcc warnings. · 2d316b86
  Alan Mishchenko committed 13 years ago
  
  2d316b86 Browse Directory
- Silencing some of the gcc warnings. · 97856d02
  Alan Mishchenko committed 13 years ago
  
  97856d02 Browse Directory
- Silencing some of the gcc warnings. · 791b107e
  Alan Mishchenko committed 13 years ago
  
  791b107e Browse Directory
- 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
14 Feb, 2012 2 commits
- Variable timeframe abstraction. · 59ea100d
  Alan Mishchenko committed 13 years ago
  
  59ea100d Browse Directory
- Variable timeframe abstraction. · d931de7f
  Alan Mishchenko committed 13 years ago
  
  d931de7f Browse Directory
13 Feb, 2012 2 commits
- Variable timeframe abstraction. · 6f4bb33c
  Alan Mishchenko committed 13 years ago
  
  6f4bb33c Browse Directory
- Variable timeframe abstraction. · f80841a5
  Alan Mishchenko committed 13 years ago
  
  f80841a5 Browse Directory
12 Feb, 2012 2 commits
- Variable timeframe abstraction. · d9edb7e5
  Alan Mishchenko committed 13 years ago
  
  d9edb7e5 Browse Directory
- Variable timeframe abstraction. · 309ab1c1
  Alan Mishchenko committed 13 years ago
  
  309ab1c1 Browse Directory
28 Jan, 2012 1 commit
- Variable timeframe abstraction. · a2df3318
  Alan Mishchenko committed 13 years ago
  
  a2df3318 Browse Directory
27 Jan, 2012 1 commit
- Variable timeframe abstraction. · ce0e8caf
  Alan Mishchenko committed 13 years ago
  
  ce0e8caf Browse Directory
24 Jan, 2012 2 commits
- Variable timeframe abstraction. · c7e85561
  Alan Mishchenko committed 13 years ago
  
  c7e85561 Browse Directory
- Variable timeframe abstraction. · 94d35a25
  Alan Mishchenko committed 13 years ago
  
  94d35a25 Browse Directory
22 Jan, 2012 1 commit
- Variable timeframe abstraction. · fb918249
  Alan Mishchenko committed 13 years ago
  
  fb918249 Browse Directory
21 Jan, 2012 2 commits
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse Directory
- Variable timeframe abstraction. · 719b06f9
  Alan Mishchenko committed 13 years ago
  
  719b06f9 Browse Directory
14 Jan, 2012 1 commit
- Improving printout in the SAT solver. · 37b8a190
  Alan Mishchenko committed 13 years ago
  
  37b8a190 Browse Directory
12 Jan, 2012 1 commit
- Bug fix related to not properly resizing SAT solver's model array. · 56cc5734
  Alan Mishchenko committed 13 years ago
  
  56cc5734 Browse Directory
06 Jan, 2012 1 commit
- Bug fix related to not properly resizing SAT solver's model array. · 10ad8949
  Alan Mishchenko committed 13 years ago
  
  10ad8949 Browse Directory
05 Jan, 2012 2 commits
- APIs to represent simple gates in CNF. · 5a45a75d
  Alan Mishchenko committed 13 years ago
  
  5a45a75d Browse Directory
- APIs to represent simple gates in CNF. · 32e7b758
  Alan Mishchenko committed 13 years ago
  
  32e7b758 Browse Directory
24 Dec, 2011 1 commit
- Transforming the solver to use different clause representation. · c59e2e9c
  Alan Mishchenko committed 13 years ago
  
  c59e2e9c Browse Directory
23 Dec, 2011 3 commits
- Transforming the solver to use different clause representation. · 7facbc3c
  Alan Mishchenko committed 13 years ago
  
  7facbc3c Browse Directory
- Transforming the solver to use different clause representation. · 94174d0f
  Alan Mishchenko committed 13 years ago
  
  94174d0f Browse Directory
- Transforming the solver to use different clause representation. · 9d289304
  Alan Mishchenko committed 13 years ago
  
  9d289304 Browse Directory
22 Dec, 2011 2 commits
- Transforming the solver to use different clause representation. · 844c385e
  Alan Mishchenko committed 13 years ago
  
  844c385e Browse Directory
- Computing interpolants as truth tables. · d0da3a82
  Alan Mishchenko committed 13 years ago
  
  d0da3a82 Browse Directory
16 Dec, 2011 2 commits
- Undoing temporary change to the solver. · 8404ecda
  Alan Mishchenko committed 13 years ago
  
  8404ecda Browse Directory
- Temporary change to the solver. · 4d000265
  Alan Mishchenko committed 13 years ago
  
  4d000265 Browse Directory