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

Nightly Staging #27

Open
wants to merge 588 commits into
base: main
Choose a base branch
from
Open

Nightly Staging #27

wants to merge 588 commits into from
This pull request is big! We’re only showing the most recent 250 commits.

Commits on May 30, 2023

  1. Merge defmac

    prozacchiwawa committed May 30, 2023
    Configuration menu
    Copy the full SHA
    57e791e View commit details
    Browse the repository at this point in the history

Commits on May 31, 2023

  1. Configuration menu
    Copy the full SHA
    6bc7bd2 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2023

  1. Make sure we grab the arguments of the lambda we're evaluating so cod…

    …e generation on behalf of (com ...) can function properly
    prozacchiwawa committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    f8b665d View commit details
    Browse the repository at this point in the history
  2. fmt + clippy

    prozacchiwawa committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    8b19478 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    35720bd View commit details
    Browse the repository at this point in the history
  4. Merge pull request #176 from Chia-Network/20230531-lambda-strict-test

    Show strictness in lambda, contrasted with non-strict interpretation
    prozacchiwawa authored Jun 2, 2023
    Configuration menu
    Copy the full SHA
    651c74f View commit details
    Browse the repository at this point in the history
  5. clippy

    prozacchiwawa committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    7e05c1d View commit details
    Browse the repository at this point in the history
  6. fmt

    prozacchiwawa committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    8689af2 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    c6cb192 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    b4c400b View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    951a2aa View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2023

  1. Optimizer reboot: isolate 22 style frontend optimization to == 22 fir…

    …st ... we might relax this
    prozacchiwawa committed Jun 3, 2023
    Configuration menu
    Copy the full SHA
    c357c29 View commit details
    Browse the repository at this point in the history
  2. Restrict more optimization settings. We'll re-place optimization with…

    … nicer architecture and more verification
    prozacchiwawa committed Jun 3, 2023
    Configuration menu
    Copy the full SHA
    07e9e58 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2023

  1. Add a compile context we can pass down that collects various objects …

    …we need. Considering whether to put opts in there too.
    prozacchiwawa committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    5d84e3d View commit details
    Browse the repository at this point in the history
  2. fmt + clippy

    prozacchiwawa committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    d0361d0 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2023

  1. Configuration menu
    Copy the full SHA
    10534fb View commit details
    Browse the repository at this point in the history
  2. More context

    prozacchiwawa committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    629bb05 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d8afe2a View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    d5a7f2f View commit details
    Browse the repository at this point in the history
  5. Extracted all optimization traffic from codegen to be available via a…

    … facade over an optimizer trait
    prozacchiwawa committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    519bb3b View commit details
    Browse the repository at this point in the history
  6. fmt + clippy

    prozacchiwawa committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    fee3257 View commit details
    Browse the repository at this point in the history
  7. All tests pass, all optimization routed through the optimizer object …

    …owned by context. Next, to separate individual optimization states into separate strategies
    prozacchiwawa committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    c5a14c1 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    6a81f31 View commit details
    Browse the repository at this point in the history
  9. Revert "Start moving to strategy objects"

    This reverts commit 6a81f31.
    prozacchiwawa committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    351b92d View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    c84f203 View commit details
    Browse the repository at this point in the history
  11. Refine a bit

    prozacchiwawa committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    8fcaaaf View commit details
    Browse the repository at this point in the history
  12. fmt

    prozacchiwawa committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    57f97e7 View commit details
    Browse the repository at this point in the history
  13. Add optimize/mod.rs

    prozacchiwawa committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    6f23e1d View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    74bbbc8 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    029599b View commit details
    Browse the repository at this point in the history
  16. fmt + clippy

    prozacchiwawa committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    0cac400 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2023

  1. Configuration menu
    Copy the full SHA
    0e6673e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7004baa View commit details
    Browse the repository at this point in the history
  3. fmt + clippy

    prozacchiwawa committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    3823396 View commit details
    Browse the repository at this point in the history
  4. Add another test

    prozacchiwawa committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    07e6274 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2023

  1. Configuration menu
    Copy the full SHA
    cf552dd View commit details
    Browse the repository at this point in the history
  2. fmt + clippy

    prozacchiwawa committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    52f1691 View commit details
    Browse the repository at this point in the history
  3. more clippy

    prozacchiwawa committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    3c1e2f5 View commit details
    Browse the repository at this point in the history
  4. More clippy

    prozacchiwawa committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    d27c411 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    b8dbc03 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    4111a24 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2023

  1. fmt

    prozacchiwawa committed Jun 10, 2023
    Configuration menu
    Copy the full SHA
    3a944ab View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    026bd2e View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2023

  1. Configuration menu
    Copy the full SHA
    dea2617 View commit details
    Browse the repository at this point in the history
  2. fmt

    prozacchiwawa committed Jun 11, 2023
    Configuration menu
    Copy the full SHA
    583d056 View commit details
    Browse the repository at this point in the history
  3. CSE smoke test

    prozacchiwawa committed Jun 11, 2023
    Configuration menu
    Copy the full SHA
    e445f20 View commit details
    Browse the repository at this point in the history
  4. Add cse module

    prozacchiwawa committed Jun 11, 2023
    Configuration menu
    Copy the full SHA
    c03576f View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2023

  1. Configuration menu
    Copy the full SHA
    9ae9222 View commit details
    Browse the repository at this point in the history
  2. fmt + clippy

    prozacchiwawa committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    d8f7bd8 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6a2ca82 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    8e23f40 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    0152b3e View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    098a55d View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2023

  1. Configuration menu
    Copy the full SHA
    9961bc5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bd59897 View commit details
    Browse the repository at this point in the history
  3. Fix some aspects of optimization, we can now fully optimize a constan…

    …t, recursive function which is preprocessed
    prozacchiwawa committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    19cbc53 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    9e4979f View commit details
    Browse the repository at this point in the history
  5. Merge up defmac fix

    prozacchiwawa committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    0f02de9 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    eff4047 View commit details
    Browse the repository at this point in the history
  7. fmt

    prozacchiwawa committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    7b14040 View commit details
    Browse the repository at this point in the history
  8. Add test file

    prozacchiwawa committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    3198e3f View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    2ab3b9e View commit details
    Browse the repository at this point in the history
  10. clippy

    prozacchiwawa committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    428ce02 View commit details
    Browse the repository at this point in the history
  11. fmt

    prozacchiwawa committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    c13e19e View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. Configuration menu
    Copy the full SHA
    2d80d0b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e649201 View commit details
    Browse the repository at this point in the history
  3. fmt + clippy

    prozacchiwawa committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    a191d58 View commit details
    Browse the repository at this point in the history
  4. fmt

    prozacchiwawa committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    563db17 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    f19279c View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2023

  1. Ensure that we don't trick our machinery into thinking wierd atoms ar…

    …e variable names. Use integers
    prozacchiwawa committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    ee5a485 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. Properly reify the environment for downstream calls, will add explici…

    …t path optimization to that
    prozacchiwawa committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    c271a64 View commit details
    Browse the repository at this point in the history
  2. Add test

    prozacchiwawa committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    2e8ae1a View commit details
    Browse the repository at this point in the history
  3. Remove spam

    prozacchiwawa committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    0fe4e7a View commit details
    Browse the repository at this point in the history
  4. Ensure different arrangements get the right answers (X appears 3 time…

    …s, Y 2 in the resulting multiply)
    prozacchiwawa committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    a001ec5 View commit details
    Browse the repository at this point in the history
  5. fmt

    prozacchiwawa committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    18b74da View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    9ce9e7b View commit details
    Browse the repository at this point in the history
  7. fmt

    prozacchiwawa committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    09c0fc1 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    fd9c877 View commit details
    Browse the repository at this point in the history
  9. fmt

    prozacchiwawa committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    1ec5d4c View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2023

  1. Configuration menu
    Copy the full SHA
    4b7b0bf View commit details
    Browse the repository at this point in the history
  2. fmt + clippy

    prozacchiwawa committed Jun 17, 2023
    Configuration menu
    Copy the full SHA
    22316df View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    06733de View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    93699a7 View commit details
    Browse the repository at this point in the history
  5. fmt

    prozacchiwawa committed Jun 17, 2023
    Configuration menu
    Copy the full SHA
    6bed699 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    1206989 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    35371c7 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2023

  1. Add some nail down tests of the preprocessor interacting with cl23, r…

    …un unoptimized code in the evaulator at present. Considering ways of communicating that the left env has been optimized out if it has.
    prozacchiwawa committed Jun 18, 2023
    Configuration menu
    Copy the full SHA
    aeb40e7 View commit details
    Browse the repository at this point in the history
  2. fmt

    prozacchiwawa committed Jun 18, 2023
    Configuration menu
    Copy the full SHA
    34afb98 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    034991f View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    4423811 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2023

  1. Experiment with a pseudo-variable meaning 'the notion of the left env…

    … based on what this function semantically passes on', regardless of how it's built at the ABI level
    prozacchiwawa committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    2af7a80 View commit details
    Browse the repository at this point in the history
  2. separate uses of @ meaning 'an environment we can pass down to a use …

    …of com in this context' and meaning 'an environment we can use to pass on this function's environment shape regardless of its inline status'
    prozacchiwawa committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    6564cc6 View commit details
    Browse the repository at this point in the history
  3. fmt

    prozacchiwawa committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    685b8df View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    1799dd6 View commit details
    Browse the repository at this point in the history
  5. remove spam

    prozacchiwawa committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    38037a6 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    3ad0053 View commit details
    Browse the repository at this point in the history
  7. fmt

    prozacchiwawa committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    973dafc View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2023

  1. Ensure we don't compile defmac forms as defmacro. They should not exi…

    …st at the frontend layer of the compiler proper.
    prozacchiwawa committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    527e42c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1cfdae4 View commit details
    Browse the repository at this point in the history
  3. fmt + clippy

    prozacchiwawa committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    e525ef6 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e02e48a View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2023

  1. Configuration menu
    Copy the full SHA
    7d6885d View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. Configuration menu
    Copy the full SHA
    51a0405 View commit details
    Browse the repository at this point in the history
  2. Add test programs

    prozacchiwawa committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    5342110 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    0a2416e View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    60ef43a View commit details
    Browse the repository at this point in the history
  5. fmt + clippy

    prozacchiwawa committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    b7eae95 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    2884260 View commit details
    Browse the repository at this point in the history
  7. fmt

    prozacchiwawa committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    46df448 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    c578892 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    e9e0c34 View commit details
    Browse the repository at this point in the history
  10. Improve macros by renaming function arguments before interning them, …

    …allowing us to find a few more problems earlier. This revealed an old bug in the renamer which is corrected. It would always have broken potentially valid programs, so won't break anything existing.
    prozacchiwawa committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    2365839 View commit details
    Browse the repository at this point in the history
  11. fmt

    prozacchiwawa committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    e2e4df2 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    4d7bea2 View commit details
    Browse the repository at this point in the history
  13. Merge defmac

    prozacchiwawa committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    0e5a9b8 View commit details
    Browse the repository at this point in the history
  14. Merge up

    prozacchiwawa committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    7b0648c View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    f7755c8 View commit details
    Browse the repository at this point in the history
  16. fmt

    prozacchiwawa committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    aa57c46 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. Configuration menu
    Copy the full SHA
    ac8548f View commit details
    Browse the repository at this point in the history
  2. Add example

    prozacchiwawa committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    3d1e24a View commit details
    Browse the repository at this point in the history
  3. Add big maybe example

    prozacchiwawa committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    2a3a780 View commit details
    Browse the repository at this point in the history
  4. Add another web example

    prozacchiwawa committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    593998d View commit details
    Browse the repository at this point in the history
  5. Add map lambda example

    prozacchiwawa committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    1c5be8a View commit details
    Browse the repository at this point in the history
  6. Add embed test

    prozacchiwawa committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    7488d6d View commit details
    Browse the repository at this point in the history
  7. Add embed test

    prozacchiwawa committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    e4fe3b4 View commit details
    Browse the repository at this point in the history
  8. fix name

    prozacchiwawa committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    5c1777b View commit details
    Browse the repository at this point in the history
  9. fmt

    prozacchiwawa committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    23b9839 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    d3b03e7 View commit details
    Browse the repository at this point in the history
  11. Update version

    prozacchiwawa committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    dc529af View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. Configuration menu
    Copy the full SHA
    2602e6b View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. Try adding a workflow to run extensive tests in. This will in the fut…

    …ure include full builds and tests of more things.
    prozacchiwawa committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    a9fadaa View commit details
    Browse the repository at this point in the history
  2. Name as extensive tests

    prozacchiwawa committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    a1a726f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    00c80cf View commit details
    Browse the repository at this point in the history
  4. Merge pull request #186 from Chia-Network/ak.game-ref-tests

    Add Game Referee tests for modern ChiaLisp
    prozacchiwawa authored Jun 29, 2023
    Configuration menu
    Copy the full SHA
    9f77165 View commit details
    Browse the repository at this point in the history
  5. M1 wheel merge

    prozacchiwawa committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    6b5692c View commit details
    Browse the repository at this point in the history
  6. This was wrong before

    prozacchiwawa committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    8c1a45f View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    d98883c View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    dbe9425 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    1f16aec View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    515ad81 View commit details
    Browse the repository at this point in the history
  11. fmt + clippy

    prozacchiwawa committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    a5f7075 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    84cbbf3 View commit details
    Browse the repository at this point in the history
  13. Merge pull request #188 from Chia-Network/20230629-add-sigil-23-to-ty…

    …pe-tests
    
    Fix a bug related to type tests in the 23 sigil and ensure type tests…
    prozacchiwawa authored Jun 29, 2023
    Configuration menu
    Copy the full SHA
    2ea534d View commit details
    Browse the repository at this point in the history
  14. Fix lambda typing: types were introduced in parallel with lambdas at …

    …the PR level so they weren't introduced to each other
    prozacchiwawa committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    7b64cde View commit details
    Browse the repository at this point in the history
  15. fmt + clippy

    prozacchiwawa committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    7687b16 View commit details
    Browse the repository at this point in the history
  16. Merge pull request #189 from Chia-Network/20230629-type-lambda

    Fix lambda typing: types were introduced in parallel with lambdas at …
    prozacchiwawa authored Jun 29, 2023
    Configuration menu
    Copy the full SHA
    14333c2 View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2023

  1. Configuration menu
    Copy the full SHA
    7378953 View commit details
    Browse the repository at this point in the history
  2. Merge pull request #191 from Chia-Network/20230629-export-compile-con…

    …text-wrapper
    
    Some new exports for the lsp
    prozacchiwawa authored Jun 30, 2023
    Configuration menu
    Copy the full SHA
    913e906 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    511e6fa View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    63b5dce View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    3d94697 View commit details
    Browse the repository at this point in the history
  6. fmt

    prozacchiwawa committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    884db4f View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2023

  1. Configuration menu
    Copy the full SHA
    8ce395f View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2023

  1. Configuration menu
    Copy the full SHA
    340392d View commit details
    Browse the repository at this point in the history
  2. Fix comment

    prozacchiwawa committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    fafbf11 View commit details
    Browse the repository at this point in the history
  3. Merge pull request #192 from Chia-Network/20230704-proper-lambda-type…

    …-expr
    
    Fix bug that prevented lambda expressions from being properly annotated
    prozacchiwawa authored Jul 5, 2023
    Configuration menu
    Copy the full SHA
    d7c9dc7 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2023

  1. Configuration menu
    Copy the full SHA
    de0ed49 View commit details
    Browse the repository at this point in the history
  2. Merge pull request #193 from Chia-Network/20230706-version-bump

    Bump version so we have 0.1.50 to build the lsp from until we decide to upgrade
    prozacchiwawa authored Jul 6, 2023
    Configuration menu
    Copy the full SHA
    09f4e10 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2023

  1. WIP fixing a cse bug

    prozacchiwawa committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    6a1b27a View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2023

  1. Configuration menu
    Copy the full SHA
    04a45e1 View commit details
    Browse the repository at this point in the history
  2. Fix last test

    prozacchiwawa committed Jul 15, 2023
    Configuration menu
    Copy the full SHA
    996de8d View commit details
    Browse the repository at this point in the history
  3. fmt + clippy

    prozacchiwawa committed Jul 15, 2023
    Configuration menu
    Copy the full SHA
    f0ac618 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. Configuration menu
    Copy the full SHA
    b3f7b8c View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. Configuration menu
    Copy the full SHA
    6a3714b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    347ee50 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7b2e3a2 View commit details
    Browse the repository at this point in the history
  4. Ok I think it's done

    prozacchiwawa committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    697c229 View commit details
    Browse the repository at this point in the history
  5. fmt + clippy

    prozacchiwawa committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    e5f7489 View commit details
    Browse the repository at this point in the history
  6. Shorter and safer

    prozacchiwawa committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    c04faa2 View commit details
    Browse the repository at this point in the history
  7. fmt

    prozacchiwawa committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    c32bc71 View commit details
    Browse the repository at this point in the history
  8. more clippy

    prozacchiwawa committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    a1fb2bb View commit details
    Browse the repository at this point in the history
  9. Ensure we're not doing coverage on things in ./tests/, because that's…

    … cyclic (and prevents us from having #[ignore] tests which run in a longer cycle). I'm hoping to make things fast enough that that won't always be needed
    prozacchiwawa committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    f74b5dd View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    cc1760d View commit details
    Browse the repository at this point in the history
  11. New mandatory clippy

    prozacchiwawa committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    c5863ad View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    5251671 View commit details
    Browse the repository at this point in the history
  13. Merge remote-tracking branch 'chia/20230421-nightly-rebuild' into 202…

    …30718-dont-track-coverage-of-tests-subdir
    prozacchiwawa committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    aae24fa View commit details
    Browse the repository at this point in the history
  14. Merge pull request #195 from Chia-Network/20230718-dont-track-coverag…

    …e-of-tests-subdir
    
    Don't track coverage in the tests directory itself
    prozacchiwawa authored Jul 18, 2023
    Configuration menu
    Copy the full SHA
    a3bd885 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    4f4c1bb View commit details
    Browse the repository at this point in the history
  16. Simplify and make safer

    prozacchiwawa committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    137b4ff View commit details
    Browse the repository at this point in the history
  17. Configuration menu
    Copy the full SHA
    358ca2c View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    6fd191e View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. Configuration menu
    Copy the full SHA
    6a42eb2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2cb0057 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2023

  1. Configuration menu
    Copy the full SHA
    f1f8389 View commit details
    Browse the repository at this point in the history
  2. WIP

    prozacchiwawa committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    1a2704e View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7339838 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    ecb83c2 View commit details
    Browse the repository at this point in the history
  5. Rest test

    prozacchiwawa committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    a1440fd View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2023

  1. WIP

    prozacchiwawa committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    e89c6db View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    9a6d918 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. Tests passing so far

    prozacchiwawa committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    1f27cbd View commit details
    Browse the repository at this point in the history
  2. More tests passing

    prozacchiwawa committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    6a0019d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    0cbdb94 View commit details
    Browse the repository at this point in the history
  4. 16/40 tests

    prozacchiwawa committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    136be50 View commit details
    Browse the repository at this point in the history
  5. More tests

    prozacchiwawa committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    69fd074 View commit details
    Browse the repository at this point in the history
  6. More

    prozacchiwawa committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    1e5c9de View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    c8b4f9b View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    0f3161d View commit details
    Browse the repository at this point in the history
  9. More repl tests

    prozacchiwawa committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    317e3bd View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    8d0ebbd View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. Configuration menu
    Copy the full SHA
    44efb75 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    0402fc7 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    702f12c View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. Configuration menu
    Copy the full SHA
    8867562 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    a049e6b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    fcd9e19 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    c8c87ee View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. Merge up base

    prozacchiwawa committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    88cda6b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ff7569b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    13c4c71 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    0cbfcb1 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    7f7176f View commit details
    Browse the repository at this point in the history
  6. fmt

    prozacchiwawa committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    5e3cc15 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    d2abd5b View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    070927d View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2023

  1. merge up + fmt + clippy

    prozacchiwawa committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    f2a7352 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2023

  1. Configuration menu
    Copy the full SHA
    c50fcb2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    12c3450 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    46260ad View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    68affa5 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2023

  1. Configuration menu
    Copy the full SHA
    95eb288 View commit details
    Browse the repository at this point in the history
  2. fmt + clippy

    prozacchiwawa committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    54b9b65 View commit details
    Browse the repository at this point in the history
  3. fmt

    prozacchiwawa committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    924ca44 View commit details
    Browse the repository at this point in the history
  4. Merge pull request #221 from Chia-Network/20230827-cse-fix-undominate…

    …d-conditions
    
    20230827 cse fix undominated conditions
    prozacchiwawa authored Aug 28, 2023
    Configuration menu
    Copy the full SHA
    2896932 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    022ec63 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    01f2bbc View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. Add continued if

    prozacchiwawa committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    36e3df7 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. Merge up

    prozacchiwawa committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    d4f039f View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2023

  1. Merge up

    prozacchiwawa committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    5d23e94 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2023

  1. Merge up

    prozacchiwawa committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    f9f59b0 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2023

  1. Add a python-source dir

    prozacchiwawa committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    7c36920 View commit details
    Browse the repository at this point in the history
  2. Update coverage

    prozacchiwawa committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    3d972d5 View commit details
    Browse the repository at this point in the history
  3. Merge back

    prozacchiwawa committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    9e71a8b View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2023

  1. Configuration menu
    Copy the full SHA
    d6915bc View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7412876 View commit details
    Browse the repository at this point in the history
  3. Fix other definition

    prozacchiwawa committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    f833685 View commit details
    Browse the repository at this point in the history
  4. Merge pull request #43 from Chia-Network/20230928-speed-up-cldb-printing

    20230928 speed up cldb printing
    prozacchiwawa authored Sep 29, 2023
    Configuration menu
    Copy the full SHA
    457db1b View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    29d2cdc View commit details
    Browse the repository at this point in the history
  6. WIP investigation

    prozacchiwawa committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    c35c1bc View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    b51be34 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    cb31bdf View commit details
    Browse the repository at this point in the history
  9. Bump for tests

    prozacchiwawa committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    0c011dd View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    c6430d3 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2023

  1. cse fix checking

    prozacchiwawa committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    ecc8213 View commit details
    Browse the repository at this point in the history
  2. Fix CSE bugs surrounding unsaturated CSE, ensuring that we're not pre…

    …-evaluating CSE variables when they don't dominate all conditions in their path.
    prozacchiwawa committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    670a1e5 View commit details
    Browse the repository at this point in the history
  3. Can pass tests, but will take a crack at ensuring we can lift un-satu…

    …rating common subexpressions
    prozacchiwawa committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    e67bd41 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    ae3329b View commit details
    Browse the repository at this point in the history
  5. fmt + clippy

    prozacchiwawa committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    fa71b3e View commit details
    Browse the repository at this point in the history
  6. Add test case

    prozacchiwawa committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    86058c4 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2023

  1. Merge pull request #46 from Chia-Network/20231002-cse-fix

    20231002 cse fix
    prozacchiwawa authored Oct 3, 2023
    Configuration menu
    Copy the full SHA
    a14eecd View commit details
    Browse the repository at this point in the history