Commits · 260fe0830a3400f2345868fb8c9a52ad480e63b1 · lvzhengyang / abc

23 Sep, 2013 1 commit

Changing switch -R <num> in &gla to mean the max allowed size of abstraction.… · cab83010

Changing switch -R <num> in &gla to mean the max allowed size of abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.

committed 11 years ago

cab83010 Browse File

08 Jan, 2013 1 commit
- Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops()… · 8287b05a
```
Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops() formerly called from &abs_start for backward compatibility.
```
  Alan Mishchenko committed 12 years ago
  8287b05a Browse File
03 Oct, 2012 1 commit
- Combined old reparametrization command with the new one. · aeb7f7ea
  Alan Mishchenko committed 12 years ago
  
  aeb7f7ea Browse File
21 Sep, 2012 1 commit
- Added simplification before the concurrent call to PDR. · b5306c15
  Alan Mishchenko committed 12 years ago
  
  b5306c15 Browse File
16 Sep, 2012 3 commits
- Restructured the code to post-process object used during refinement in &gla. · 5953beb2
  Alan Mishchenko committed 12 years ago
  
  5953beb2 Browse File
- Made abstraction and PDR communicate in-memory rather than through a file. · 5a4f1fe4
  Alan Mishchenko committed 12 years ago
  
  5a4f1fe4 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