- 23 Sep, 2013 1 commit
-
-
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_.
Alan Mishchenko committed
-
- 21 Sep, 2013 1 commit
-
-
Adding resource limit to stop &gla when the number of remaining objects is less than R/2 during refinement.
Alan Mishchenko committed
-
- 06 Sep, 2013 1 commit
-
-
Alan Mishchenko committed
-
- 27 May, 2013 1 commit
-
-
Alan Mishchenko committed
-
- 04 May, 2013 1 commit
-
-
Alan Mishchenko committed
-
- 27 Apr, 2013 1 commit
-
-
Alan Mishchenko committed
-
- 27 Feb, 2013 1 commit
-
-
Alan Mishchenko committed
-
- 21 Feb, 2013 1 commit
-
-
Alan Mishchenko committed
-
- 24 Jan, 2013 1 commit
-
-
Alan Mishchenko committed
-
- 08 Jan, 2013 3 commits
-
-
Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops() formerly called from &abs_start for backward compatibility.
Alan Mishchenko committed -
Alan Mishchenko committed
-
Alan Mishchenko committed
-
- 10 Dec, 2012 1 commit
-
-
Alan Mishchenko committed
-
- 09 Dec, 2012 2 commits
-
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
- 14 Nov, 2012 1 commit
-
-
Alan Mishchenko committed
-
- 12 Nov, 2012 1 commit
-
-
Alan Mishchenko committed
-
- 07 Nov, 2012 2 commits
-
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
- 09 Oct, 2012 2 commits
-
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
- 07 Oct, 2012 1 commit
-
-
Alan Mishchenko committed
-
- 04 Oct, 2012 3 commits
-
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
- 03 Oct, 2012 3 commits
-
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
- 02 Oct, 2012 3 commits
-
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
- 01 Oct, 2012 1 commit
-
-
Alan Mishchenko committed
-
- 25 Sep, 2012 1 commit
-
-
Alan Mishchenko committed
-
- 21 Sep, 2012 2 commits
-
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
- 17 Sep, 2012 2 commits
-
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
- 16 Sep, 2012 3 commits
-
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
Alan Mishchenko committed
-
