Commits · 55594441265e413a1535ab7e29d4961179d0d5d9 · lvzhengyang / abc · GitLab

16 Sep, 2012 3 commits
- Changed a few things in the refinement package of &gla. · ee436f93
  Alan Mishchenko committed 12 years ago
  
  ee436f93 Browse File
- Restructured the code to post-process object used during refinement in &gla. · 5953beb2
  Alan Mishchenko committed 12 years ago
  
  5953beb2 Browse File
- Created new abstraction package from the code that was all over the place. · 69bbfa98
  Alan Mishchenko committed 12 years ago
  
  69bbfa98 Browse File
11 Aug, 2012 2 commits
- Fixing undesirable effect of recent refinement code on older code in &gla -n. · 5da7102f
  Alan Mishchenko committed 12 years ago
  
  5da7102f Browse Directory
- Enabling -S <num> for &gla to not check the first <num> frames. · 528c8e0b
  Alan Mishchenko committed 12 years ago
  
  528c8e0b Browse Directory
10 Aug, 2012 2 commits
- Improved abstraction refinement. · a019dd21
  Alan Mishchenko committed 12 years ago
  
  a019dd21 Browse Directory
- Improved abstraction refinement. · 5b80d704
  Alan Mishchenko committed 12 years ago
  
  5b80d704 Browse Directory
07 Aug, 2012 2 commits
- Scalable gate-level abstraction. · c35471da
  Alan Mishchenko committed 12 years ago
  
  c35471da Browse Directory
- Scalable gate-level abstraction. · ca9803fc
  Alan Mishchenko committed 12 years ago
  
  ca9803fc Browse Directory
06 Aug, 2012 1 commit
- Scalable gate-level abstraction. · 1917321c
  Alan Mishchenko committed 12 years ago
  
  1917321c Browse Directory
01 Aug, 2012 1 commit
- Scalable gate-level abstraction. · e3e4a987
  Alan Mishchenko committed 12 years ago
  
  e3e4a987 Browse Directory
31 Jul, 2012 1 commit
- Scalable gate-level abstraction. · a457cf49
  Alan Mishchenko committed 12 years ago
  
  a457cf49 Browse Directory
23 Jul, 2012 1 commit
- Recording and reusing learned util clauses in bmc2. · a40c13a9
  Alan Mishchenko committed 12 years ago
  
  a40c13a9 Browse Directory
22 Jul, 2012 1 commit
- Recording and reusing learned util clauses in bmc3. · 2379dea4
  Alan Mishchenko committed 12 years ago
  
  2379dea4 Browse Directory
14 Jul, 2012 2 commits
- Added new refinement manager for &gla and &abs_refine. · 1ca94c10
  Alan Mishchenko committed 12 years ago
  
  1ca94c10 Browse Directory
- Added new refinement manager for &gla and &abs_refine. · cfc7fe7d
  Alan Mishchenko committed 12 years ago
  
  cfc7fe7d Browse Directory