Commits · 4c62b0028816cda59edf796577056d6d27e1be8d · lvzhengyang / abc · GitLab

05 Sep, 2013 1 commit
- Updates for the new BMC engine. · e9d04664
  Alan Mishchenko committed 11 years ago
  
  e9d04664 Browse File
02 Aug, 2013 1 commit
- SAT solver with dynamic CNF loading. · da60781c
  Alan Mishchenko committed 11 years ago
  
  da60781c Browse File
22 May, 2013 1 commit
- Counter-example depth minimization. · 28e065b0
  Alan Mishchenko committed 11 years ago
  
  28e065b0 Browse File
27 Feb, 2013 1 commit
- User-controlable SAT sweeper and other small changes. · a27a7bc8
  Alan Mishchenko committed 12 years ago
  
  a27a7bc8 Browse File
24 Dec, 2012 1 commit
- New unrolling manager. · e1a5556e
  Alan Mishchenko committed 12 years ago
  
  e1a5556e Browse File
29 Nov, 2012 1 commit
- Counter-example analysis and optimization. · 66126598
  Alan Mishchenko committed 12 years ago
  
  66126598 Browse File
14 Nov, 2012 1 commit
- Isolating BMC code into a separate package. · be7a4e42
  Alan Mishchenko committed 12 years ago
  
  be7a4e42 Browse File