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

merge ivory : jal-master into master #74

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

merge ivory : jal-master into master #74

wants to merge 12 commits into from

Commits on Apr 18, 2016

  1. ivory: newtype experiment.

    @leepike
    leepike committed Apr 18, 2016
    Configuration menu
    Copy the full SHA
    cf01956 View commit details
    Browse the repository at this point in the history

  2. newtypes

    @GAJaloyan
    GAJaloyan committed Apr 18, 2016
    Configuration menu
    Copy the full SHA
    d9f0e42 View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2016

  1. adding inewtype

    @GAJaloyan
    GAJaloyan committed Apr 21, 2016
    Configuration menu
    Copy the full SHA
    e078093 View commit details
    Browse the repository at this point in the history

  2. travis debug

    @GAJaloyan
    GAJaloyan committed Apr 21, 2016
    Configuration menu
    Copy the full SHA
    f886fa7 View commit details
    Browse the repository at this point in the history

  3. adding custom runIvory function

    @GAJaloyan
    GAJaloyan committed Apr 21, 2016
    Configuration menu
    Copy the full SHA
    da2be31 View commit details
    Browse the repository at this point in the history

  4. better function naming

    @GAJaloyan
    GAJaloyan committed Apr 21, 2016
    Configuration menu
    Copy the full SHA
    c2682ca View commit details
    Browse the repository at this point in the history

Commits on May 3, 2016

  1. -Wconversion warning. Casting the result to the wanted type

    @GAJaloyan
    GAJaloyan committed May 3, 2016
    Configuration menu
    Copy the full SHA
    7b24b26 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2016

  1. Merge branch 'master' of https://github.com/GaloisInc/ivory into jal-… 

    …master
    @GAJaloyan
    GAJaloyan committed Jun 29, 2016
    Configuration menu
    Copy the full SHA
    76311ce View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2016

  1. Merge branch 'master' of https://github.com/GaloisInc/ivory into jal-… 

    …master
    root committed Jul 6, 2016
    Configuration menu
    Copy the full SHA
    d1e7454 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/GaloisInc/ivory into jal-… 

    …master
    root committed Jul 6, 2016
    Configuration menu
    Copy the full SHA
    db9d636 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'jal-master' of https://github.com/GaloisInc/ivory into … 

    …jal-master
    @GAJaloyan
    GAJaloyan committed Jul 6, 2016
    Configuration menu
    Copy the full SHA
    467c28d View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2016

  1. adding comment for the supply

    @GAJaloyan
    GAJaloyan committed Jul 7, 2016
    Configuration menu
    Copy the full SHA
    37be9f1 View commit details
    Browse the repository at this point in the history