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.

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

loop-break-value (issue #961) #1624

Merged
merged 14 commits into from
Oct 22, 2016
Merged

loop-break-value (issue #961) #1624

merged 14 commits into from
Oct 22, 2016

Commits on May 20, 2016

  1. Configuration menu
    Copy the full SHA
    a3316b9 View commit details
    Browse the repository at this point in the history
  2. Reference existing work

    dhardy committed May 20, 2016
    Configuration menu
    Copy the full SHA
    7fda498 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    75b82f4 View commit details
    Browse the repository at this point in the history
  4. A few suggestions (feel free to reject! :))

    I can't make line edits without an open PR, so I did this instead.
    Ericson2314 committed May 20, 2016
    Configuration menu
    Copy the full SHA
    b7ca757 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    57a00c0 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    4500c23 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    ba6b0cc View commit details
    Browse the repository at this point in the history
  8. Require break expr to converge

    dhardy committed May 20, 2016
    Configuration menu
    Copy the full SHA
    3651781 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2016

  1. Configuration menu
    Copy the full SHA
    5254944 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    894ae7c View commit details
    Browse the repository at this point in the history

Commits on May 26, 2016

  1. Allow break values to diverge again

    This reverts commit 3651781.
    dhardy committed May 26, 2016
    Configuration menu
    Copy the full SHA
    d6e1594 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    32bdf90 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2016

  1. Configuration menu
    Copy the full SHA
    e9495fb View commit details
    Browse the repository at this point in the history
  2. Merge pull request #2 from nagisa/loop-break-pr

    Refine rough edges wrt coercion
    dhardy authored Oct 5, 2016
    Configuration menu
    Copy the full SHA
    b746484 View commit details
    Browse the repository at this point in the history