Commits

Author Commit Message Labels Comments Date
Jinseong Jeon
avoid stack trace for unresolved sketch
Jinseong Jeon
forgot to shut down single thread executor for --fe-timeout
Jinseong Jeon
--fe-timeout: stop Sketch (not CEGIS solver) after the given number of minutes
Jinseong Jeon
minor fix: adaptive timeout shouldn't exceed the general solver timeout
Jinseong Jeon
minor bug fix: wrapping an exception
Jinseong Jeon
sort the order of harnesses based on their estimated sizes
Jinseong Jeon
Statement size
Jinseong Jeon
synchronizing back-end stat
jinala
Better expansion for ===
Branches
rec
Jinseong Jeon
retrieving dist size should be inside synchronized blocks
jinala
Missing file
Branches
rec
jinala
Auto generate harness
Branches
rec
jinala
Validation checking to replace recursive calls.
Branches
rec
jinala
Support for state.
Branches
rec
jinala
Initial support for replacing recursive fun calls in the compiler.
Branches
rec
jinala
Support angelic holes and hard asserts.
Branches
rec
Jinseong Jeon
to not use -ntimes during the learning phase
Jinseong Jeon
initial values for solver options
Jinseong Jeon
timeout preceds #trials: run backends virtually infinitely if timeout is set
Jinseong Jeon
refactoring: renaming pool-related variables to avoid conflicts just in case
Jinseong Jeon
nit: half of sampling sizes (for many-cores)
Jinseong Jeon
avoid race conditions due to asynchronous sampling updates
Jinseong Jeon
adaptive timeout
Jinseong Jeon
(asynchronous) sampling bounds
Jinseong Jeon
Asynchronous Wilcoxon strategy
Jinseong Jeon
made WilcoxonStrategy extensible a bit more
Jinseong Jeon
changed accessibility so that sub-classes can use lock and propagate success upward
Jinseong Jeon
refactoring (renaming): the current parallel scheme is synchronous, resulting in synchronization barrier at the degree adaption phase
jinala
Small fix.
Branches
Immutable
jinala
Small fix
Branches
Immutable
  1. Prev
  2. Next