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

Fix Makefile #51

Open
wants to merge 80 commits into
base: flambda2.0-toplevel_exprs
Choose a base branch
from

Commits on Dec 20, 2019

  1. Split code from closures

    mshinwell committed Dec 20, 2019
    Configuration menu
    Copy the full SHA
    643da00 View commit details
    Browse the repository at this point in the history
  2. Adapt Un_cps to let_code

    lthls authored and mshinwell committed Dec 20, 2019
    Configuration menu
    Copy the full SHA
    cdaf893 View commit details
    Browse the repository at this point in the history
  3. Fix Code_id.code_symbol

    lthls authored and mshinwell committed Dec 20, 2019
    Configuration menu
    Copy the full SHA
    d225d11 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    acb44b3 View commit details
    Browse the repository at this point in the history
  5. Minor changes for code

    mshinwell committed Dec 20, 2019
    Configuration menu
    Copy the full SHA
    817432c View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    c2efc88 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    b477fc0 View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2019

  1. work

    mshinwell committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    354963b View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2019

  1. terms

    mshinwell committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    724624e View commit details
    Browse the repository at this point in the history
  2. terms

    mshinwell committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    8572790 View commit details
    Browse the repository at this point in the history
  3. terms

    mshinwell committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    e0a9f95 View commit details
    Browse the repository at this point in the history
  4. terms

    mshinwell committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    176afb3 View commit details
    Browse the repository at this point in the history
  5. terms

    mshinwell committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    35dfe82 View commit details
    Browse the repository at this point in the history
  6. terms

    mshinwell committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    1d15de1 View commit details
    Browse the repository at this point in the history
  7. terms

    mshinwell committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    4852ac1 View commit details
    Browse the repository at this point in the history
  8. terms

    mshinwell committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    4364f71 View commit details
    Browse the repository at this point in the history
  9. terms

    mshinwell committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    a1a8ea2 View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2020

  1. terms

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    b995571 View commit details
    Browse the repository at this point in the history
  2. terms - compiles

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    46e42ba View commit details
    Browse the repository at this point in the history
  3. terms - compiles

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    3d75d6f View commit details
    Browse the repository at this point in the history
  4. terms - compiles

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    1325228 View commit details
    Browse the repository at this point in the history
  5. terms - compiles

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    615ecd2 View commit details
    Browse the repository at this point in the history
  6. terms - compiles

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    2deb57d View commit details
    Browse the repository at this point in the history
  7. terms - compiles

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    1f87b2d View commit details
    Browse the repository at this point in the history
  8. terms - compiles

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    63ebe6a View commit details
    Browse the repository at this point in the history
  9. terms - compiles

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    4d920fe View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    a1f5e45 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    ab9a8a9 View commit details
    Browse the repository at this point in the history
  12. deletion

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    94c2c1e View commit details
    Browse the repository at this point in the history
  13. free names / deletion

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    a2e22b0 View commit details
    Browse the repository at this point in the history
  14. free names / deletion

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    9f5fcb9 View commit details
    Browse the repository at this point in the history
  15. free names / deletion

    mshinwell committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    7d6982f View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2020

  1. free names / deletion

    mshinwell committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    566b2b1 View commit details
    Browse the repository at this point in the history
  2. printing

    mshinwell committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    eb76c4b View commit details
    Browse the repository at this point in the history
  3. printing

    mshinwell committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    11953fb View commit details
    Browse the repository at this point in the history
  4. printing

    mshinwell committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    cb05d6b View commit details
    Browse the repository at this point in the history
  5. printing

    mshinwell committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    f74b5ce View commit details
    Browse the repository at this point in the history
  6. work

    mshinwell committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    9c745bc View commit details
    Browse the repository at this point in the history
  7. work

    mshinwell committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    56629d6 View commit details
    Browse the repository at this point in the history
  8. work

    mshinwell committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    c08aa68 View commit details
    Browse the repository at this point in the history
  9. SCC compiles

    mshinwell committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    8dd324b View commit details
    Browse the repository at this point in the history
  10. SCC compiles

    mshinwell committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    6020ed9 View commit details
    Browse the repository at this point in the history
  11. work

    mshinwell committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    0b91a92 View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2020

  1. Lifting

    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    03f2811 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    007a152 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    61cbfc3 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    a9950c4 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    19904d5 View commit details
    Browse the repository at this point in the history
  6. Remove [Closure_element]

    This should stop confusing type errors between Closure_id.t and
    Var_within_closure.t.  It also enables separate colouring for
    closure IDs and closure vars.
    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    53c40d3 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    238e139 View commit details
    Browse the repository at this point in the history
  8. Revert a9950c4

    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    7f3bac6 View commit details
    Browse the repository at this point in the history
  9. Constant sharing

    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    b5eb487 View commit details
    Browse the repository at this point in the history
  10. Colours

    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    a231adf View commit details
    Browse the repository at this point in the history
  11. Indentation

    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    f5a5272 View commit details
    Browse the repository at this point in the history
  12. Colours

    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    d217ebf View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    1547823 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    094ec60 View commit details
    Browse the repository at this point in the history
  15. Formatting

    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    f2641ff View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    e540556 View commit details
    Browse the repository at this point in the history
  17. Fixing proving of closures

    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    b4b76fb View commit details
    Browse the repository at this point in the history
  18. Lifting

    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    6289655 View commit details
    Browse the repository at this point in the history
  19. Various lifting fixes

    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    76d2bd0 View commit details
    Browse the repository at this point in the history
  20. New example

    mshinwell committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    49e23f6 View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2020

  1. Configuration menu
    Copy the full SHA
    7ddccca View commit details
    Browse the repository at this point in the history
  2. Improve diagnostic

    mshinwell committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    6feae67 View commit details
    Browse the repository at this point in the history
  3. Unions

    mshinwell committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    a6a0a1b View commit details
    Browse the repository at this point in the history
  4. Fix for invariant check

    mshinwell committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    a780c11 View commit details
    Browse the repository at this point in the history
  5. debugging

    mshinwell committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    b1ef7cb View commit details
    Browse the repository at this point in the history
  6. comments

    mshinwell committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    c5ab772 View commit details
    Browse the repository at this point in the history
  7. Remove cruft from tests8

    mshinwell committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    e7d9179 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    cd6c6ef View commit details
    Browse the repository at this point in the history
  9. Remove debug

    mshinwell committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    3f5b478 View commit details
    Browse the repository at this point in the history
  10. Fix?

    mshinwell committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    b48faa5 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2020

  1. Configuration menu
    Copy the full SHA
    9b5f7cf View commit details
    Browse the repository at this point in the history
  2. Fix Un_cps

    lthls authored and mshinwell committed Jan 9, 2020
    Configuration menu
    Copy the full SHA
    4f98425 View commit details
    Browse the repository at this point in the history
  3. Scope checks

    lthls authored and mshinwell committed Jan 9, 2020
    Configuration menu
    Copy the full SHA
    f16dcbd View commit details
    Browse the repository at this point in the history
  4. Address review comments

    lthls authored and mshinwell committed Jan 9, 2020
    Configuration menu
    Copy the full SHA
    64a1fca View commit details
    Browse the repository at this point in the history
  5. Get Compilation_unit correct for external symbols

    Allow undefined external symbols / code IDs in check in Un_cps
    mshinwell committed Jan 9, 2020
    Configuration menu
    Copy the full SHA
    418eb50 View commit details
    Browse the repository at this point in the history
  6. Various fixes

    mshinwell committed Jan 9, 2020
    Configuration menu
    Copy the full SHA
    ef52394 View commit details
    Browse the repository at this point in the history
  7. Fixes for the Makefile build

    lthls committed Jan 9, 2020
    Configuration menu
    Copy the full SHA
    0b6b7db View commit details
    Browse the repository at this point in the history