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

Nopol actor #10

Merged
merged 19 commits into from
Sep 22, 2016
Merged

Nopol actor #10

merged 19 commits into from
Sep 22, 2016

Commits on Sep 16, 2016

  1. add Akka Actor

    @danglotb
    danglotb committed Sep 16, 2016
    Configuration menu
    Copy the full SHA
    b690531 View commit details
    Browse the repository at this point in the history

  2. change visibility for actor

    @danglotb
    danglotb committed Sep 16, 2016
    Configuration menu
    Copy the full SHA
    375ab23 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/SpoonLabs/nopol

    @danglotb
    danglotb committed Sep 16, 2016
    Configuration menu
    Copy the full SHA
    ae38e71 View commit details
    Browse the repository at this point in the history

  4. send patches as string

    @danglotb
    danglotb committed Sep 16, 2016
    Configuration menu
    Copy the full SHA
    29bb290 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2016

  1. remove unused file

    @danglotb
    danglotb committed Sep 19, 2016
    Configuration menu
    Copy the full SHA
    d2930fc View commit details
    Browse the repository at this point in the history

  2. NoPol return the list of Patches

    @danglotb
    danglotb committed Sep 19, 2016
    Configuration menu
    Copy the full SHA
    3785af8 View commit details
    Browse the repository at this point in the history

  3. add Serialization of Patches

    @danglotb
    danglotb committed Sep 19, 2016
    Configuration menu
    Copy the full SHA
    083c7a0 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2016

  1. remove Config singleton in actor

    @danglotb
    danglotb committed Sep 20, 2016
    Configuration menu
    Copy the full SHA
    99053ee View commit details
    Browse the repository at this point in the history

  2. refactor: input is the Object Config of NoPol

    @danglotb
    danglotb committed Sep 20, 2016
    Configuration menu
    Copy the full SHA
    b261683 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/SpoonLabs/nopol into nopo… 

    …l-actor
    @danglotb
    danglotb committed Sep 20, 2016
    Configuration menu
    Copy the full SHA
    e094ed0 View commit details
    Browse the repository at this point in the history

  4. move utility method

    @danglotb
    danglotb committed Sep 20, 2016
    Configuration menu
    Copy the full SHA
    24b0565 View commit details
    Browse the repository at this point in the history

  5. remove static reference to NoPolActor and add a new object used as me… 

    …ssage
    @danglotb
    danglotb committed Sep 20, 2016
    Configuration menu
    Copy the full SHA
    78a7d69 View commit details
    Browse the repository at this point in the history

  6. add use case for NoPol Actor

    @danglotb
    danglotb committed Sep 20, 2016
    Configuration menu
    Copy the full SHA
    08d23a7 View commit details
    Browse the repository at this point in the history

  7. add relative path to the z3 lib

    @danglotb
    danglotb committed Sep 20, 2016
    Configuration menu
    Copy the full SHA
    60a9716 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2016

  1. reformat code

    @danglotb
    danglotb committed Sep 21, 2016
    Configuration menu
    Copy the full SHA
    2125221 View commit details
    Browse the repository at this point in the history

  2. refactor: synthetizer return now a List of patches

    @danglotb
    danglotb committed Sep 21, 2016
    Configuration menu
    Copy the full SHA
    e64d89e View commit details
    Browse the repository at this point in the history

  3. utility method

    @danglotb
    danglotb committed Sep 21, 2016
    Configuration menu
    Copy the full SHA
    5bccc34 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'results-list' of github.com:danglotb/nopol into nopol-a… 

    …ctor
    @danglotb
    danglotb committed Sep 21, 2016
    Configuration menu
    Copy the full SHA
    62a1532 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' of https://github.com/SpoonLabs/nopol into nopo… 

    …l-actor
    @danglotb
    danglotb committed Sep 21, 2016
    Configuration menu
    Copy the full SHA
    1bff39e View commit details
    Browse the repository at this point in the history