Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Semester project: corpus based synthesis #220

Open
wants to merge 79 commits into
base: master
Choose a base branch
from
Open

Semester project: corpus based synthesis #220

wants to merge 79 commits into from

Commits on Mar 14, 2016

  1. initial clean state

    @jmuth
    jmuth committed Mar 14, 2016
    Configuration menu
    Copy the full SHA
    18c2335 View commit details
    Browse the repository at this point in the history

  2. installation instruction for intelliJ

    @jmuth
    jmuth committed Mar 14, 2016
    Configuration menu
    Copy the full SHA
    3ab5823 View commit details
    Browse the repository at this point in the history

  3. spell correction

    @jmuth
    jmuth committed Mar 14, 2016
    Configuration menu
    Copy the full SHA
    98d4f54 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2016

  1. delete compile of smt-lib and bonsai in doc

    @jmuth
    jmuth committed Mar 15, 2016
    Configuration menu
    Copy the full SHA
    e9ea369 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2016

  1. lots of println to understand

    @jmuth
    jmuth committed Mar 23, 2016
    Configuration menu
    Copy the full SHA
    fb9a35c View commit details
    Browse the repository at this point in the history

  2. comparison phase squeletton

    @jmuth
    jmuth committed Mar 23, 2016
    Configuration menu
    Copy the full SHA
    a6d418b View commit details
    Browse the repository at this point in the history

  3. installation doc sbt wizard

    @jmuth
    jmuth committed Mar 23, 2016
    Configuration menu
    Copy the full SHA
    24c3a1a View commit details
    Browse the repository at this point in the history

  4. fetFunDef function

    @jmuth
    jmuth committed Mar 23, 2016
    Configuration menu
    Copy the full SHA
    d47b34f View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2016

  1. create report directly in ComparisonPhase

    @jmuth
    jmuth committed Mar 24, 2016
    Configuration menu
    Copy the full SHA
    9df3aad View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2016

  1. correctly extract an other program to compare it

    @jmuth
    jmuth committed Mar 30, 2016
    Configuration menu
    Copy the full SHA
    ad44cb6 View commit details
    Browse the repository at this point in the history

  2. add a BinaryTree2.scala exactly same as BinaryTree.scala in order to … 

    …compare them
    @jmuth
    jmuth committed Mar 30, 2016
    Configuration menu
    Copy the full SHA
    55a31b5 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2016

  1. some debug log

    @jmuth
    jmuth committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    48dcf91 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2016

  1. comparison works through ExprOps.normalize

    @jmuth
    jmuth committed Apr 5, 2016
    Configuration menu
    Copy the full SHA
    29d4192 View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2016

  1. refine the repporter and the ComparisonBase class, prepare body to re… 

    …cursively search into the tree similarities
    @jmuth
    jmuth committed Apr 14, 2016
    Configuration menu
    Copy the full SHA
    736d9fc View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2016

  1. try to separate pattern and value matching, problem with CaseClass id… 

    …entification
    @jmuth
    jmuth committed Apr 21, 2016
    Configuration menu
    Copy the full SHA
    4a51056 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2016

  1. move comparison by list in ComparatorByList in order to create new co… 

    …mparator
    @jmuth
    jmuth committed Apr 25, 2016
    Configuration menu
    Copy the full SHA
    e11d0b7 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2016

  1. initiate comparator by tree and try to set a comparator for class

    @jmuth
    jmuth committed Apr 26, 2016
    Configuration menu
    Copy the full SHA
    9e174ba View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2016

  1. compareClassDef but now... compare Type

    @jmuth
    jmuth committed Apr 28, 2016
    Configuration menu
    Copy the full SHA
    8af14f2 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2016

  1. try to set two proper method: by list and by recursion in tree

    @jmuth
    jmuth committed May 2, 2016
    Configuration menu
    Copy the full SHA
    f5885ac View commit details
    Browse the repository at this point in the history

  2. complete all possible Case for treeToList function

    @jmuth
    jmuth committed May 2, 2016
    Configuration menu
    Copy the full SHA
    d6d10c3 View commit details
    Browse the repository at this point in the history

Commits on May 4, 2016

  1. more flexible Phase, to add different comparator. Comparator trait. B… 

    …egining of a new comparator
    @jmuth
    jmuth committed May 4, 2016
    Configuration menu
    Copy the full SHA
    8625371 View commit details
    Browse the repository at this point in the history

Commits on May 5, 2016

  1. getChildren function, which will help to traverse tree

    @jmuth
    jmuth committed May 5, 2016
    Configuration menu
    Copy the full SHA
    b61bca6 View commit details
    Browse the repository at this point in the history

Commits on May 6, 2016

  1. all brand new TRAVERSE function, allowing to deal easily with tree

    @jmuth
    jmuth committed May 6, 2016
    Configuration menu
    Copy the full SHA
    81ce224 View commit details
    Browse the repository at this point in the history

  2. use Utils function in program

    @jmuth
    jmuth committed May 6, 2016
    Configuration menu
    Copy the full SHA
    cc51959 View commit details
    Browse the repository at this point in the history

  3. similarClassTree function which traverse both tree parrallely to find… 

    … similar structure
    @jmuth
    jmuth committed May 6, 2016
    Configuration menu
    Copy the full SHA
    a370fa3 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2016

  1. try to recompose the tree

    @jmuth
    jmuth committed May 8, 2016
    Configuration menu
    Copy the full SHA
    e6a7788 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2016

  1. Tree class

    @jmuth
    jmuth committed May 12, 2016
    Configuration menu
    Copy the full SHA
    af0a79a View commit details
    Browse the repository at this point in the history

  2. traverse two tree parallelely and create a list of all possible simil… 

    …ar tree. method finished but NOT tested
    @jmuth
    jmuth committed May 12, 2016
    Configuration menu
    Copy the full SHA
    3f5123b View commit details
    Browse the repository at this point in the history

Commits on May 13, 2016

  1. correction of a bug in ClassTree, now working for two identical progr… 

    …amm. Let's try for various cases
    @jmuth
    jmuth committed May 13, 2016
    Configuration menu
    Copy the full SHA
    3cb5ac9 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2016

  1. --debug option

    @jmuth
    jmuth committed May 18, 2016
    Configuration menu
    Copy the full SHA
    4beb597 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2016

  1. refine the ClassTree to extract not only the biggest tree, but all th… 

    …e exclusive ones. begin the last method that will compute a score for the Class Tree
    @jmuth
    jmuth committed May 19, 2016
    Configuration menu
    Copy the full SHA
    e0a098e View commit details
    Browse the repository at this point in the history

  2. compute score with Geometric Means. Begin with scoreMatchExpr

    @jmuth
    jmuth committed May 19, 2016
    Configuration menu
    Copy the full SHA
    d6cf899 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2016

  1. begin new comparator handeling holes

    @jmuth
    jmuth committed Jun 2, 2016
    Configuration menu
    Copy the full SHA
    c96d8f4 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2016

  1. comparator ScoreTreeWithHoles, all function to traverse and compute s… 

    …cores
    @jmuth
    jmuth committed Jun 5, 2016
    Configuration menu
    Copy the full SHA
    3873369 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2016

  1. new branch ScoreTree and clean project

    @jmuth
    jmuth committed Jun 6, 2016
    Configuration menu
    Copy the full SHA
    a70ae8e View commit details
    Browse the repository at this point in the history

  2. add place for extra information in report

    @jmuth
    jmuth committed Jun 6, 2016
    Configuration menu
    Copy the full SHA
    c2dce29 View commit details
    Browse the repository at this point in the history

  3. extra info in render table

    @jmuth
    jmuth committed Jun 6, 2016
    Configuration menu
    Copy the full SHA
    a7e4df1 View commit details
    Browse the repository at this point in the history

  4. size of function in report

    @jmuth
    jmuth committed Jun 6, 2016
    Configuration menu
    Copy the full SHA
    21bf24c View commit details
    Browse the repository at this point in the history

  5. no news

    @jmuth
    jmuth committed Jun 6, 2016
    Configuration menu
    Copy the full SHA
    9faaf79 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2016

  1. minor typo in doc

    @jmuth
    jmuth committed Jun 7, 2016
    Configuration menu
    Copy the full SHA
    35a3664 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2016

  1. fix merge conflict

    @jmuth
    jmuth committed Jun 8, 2016
    Configuration menu
    Copy the full SHA
    3df1716 View commit details
    Browse the repository at this point in the history

  2. corrections due to changed in ExprOps.normalizeStructure and to Share… 

    …dOption became GlobalOption
    @jmuth
    jmuth committed Jun 8, 2016
    Configuration menu
    Copy the full SHA
    dc9218a View commit details
    Browse the repository at this point in the history

  3. clear some println debug messages

    @jmuth
    jmuth committed Jun 8, 2016
    Configuration menu
    Copy the full SHA
    3481965 View commit details
    Browse the repository at this point in the history

  4. fix the new way to produce report after update master

    @jmuth
    jmuth committed Jun 8, 2016
    Configuration menu
    Copy the full SHA
    8aa1250 View commit details
    Browse the repository at this point in the history

  5. clean some comments put during dev phase

    @jmuth
    jmuth committed Jun 8, 2016
    Configuration menu
    Copy the full SHA
    56dd58e View commit details
    Browse the repository at this point in the history

  6. clean import in main

    @jmuth
    jmuth committed Jun 8, 2016
    Configuration menu
    Copy the full SHA
    67ec9ac View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'upstream/master'

    @jmuth
    jmuth committed Jun 8, 2016
    Configuration menu
    Copy the full SHA
    874182b View commit details
    Browse the repository at this point in the history

  8. refact with better name and check comments

    @jmuth
    jmuth committed Jun 8, 2016
    Configuration menu
    Copy the full SHA
    f40d4dd View commit details
    Browse the repository at this point in the history

  9. refact with better name and check comments part 2

    @jmuth
    jmuth committed Jun 8, 2016
    Configuration menu
    Copy the full SHA
    99663a7 View commit details
    Browse the repository at this point in the history

  10. create Completor object

    @jmuth
    jmuth committed Jun 8, 2016
    Configuration menu
    Copy the full SHA
    47f0543 View commit details
    Browse the repository at this point in the history

  11. implement Completor who find a suggestion for a Hole.. code compile b… 

    …ut not tested.. tired, will test it tomorrow
    @jmuth
    jmuth committed Jun 8, 2016
    Configuration menu
    Copy the full SHA
    00d23d5 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2016

  1. autocompletion compile and run, but do not find the pair

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    3613b5a View commit details
    Browse the repository at this point in the history

  2. autocompletion works, now testing to fill the hole, safety backup

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    770d168 View commit details
    Browse the repository at this point in the history

  3. finish to fill the hole and print the result in Reporter

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    024de48 View commit details
    Browse the repository at this point in the history

  4. prettier Report and comments in Comparator

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    63851ec View commit details
    Browse the repository at this point in the history

  5. back up before trying to reuse DirectScore method in Completor

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    0d68fd9 View commit details
    Browse the repository at this point in the history

  6. Comparator is entirely based on ComparisonDirectScore to compute score

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    e2dc98d View commit details
    Browse the repository at this point in the history

  7. clean useless idea file, add precision in documentation

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    444f176 View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'upstream/master'

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    1d9de49 View commit details
    Browse the repository at this point in the history

  9. clean dummy changes made in wrong files

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    71644f2 View commit details
    Browse the repository at this point in the history

  10. delete test.sc, add comment in Comparator

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    18a80e1 View commit details
    Browse the repository at this point in the history

  11. Finally a better way to score tree

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    64ebde2 View commit details
    Browse the repository at this point in the history

  12. backup before trying a last refact

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    f4df253 View commit details
    Browse the repository at this point in the history

  13. refact (Expr, Expr, Double) to Value case class for clarity

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    fe0ce67 View commit details
    Browse the repository at this point in the history

  14. finish to merge DirectScore and Comparator

    @jmuth
    jmuth committed Jun 9, 2016
    Configuration menu
    Copy the full SHA
    c6ae3d3 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2016

  1. rename classes and delete old files

    @jmuth
    jmuth committed Jun 10, 2016
    Configuration menu
    Copy the full SHA
    c333f04 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master'

    @jmuth
    jmuth committed Jun 10, 2016
    Configuration menu
    Copy the full SHA
    7ecfbbe View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2016

  1. corpus modifications

    @jmuth
    jmuth committed Jun 12, 2016
    Configuration menu
    Copy the full SHA
    ce519d6 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2016

  1. refact to camelcase

    @jmuth
    jmuth committed Jun 14, 2016
    Configuration menu
    Copy the full SHA
    094dcb5 View commit details
    Browse the repository at this point in the history

  2. implicit context and debug option

    @jmuth
    jmuth committed Jun 14, 2016
    Configuration menu
    Copy the full SHA
    101df6a View commit details
    Browse the repository at this point in the history

  3. List.intesect to define number of matching pairs

    @jmuth
    jmuth committed Jun 14, 2016
    Configuration menu
    Copy the full SHA
    d5de9f3 View commit details
    Browse the repository at this point in the history

  4. change println to reporter.debug

    @jmuth
    jmuth committed Jun 14, 2016
    Configuration menu
    Copy the full SHA
    5bd3557 View commit details
    Browse the repository at this point in the history

  5. add DebugSectionComparison

    @jmuth
    jmuth committed Jun 14, 2016
    Configuration menu
    Copy the full SHA
    6349eb2 View commit details
    Browse the repository at this point in the history

  6. indentation

    @jmuth
    jmuth committed Jun 14, 2016
    Configuration menu
    Copy the full SHA
    0b6cae7 View commit details
    Browse the repository at this point in the history

  7. remove useless import

    @jmuth
    jmuth committed Jun 14, 2016
    Configuration menu
    Copy the full SHA
    9544be2 View commit details
    Browse the repository at this point in the history

  8. myTree renamed FuncTree

    @jmuth
    jmuth committed Jun 14, 2016
    Configuration menu
    Copy the full SHA
    5ee5af2 View commit details
    Browse the repository at this point in the history

  9. use pre-existing GenTreeOps.preMap to fill the hole

    @jmuth
    jmuth committed Jun 14, 2016
    Configuration menu
    Copy the full SHA
    2ad2671 View commit details
    Browse the repository at this point in the history

  10. use GenTreeOps.fold to collect Expr and Class

    @jmuth
    jmuth committed Jun 14, 2016
    Configuration menu
    Copy the full SHA
    7e0069c View commit details
    Browse the repository at this point in the history

  11. comment why no use of GenTreeOps.collect

    @jmuth
    jmuth committed Jun 14, 2016
    Configuration menu
    Copy the full SHA
    eeaa8c5 View commit details
    Browse the repository at this point in the history