Commits · 21b847a8db06267db0f44d991236e20efe327a03 · lvzhengyang / abc · GitLab

08 Jul, 2012 1 commit
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse File
07 Jul, 2012 3 commits
- Fixing time printouts in 'pdr'. · 968b59aa
  Alan Mishchenko committed 12 years ago
  
  968b59aa Browse File
- Fixing time printouts in 'pdr'. · e4842315
  Alan Mishchenko committed 12 years ago
  
  e4842315 Browse File
- Fixing time printouts in 'pdr'. · f4867f33
  Alan Mishchenko committed 12 years ago
  
  f4867f33 Browse File
14 Feb, 2012 1 commit
- Added restarts to PDR. · 77b5dc26
  Alan Mishchenko committed 13 years ago
  
  77b5dc26 Browse File
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse File
10 Dec, 2011 1 commit
- Implemented rollback in the main SAT solver and updated PDR to use it (saves about 5% of runtime). · 871171ff
  Alan Mishchenko committed 13 years ago
  
  871171ff Browse Directory
12 Nov, 2011 1 commit
- Dump last frame clauses with 'pdr -d' even if the problem is SAT or undecided. · 814ee484
  Alan Mishchenko committed 13 years ago
  
  814ee484 Browse Directory
27 Jun, 2011 1 commit
- The cube in PDR can have more than 2^15 literals. · 86ba294d
  Alan Mishchenko committed 13 years ago
  
  86ba294d Browse Directory
07 Apr, 2011 1 commit
- Unsuccessful attempt to improve PDR and a few minor changes. · a28fe0d3
  Alan Mishchenko committed 13 years ago
  
  a28fe0d3 Browse Directory
13 Jan, 2011 1 commit
- New code since Dec 2010. · 624af674
  Alan Mishchenko committed 14 years ago
  
  624af674 Browse Directory