Remove locally { .. }
Use synthesizer's shouldStop flag in search
Added support for insynth and lesynth, added necessary sources and tests
Added lesynth rule into the Leon framework (rule covers set of basic examples)
Added two rules, with immediate and deferred instantiation (should work for core examples - uses manually inputed examples)
Incorporated example generation using DataGen
Final benchmarks before the submission
Updated rule to generate input examples + refactorings and fixes of code/testcases
Searching with doubling the number of ranked candidates
Temporary hack of creating ad-hoc solver each time (may not be easy to avoid this at this point)
Modified .gitignore according to the project structure
Added checking of Leon shouldStop flag
Added support for candidate ranking (minimizing #evaluations)
Changed how many evaluations per search iteration is performed (now is doubling #candidates)
Added binary search tree (multiple flavors, but cannot synthesize at this point)
Refactored variable refinement out of the synthesizer class
Added direct field introduction in the variable refiner
Added RB tree testcases, and some parameter changes
Some refactorings and parameter adjustments
Added operator refinement in the refiner (i.e. filtering)