Permalink
Commits on Sep 12, 2016
  1. some fix for package-less objects

    colder authored and mantognini committed Mar 4, 2016
Commits on Jul 11, 2016
  1. Do not introduce-rec-calls

    colder authored and manoskouk committed Jul 1, 2016
  2. Fix MutableExpr being kept and updated

    colder authored and manoskouk committed Jul 1, 2016
  3. This is crazy

    colder authored and manoskouk committed Jul 1, 2016
  4. Duplicate program once within CEGIS

    colder authored and manoskouk committed Jun 28, 2016
  5. bleh

    colder authored and manoskouk committed Jun 28, 2016
  6. Fixes build

    colder authored and manoskouk committed Jun 28, 2016
  7. cegises by sizes

    colder authored and manoskouk committed Jun 28, 2016
  8. yeyeyey

    colder authored and manoskouk committed Jun 14, 2016
  9. Implement BottomUp TEGIS

    colder authored and manoskouk committed Jun 14, 2016
  10. Size bound TEGIS

    colder authored and manoskouk committed Jun 8, 2016
  11. Generate better tests

    colder authored and manoskouk committed Jun 8, 2016
  12. Only In/Out for test-based specs,

    colder authored and manoskouk committed May 27, 2016
  13. Simplify preconditions when possible

    colder authored and manoskouk committed May 27, 2016
  14. Types are correct now

    colder authored and manoskouk committed May 19, 2016
  15. Tests-based problems

    colder authored and manoskouk committed May 10, 2016
  16. HOFDecomp

    colder authored and manoskouk committed May 3, 2016
  17. Make sure types are correctly instantiated.

    colder authored and manoskouk committed May 19, 2016
    Previously, (T, T) <?: (T, String) would return
    
    (T, String) with T -> String,
    
    now it returns:
    
    (String, String) with T -> String
Commits on Mar 22, 2016
  1. Refactor grammars, introduce Labels, and Label Aspects

    colder committed Mar 4, 2016
     * Expression grammars are now alwayse 'Labels -> Expr', simple grammars
       that are 'Type -> Expr' can simply extend SimpleExpressionGrammars
    
     * Labels now have Aspects. A label aspect describes a particular
       feature of the label (e.g. its size), as well as how this aspect
       applies to sub-productions.
    
       Aspects describe how sub-productions are generated/filtered/modified.
       See comments in Aspect for more information
Commits on Mar 17, 2016
  1. New And/Or Search Strategies

    colder authored and manoskouk committed Feb 5, 2016
Commits on Feb 15, 2016
  1. woops

    colder committed Feb 15, 2016
  2. Always pass monitors, improve them

    colder authored and samarion committed Feb 4, 2016
  3. Better asString for models

    colder authored and samarion committed Feb 4, 2016