| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.
|
| |
|
| |
|
| |
|
|
|
|
| |
less than R/2 during refinement.
|
|
|
|
| |
less than R/2 during refinement.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
opposed to when the literal first implied in enqueue().
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
representations.
|
|
|
|
| |
representations.
|
|
|
|
| |
representations.
|
| |
|
|
|
|
| |
timeout.
|
|
|
|
| |
per-output timeout.
|
| |
|
| |
|
| |
|
| |
|
| |
|