{"push_id":1025198133,"size":75,"distinct_size":75,"ref":"refs/heads/synth-manos","head":"e5dfb6786ed9c3c3578626e2810c7333ecd9aa45","before":"055273dcffb328d626e70c11705b254be3dcaddb","commits":[{"sha":"fb3638b3a7fee75a149b01838576972ee6769918","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"New rule to introduce safe recursive call as a variable\n\nRemove SafeRecursiveCalls from Grammars.default\nIntroduceRecCalls keeps only examples that lead to no 'choose'\nIntroduceRecCalls is normalizing\nMake 1 benchmark tougher","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/fb3638b3a7fee75a149b01838576972ee6769918"},{"sha":"c779095193b547650f84e56d020e278f4705c587","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Grammar transformers should propagate ProductionRule costs\n\nAdditional fixes:\n- move OneOf to grammars\n- Propagate Terminating in IntroduceRecCall","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/c779095193b547650f84e56d020e278f4705c587"},{"sha":"98e6ce8d2a89dd1d738905d9f87c2519ccd0a7a4","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Only one normalizing rule should be spawned per Node","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/98e6ce8d2a89dd1d738905d9f87c2519ccd0a7a4"},{"sha":"ff6eccf202fa7211cd234e6ad652fb3b6a69b7a9","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"New And/Or Search Strategies","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/ff6eccf202fa7211cd234e6ad652fb3b6a69b7a9"},{"sha":"2effd55b41c05f06a308c319d10b644c2a2fad58","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Discard invalid solutions, better reports in SynthesisPhase","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/2effd55b41c05f06a308c319d10b644c2a2fad58"},{"sha":"03c4cac91f31d1a99f08386f250186c406eb5fc3","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"Introduce 't' command for manual to print current tree","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/03c4cac91f31d1a99f08386f250186c406eb5fc3"},{"sha":"52cedb3900571632430a9601185b492ba4d1d7b7","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Improve ManualSearch interaction\n\n'h' command in ManualSearch prints a friendly message\nImprove messages during search\nGracefully exit at EOF","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/52cedb3900571632430a9601185b492ba4d1d7b7"},{"sha":"e88c52ed3697bf399946da1ecb6d5a88e95a5496","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Merge IndependentSplit and DetupleOutput. Remove DetupleOutput from Rules.all","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/e88c52ed3697bf399946da1ecb6d5a88e95a5496"},{"sha":"27f6947ca1fbb61c29af8ce3cad6f145c920a1d9","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Simplify CostModels (and InputSplit)","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/27f6947ca1fbb61c29af8ce3cad6f145c920a1d9"},{"sha":"bc72aa1c257e4b3d4e27d3546b6888bbde3a8fa7","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"Add current benchmarks, new benchmark List[T].indexOfOpt with variants","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/bc72aa1c257e4b3d4e27d3546b6888bbde3a8fa7"},{"sha":"5f331db6831102fca56cfca4e3c7cbe7228e7c28","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Printing fixes","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/5f331db6831102fca56cfca4e3c7cbe7228e7c28"},{"sha":"086d01dd522c80ff32e7574cbc2969d9a322c765","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Remove this var","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/086d01dd522c80ff32e7574cbc2969d9a322c765"},{"sha":"862c3b7cd9f3ad1422e9173639799a35a1559913","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Documentation","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/862c3b7cd9f3ad1422e9173639799a35a1559913"},{"sha":"4dcf4a0578ade17044976446b3883f7d193d5ed3","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Ground should be NormalizingRule","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/4dcf4a0578ade17044976446b3883f7d193d5ed3"},{"sha":"3b92bcc8bf259fd1222480c90cba2c614874700e","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Refactor CEGIS\n\nNondeterministicProgram encapsulates all handling of programs\nNonDeterministicProgram can be an object\nFix GrowableIterable and its usage in CEGIS\nDon't include productions that lead to empty nonterminals\nRemove activeBs (unused)\nMove validatePrograms within main CEGIS loop\nRemove usage of Streams\nFix usage of Either\nFix, comment and move things around\nAdd a check for redundat programs in (deactivated for now)","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/3b92bcc8bf259fd1222480c90cba2c614874700e"},{"sha":"4b31e7d284d4edc81449219f563243572903b4d5","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Refactor the various contexts","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/4b31e7d284d4edc81449219f563243572903b4d5"},{"sha":"92844fde17b87a81ad8a25db82b9fc0a990f756c","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Refactor Problem/ SourceInfo","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/92844fde17b87a81ad8a25db82b9fc0a990f756c"},{"sha":"26814792ee416bbe618f47137e18acef6ee9d025","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Remove bogus imports","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/26814792ee416bbe618f47137e18acef6ee9d025"},{"sha":"b643b5afe4ebf473a4f0728c272d112cc0a2f226","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Update repair\n\nRepair uses the same Cost as synthesis\nFix repair rules ordering","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/b643b5afe4ebf473a4f0728c272d112cc0a2f226"},{"sha":"7eb4359572e66eb143a8bb2286eb8180b204ffcc","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Use correct strategy","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/7eb4359572e66eb143a8bb2286eb8180b204ffcc"}]}