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

AUTOMAP #2159

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

AUTOMAP #2159

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

Commits on Feb 12, 2024

  1. Add options to set all ranks to zero for debugging.

    @zfnmxt
    zfnmxt committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    6a958f0 View commit details
    Browse the repository at this point in the history

  2. Use PuLP instead of setting ranks to zero.

    @zfnmxt
    zfnmxt committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    989e1e3 View commit details
    Browse the repository at this point in the history

  3. Add PuLP stuff.

    @zfnmxt
    zfnmxt committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    3c2e319 View commit details
    Browse the repository at this point in the history

  4. Improve Solution.

    @athas
    athas committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    5ef513d View commit details
    Browse the repository at this point in the history

  5. Preserve types better.

    @athas
    athas committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    678633b View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. WIP on type checker integration.

    @athas
    athas committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    c73e681 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2024

  1. Now we get quite far in type checking!

    @athas
    athas committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    fb42c32 View commit details
    Browse the repository at this point in the history

  2. Instantiate sizes properly.

    @athas
    athas committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    333ca8d View commit details
    Browse the repository at this point in the history

  3. Don't normalize/forget variables.

    @zfnmxt
    zfnmxt committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    b4983c6 View commit details
    Browse the repository at this point in the history

  4. Preserve uniqueness.

    @athas
    athas committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    b122b27 View commit details
    Browse the repository at this point in the history

  5. Jank frame fix.

    @zfnmxt
    zfnmxt committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    fc083ad View commit details
    Browse the repository at this point in the history

  6. SPEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEED

    @zfnmxt
    zfnmxt committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    1ed744b View commit details
    Browse the repository at this point in the history

  7. Add GLPK.hs.

    @zfnmxt
    zfnmxt committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    6eb745e View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2024

  1. Basic things work now.

    @athas
    athas committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    1d77281 View commit details
    Browse the repository at this point in the history

  2. Fix typo.

    @athas
    athas committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    cb21531 View commit details
    Browse the repository at this point in the history

  3. Working AUTOMAP (not really).

    @athas
    athas committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    4d673d3 View commit details
    Browse the repository at this point in the history

  4. Support AUTOMAP on BinOps.

    @zfnmxt
    zfnmxt committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    8fd5e18 View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2024

  1. Some work on overloaded type variables.

    @athas
    athas committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    32c9a73 View commit details
    Browse the repository at this point in the history

  2. Tear out some organs we probably do not need anymore.

    @athas
    athas committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    5f45f19 View commit details
    Browse the repository at this point in the history

  3. Remove more guts.

    @athas
    athas committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    ae1f529 View commit details
    Browse the repository at this point in the history

  4. Must also unify here.

    @athas
    athas committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    0f6156a View commit details
    Browse the repository at this point in the history

  5. AUTOMAP does not work yet.

    @athas
    athas committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    9bf72c8 View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2024

  1. Defunctionalization and internalization AUTOMAP progress.

    @zfnmxt
    zfnmxt committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    7d3bcc7 View commit details
    Browse the repository at this point in the history

  2. Oops.

    @zfnmxt
    zfnmxt committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    3e091b7 View commit details
    Browse the repository at this point in the history

  3. Basic map-only AUTOMAP seems to work now.

    @zfnmxt
    zfnmxt committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    8993923 View commit details
    Browse the repository at this point in the history

  4. Please shut up.

    @athas
    athas committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    4c8a124 View commit details
    Browse the repository at this point in the history

  5. Handle automapped operand.

    @athas
    athas committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    6407ff3 View commit details
    Browse the repository at this point in the history

  6. Put these adjacent.

    @athas
    athas committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    9f10932 View commit details
    Browse the repository at this point in the history

  7. Add frame to binop result.

    @athas
    athas committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    2ea1c6a View commit details
    Browse the repository at this point in the history

  8. AUTOMAP OpSection support.

    @zfnmxt
    zfnmxt committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    b644e3f View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    c44a2cf View commit details
    Browse the repository at this point in the history

  2. Flail at the constraint solver. 

    Now explicitly returns variables to be generalised.
    @athas
    athas committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    14c5544 View commit details
    Browse the repository at this point in the history

  3. Print this too.

    @athas
    athas committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    52beb8c View commit details
    Browse the repository at this point in the history

  4. Add ambiguity checking.

    @zfnmxt
    zfnmxt committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    8f4cb68 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into constraints

    @athas
    athas committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    7e9e907 View commit details
    Browse the repository at this point in the history

  6. Forgot the source.

    @zfnmxt
    zfnmxt committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    6d91328 View commit details
    Browse the repository at this point in the history

  7. Add rep shapes here.

    @athas
    athas committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    2c19d78 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. Make the design of Rank.hs less dumb.

    @zfnmxt
    zfnmxt committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    8dd13d4 View commit details
    Browse the repository at this point in the history

  2. Pass a list of possible solutions around.

    @zfnmxt
    zfnmxt committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    af0b0bb View commit details
    Browse the repository at this point in the history

  3. Cap the number of solutions.

    @zfnmxt
    zfnmxt committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    012680d View commit details
    Browse the repository at this point in the history

  4. Make big M actually big(ish).

    @zfnmxt
    zfnmxt committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    9ab28c0 View commit details
    Browse the repository at this point in the history

  5. AUTOMAP for short-circuiting operators.

    @zfnmxt
    zfnmxt committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    7616bcc View commit details
    Browse the repository at this point in the history

  6. Use Ints instead of Doubles and print out rank maps.

    @zfnmxt
    zfnmxt committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    870f97f View commit details
    Browse the repository at this point in the history

  7. Apparently powers of 2 are better. 10^6 also somehow gives incorrect … 

    …results.
    @zfnmxt
    zfnmxt committed Feb 20, 2024
    2 Configuration menu
    Copy the full SHA
    87da34a View commit details
    Browse the repository at this point in the history

  8. Support auto replicates in internalization.

    @zfnmxt
    zfnmxt committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    043ff22 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. Fiddle with Ident type checking.

    @athas
    athas committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    674bf01 View commit details
    Browse the repository at this point in the history

  2. Fix type checking of LetWith.

    @athas
    athas committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    a10bd3d View commit details
    Browse the repository at this point in the history

  3. OptionPricing now type checks.

    @athas
    athas committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    2bb4085 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. - Introduce rank representation for AutoMap annotations to carry ra… 

    …nk information across type checking phases.

- Fix AUTOMAP in `Terms.hs`.
    @zfnmxt
    zfnmxt committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    4af653a View commit details
    Browse the repository at this point in the history

  2. Do not rewrite automapped short-circuiting ops.

    @athas
    athas committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    c336b16 View commit details
    Browse the repository at this point in the history

  3. We do not need this.

    @athas
    athas committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    ff353e5 View commit details
    Browse the repository at this point in the history

  4. Try to handle logical operators.

    @athas
    athas committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    986856d View commit details
    Browse the repository at this point in the history

  5. Remove autoMapRank.

    @zfnmxt
    zfnmxt committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    263ec73 View commit details
    Browse the repository at this point in the history

  6. Another hash.

    @athas
    athas committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    285604e View commit details
    Browse the repository at this point in the history

  7. Make uniqueness explicit.

    @athas
    athas committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    2334dfd View commit details
    Browse the repository at this point in the history

  8. Hack to detect no integer solutions from glpk.

    @zfnmxt
    zfnmxt committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    3212b97 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. Add some notes to clarify how this will actually work.

    @zfnmxt
    zfnmxt committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    eb49178 View commit details
    Browse the repository at this point in the history

  2. Bit more.

    @zfnmxt
    zfnmxt committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    94af090 View commit details
    Browse the repository at this point in the history

  3. Unnecessary warnings.

    @athas
    athas committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    a7c8dd9 View commit details
    Browse the repository at this point in the history

  4. Slices better be i64.

    @athas
    athas committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    86acaed View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into constraints

    @athas
    athas committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    073d69e View commit details
    Browse the repository at this point in the history

  6. Implement occurs check.

    @athas
    athas committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    92be29d View commit details
    Browse the repository at this point in the history

  7. This is too much.

    @athas
    athas committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    aec83f3 View commit details
    Browse the repository at this point in the history

  8. Add Futhark.Util.debugTraceM.

    @athas
    athas committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    df35808 View commit details
    Browse the repository at this point in the history

  9. Prettyprint AUTOMAP annotations.

    @zfnmxt
    zfnmxt committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    02c71b7 View commit details
    Browse the repository at this point in the history

  10. Also prettyprint binops.

    @zfnmxt
    zfnmxt committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    2a64af3 View commit details
    Browse the repository at this point in the history

  11. Fix checkOneExp.

    @athas
    athas committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    d201507 View commit details
    Browse the repository at this point in the history

  12. Fix frame duplication.

    @zfnmxt
    zfnmxt committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    2119f29 View commit details
    Browse the repository at this point in the history

  13. Remove checkApply_.

    @zfnmxt
    zfnmxt committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    81d53e5 View commit details
    Browse the repository at this point in the history

  14. Forgot to remove this too.

    @zfnmxt
    zfnmxt committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    6b17195 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2024

  1. Rank fixes.

    @zfnmxt
    zfnmxt committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    e09ad67 View commit details
    Browse the repository at this point in the history

  2. Don't peel frames and distribute instead.

    @zfnmxt
    zfnmxt committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    e2505f5 View commit details
    Browse the repository at this point in the history

  3. Change objective from M_i + R_i to M_i + max(0, |R_i| - |F_i|).

    @zfnmxt
    zfnmxt committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    f25bd9e View commit details
    Browse the repository at this point in the history

  4. Add some tests.

    @zfnmxt
    zfnmxt committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    93fa76e View commit details
    Browse the repository at this point in the history

  5. Renaming hack to not count these when looking for new solutions.

    @zfnmxt
    zfnmxt committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    b3d3c42 View commit details
    Browse the repository at this point in the history

  6. Add leetcode test.

    @zfnmxt
    zfnmxt committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    3cdce28 View commit details
    Browse the repository at this point in the history

  7. Easier to read with some linebreaks.

    @athas
    athas committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    6616a07 View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2024

  1. Remove map intrinsic. 

    AUTOMAP all the way!
    @athas
    athas committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    2de3f1e View commit details
    Browse the repository at this point in the history

  2. Fix AUTOMAP shapes for the replicate case.

    @zfnmxt
    zfnmxt committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    d24831d View commit details
    Browse the repository at this point in the history

  3. Remove confusing/wrong name.

    @zfnmxt
    zfnmxt committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    60db26b View commit details
    Browse the repository at this point in the history

  4. Better frame computation + clarifying notes.

    @zfnmxt
    zfnmxt committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    54882ab View commit details
    Browse the repository at this point in the history

  5. Bump Nix and cabal.

    @athas
    athas committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    c04ade2 View commit details
    Browse the repository at this point in the history

  6. Work on supporting AUTOMAP in interpreter.

    @athas
    athas committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    6c91e26 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2024

  1. We must also touch automaps here.

    @athas
    athas committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    9919fec View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into constraints

    @athas
    athas committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    f4d2b8d View commit details
    Browse the repository at this point in the history

  3. Add another test program.

    @athas
    athas committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    afa09d3 View commit details
    Browse the repository at this point in the history

  4. Distribute frames recursively.

    @zfnmxt
    zfnmxt committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    58c8ff3 View commit details
    Browse the repository at this point in the history

  5. The vindication of Robert.

    @athas
    athas committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    99fb122 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. Basic internalization working.

    @zfnmxt
    zfnmxt committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    e404169 View commit details
    Browse the repository at this point in the history

  2. Remove some complexity.

    @zfnmxt
    zfnmxt committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    27588dc View commit details
    Browse the repository at this point in the history

  3. Fixes.

    @zfnmxt
    zfnmxt committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    8af019e View commit details
    Browse the repository at this point in the history

  4. Looks like we actually do need some reshaping.

    @zfnmxt
    zfnmxt committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    321b524 View commit details
    Browse the repository at this point in the history

  5. Oops. Fix reshaping.

    @zfnmxt
    zfnmxt committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    bb03727 View commit details
    Browse the repository at this point in the history

  6. Better to do the reshaping here, I think.

    @zfnmxt
    zfnmxt committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    10cfde8 View commit details
    Browse the repository at this point in the history

  7. Begin handling overloaded type variables.

    @athas
    athas committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    5adef90 View commit details
    Browse the repository at this point in the history

  8. These should be frames.

    @zfnmxt
    zfnmxt committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    1d9d25d View commit details
    Browse the repository at this point in the history

  9. Revert "Better to do the reshaping here, I think." 

    I was wrong.
    @zfnmxt
    zfnmxt committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    266368a View commit details
    Browse the repository at this point in the history

  10. Strip off automapped shapes from arg static values. Fixes `optionpric… 

    …ing.fut` bug.
    @zfnmxt
    zfnmxt committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    d190923 View commit details
    Browse the repository at this point in the history

  11. Prevent loops.

    @zfnmxt
    zfnmxt committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    56c18c0 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. Don't need this.

    @zfnmxt
    zfnmxt committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    8e1acff View commit details
    Browse the repository at this point in the history

  2. Undo AUTOMAP-handling in the later phases of internalization.

    @zfnmxt
    zfnmxt committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    9e5d59a View commit details
    Browse the repository at this point in the history

  3. Undo AUTOMAP-handling in FullNormalise.hs.

    @zfnmxt
    zfnmxt committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    8d88c95 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    dd807f7 View commit details
    Browse the repository at this point in the history

  2. Use proper type here.

    @athas
    athas committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    de5cf38 View commit details
    Browse the repository at this point in the history

  3. Also update type here.

    @athas
    athas committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    dcfdf1e View commit details
    Browse the repository at this point in the history

  4. Fix handling of overloaded type variables.

    @athas
    athas committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    9c869ab View commit details
    Browse the repository at this point in the history

  5. Add checkSizeExp to Terms2.

    @athas
    athas committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    837f3cd View commit details
    Browse the repository at this point in the history

  6. Fixes to updating of types.

    @athas
    athas committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    12d21a4 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Fix unification of abstract types.

    @athas
    athas committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    c6aaf9c View commit details
    Browse the repository at this point in the history

  2. Also do the AUTOMAP on size expressions.

    @athas
    athas committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    b6d2e1b View commit details
    Browse the repository at this point in the history

  3. Fix instantiation of parametric abstract types.

    @athas
    athas committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    45a5c44 View commit details
    Browse the repository at this point in the history

  4. Must match.

    @athas
    athas committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    a3a5094 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2024

  1. Fix mri-q.fut.

    @zfnmxt
    zfnmxt committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    989c757 View commit details
    Browse the repository at this point in the history

  2. debugTraceM now takes a level.

    @zfnmxt
    zfnmxt committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    101285a View commit details
    Browse the repository at this point in the history

  3. Expand AUTOMAP annotations in normalization.

    @zfnmxt
    zfnmxt committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    178a7a0 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2024

  1. Apostrophes are important, man.

    @zfnmxt
    zfnmxt committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    e971922 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2024

  1. Fixes/clean-up.

    @zfnmxt
    zfnmxt committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    d62614f View commit details
    Browse the repository at this point in the history

  2. Tuples must have more than one field.

    @athas
    athas committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    51c5393 View commit details
    Browse the repository at this point in the history

  3. Start handling overloaded tyvars.

    @athas
    athas committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    8260a4d View commit details
    Browse the repository at this point in the history

  4. This order is better.

    @athas
    athas committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    5bab301 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    2d9515b View commit details
    Browse the repository at this point in the history

  2. Refactor to return one list with everything.

    @athas
    athas committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    9e2c1ee View commit details
    Browse the repository at this point in the history

  3. Let-generalise in Terms2.

    @athas
    athas committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    a6676ef View commit details
    Browse the repository at this point in the history

  4. Fix return types of partially applied functions in AM nests.

    @zfnmxt
    zfnmxt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    d85bd68 View commit details
    Browse the repository at this point in the history

  5. Only return a single solution when doing rank analysis.

    @zfnmxt
    zfnmxt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    43c9479 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Strangle some warnings.

    @athas
    athas committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    155f2bb View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into constraints

    @athas
    athas committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    9fd510b View commit details
    Browse the repository at this point in the history

  3. Fix typo.

    @athas
    athas committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    bc06303 View commit details
    Browse the repository at this point in the history

  4. Remove unneeded things.

    @athas
    athas committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    07b507d View commit details
    Browse the repository at this point in the history

  5. Off-by-truth.

    @athas
    athas committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    a495374 View commit details
    Browse the repository at this point in the history

  6. Add bindingParam.

    @athas
    athas committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    c11e72e View commit details
    Browse the repository at this point in the history

  7. Allow touching TypeExps here.

    @athas
    athas committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    47d24de View commit details
    Browse the repository at this point in the history

  8. Also perform AM on expressions in params. 

    We are certainly missing params in expressions, such as
in Lambda.
    @athas
    athas committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    b34f3ab View commit details
    Browse the repository at this point in the history

  9. Remove lingering PuLP stuff.

    @zfnmxt
    zfnmxt committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    6305172 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2024

  1. Start adding location info.

    @athas
    athas committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    c8a4348 View commit details
    Browse the repository at this point in the history

  2. More location info.

    @zfnmxt
    zfnmxt committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    56c99a8 View commit details
    Browse the repository at this point in the history

  3. Also put locations in constraints.

    @athas
    athas committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    05fe9a0 View commit details
    Browse the repository at this point in the history

  4. Easy fix.

    @zfnmxt
    zfnmxt committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    ef20fbe View commit details
    Browse the repository at this point in the history

  5. More FIXME extermination.

    @zfnmxt
    zfnmxt committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    37cc601 View commit details
    Browse the repository at this point in the history

  6. Proper AUTOMAP for single expressions.

    @athas
    athas committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    75e5be4 View commit details
    Browse the repository at this point in the history

  7. Has to be written like this.

    @athas
    athas committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    941dec2 View commit details
    Browse the repository at this point in the history

  8. Reduce duplication.

    @athas
    athas committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    82c8458 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    9cb6d4e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into constraints

    @athas
    athas committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    f93e2cf View commit details
    Browse the repository at this point in the history

  3. Work on sum types.

    @athas
    athas committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    f0bef22 View commit details
    Browse the repository at this point in the history

  4. Fix for-in loops.

    @athas
    athas committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    cefc91b View commit details
    Browse the repository at this point in the history

  5. Detect duplicate fields.

    @athas
    athas committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    80c6d80 View commit details
    Browse the repository at this point in the history

  6. Handle type arguments here.

    @athas
    athas committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    c1fb806 View commit details
    Browse the repository at this point in the history

  7. let should not be generalised.

    @athas
    athas committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    c4e11a9 View commit details
    Browse the repository at this point in the history

  8. Stop erroneously changing the type of automapped functions.

    @zfnmxt
    zfnmxt committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    8cb7c7d View commit details
    Browse the repository at this point in the history

  9. Some sum fixes.

    @athas
    athas committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    c6fa39e View commit details
    Browse the repository at this point in the history

  10. Detect more ambiguities.

    @athas
    athas committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    4de7ecf View commit details
    Browse the repository at this point in the history

  11. Add notion of equality type.

    @athas
    athas committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    c4610ba View commit details
    Browse the repository at this point in the history

  12. Remove duplicate comment.

    @athas
    athas committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    521846f View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. Fix check.

    @athas
    athas committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    300cce6 View commit details
    Browse the repository at this point in the history

  2. Avoid artificial type variables in constraints.

    @athas
    athas committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    6a69052 View commit details
    Browse the repository at this point in the history

  3. Better to do this in same pass.

    @athas
    athas committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    2fbe6c2 View commit details
    Browse the repository at this point in the history

  4. More cleanup.

    @athas
    athas committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    f16ee6a View commit details
    Browse the repository at this point in the history

  5. Consistency.

    @athas
    athas committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    74be173 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. Fix crashing when LP objective is a constant. This fix is jank(ish).

    @zfnmxt
    zfnmxt committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    64f6a86 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'constraints' into no-artificial

    @zfnmxt
    zfnmxt committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    1cff1d8 View commit details
    Browse the repository at this point in the history

  3. Fix tuples/records in rank analysis.

    @zfnmxt
    zfnmxt committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    5666c2b View commit details
    Browse the repository at this point in the history

  4. Delete this.

    @zfnmxt
    zfnmxt committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    7039dcc View commit details
    Browse the repository at this point in the history

  5. Add sum type support.

    @zfnmxt
    zfnmxt committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    e5b4f10 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into constraints

    @athas
    athas committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    228ee57 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into constraints

    @athas
    athas committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    a258fe0 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    f611db0 View commit details
    Browse the repository at this point in the history

  2. Respect return type annotations.

    @athas
    athas committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    62ddb1d View commit details
    Browse the repository at this point in the history

  3. Lovely code.

    @athas
    athas committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    fc5f05d View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. Update type annotation here.

    @athas
    athas committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    6f3e32d View commit details
    Browse the repository at this point in the history

  2. Handle equality case too.

    @athas
    athas committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    bf64e47 View commit details
    Browse the repository at this point in the history

  3. Do not impose inferred type on polymorphic functions. 

    This is necessary to properly handle polymorphic higher order
functions that are passed functions with existential return sizes.
    @athas
    athas committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    5941f88 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    630e39b View commit details
    Browse the repository at this point in the history

  2. Fix implicit record fields.

    @athas
    athas committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    64637d0 View commit details
    Browse the repository at this point in the history

  3. Fix type checking of project sections.

    @athas
    athas committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    616a612 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    f3619fa View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    30d0a9f View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2024

  1. Rework type constraint solving.

    @athas
    athas committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    ac04728 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    4931170 View commit details
    Browse the repository at this point in the history

  2. Substitute dependent sizes when expanding automaps.

    @athas
    athas committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    2bdca0e View commit details
    Browse the repository at this point in the history

  3. Workaround for wrong return type handling.

    @athas
    athas committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    06d7232 View commit details
    Browse the repository at this point in the history

  4. Handle special case.

    @athas
    athas committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    a1628f3 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2024

  1. Must expand here.

    @athas
    athas committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    6ce8ed3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into constraints

    @athas
    athas committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    ef05260 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    c8dc1f5 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    f0497af View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    9372788 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed May 1, 2024
    Configuration menu
    Copy the full SHA
    ac6a514 View commit details
    Browse the repository at this point in the history

  2. Strangle warnings.

    @athas
    athas committed May 1, 2024
    Configuration menu
    Copy the full SHA
    05311de View commit details
    Browse the repository at this point in the history

  3. Warning-free tests.

    @athas
    athas committed May 1, 2024
    Configuration menu
    Copy the full SHA
    4cbdb8d View commit details
    Browse the repository at this point in the history

  4. Link against static glpk.

    @athas
    athas committed May 1, 2024
    Configuration menu
    Copy the full SHA
    a4946a1 View commit details
    Browse the repository at this point in the history

  5. This is cleaner.

    @athas
    athas committed May 1, 2024
    Configuration menu
    Copy the full SHA
    9cf8ab8 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed May 8, 2024
    Configuration menu
    Copy the full SHA
    ab0d1b0 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    591c14e View commit details
    Browse the repository at this point in the history

  2. Fix typo.

    @athas
    athas committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    323922f View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2024

  1. let should not be generalised.

    @athas
    athas committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    8a808e0 View commit details
    Browse the repository at this point in the history

  2. Minor refactoring.

    @athas
    athas committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    e71f281 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    e24e5c0 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. Merge branch 'master' into constraints

    @athas
    athas committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    d0b0ede View commit details
    Browse the repository at this point in the history

  2. Crudely strangle warnings.

    @athas
    athas committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    0d7e661 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    ab28bb1 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2024

  1. Track explicit type parameters in constraint solver. 

    I cannot figure out whether this is hacky or OK, but we
need it to handle level checks correctly.
    @athas
    athas committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    f126abe View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    63fca3f View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    e10ad58 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    2b576bb View commit details
    Browse the repository at this point in the history

  2. A bit more work.

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    1ace2df View commit details
    Browse the repository at this point in the history

  3. Check for equality.

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    5522eb8 View commit details
    Browse the repository at this point in the history

  4. Detect ambiguous equality type.

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    43744e5 View commit details
    Browse the repository at this point in the history

  5. Abstraction.

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    7329e8b View commit details
    Browse the repository at this point in the history

  6. Refine.

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    8a99272 View commit details
    Browse the repository at this point in the history

  7. More fixes.

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    f7892a1 View commit details
    Browse the repository at this point in the history

  8. Define before use.

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    fbafb6d View commit details
    Browse the repository at this point in the history

  9. Break long line.

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    4b2a9e2 View commit details
    Browse the repository at this point in the history

  10. Add missing cases.

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    d393544 View commit details
    Browse the repository at this point in the history

  11. This is OK now.

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    d86eec2 View commit details
    Browse the repository at this point in the history

  12. Correct handling of type annotation.

    @athas
    athas committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    43c85b3 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. Simplify.

    @athas
    athas committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    44c5405 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    f16024b View commit details
    Browse the repository at this point in the history

  2. Also AUTOMAP in return type annotations.

    @athas
    athas committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    2333b7e View commit details
    Browse the repository at this point in the history

  3. Propagate liftedness properly.

    @athas
    athas committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    5f94900 View commit details
    Browse the repository at this point in the history

  4. Simplify.

    @athas
    athas committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    041e9e0 View commit details
    Browse the repository at this point in the history

  5. Simplify the level stuff.

    @athas
    athas committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    9834d68 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Improve handling of branches.

    @athas
    athas committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    e5088b5 View commit details
    Browse the repository at this point in the history

  2. Supposed to be ambiguous.

    @athas
    athas committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    1046414 View commit details
    Browse the repository at this point in the history

  3. Now inferred differently.

    @athas
    athas committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    d0bea36 View commit details
    Browse the repository at this point in the history

  4. Must be more explicit now.

    @athas
    athas committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    0a07d32 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. This is OK now.

    @athas
    athas committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    80cfae5 View commit details
    Browse the repository at this point in the history

  2. Fix Constr.

    @athas
    athas committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    66be58e View commit details
    Browse the repository at this point in the history

  3. Fiddle with liftedness checking.

    @athas
    athas committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    7068b88 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    2aecc9a View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    303a535 View commit details
    Browse the repository at this point in the history

  2. Work on error message.

    @athas
    athas committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    2807acc View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    24f6294 View commit details
    Browse the repository at this point in the history

  2. Fix some mistaken tests.

    @athas
    athas committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    d8dbec2 View commit details
    Browse the repository at this point in the history

  3. Linebreak.

    @athas
    athas committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    90d3678 View commit details
    Browse the repository at this point in the history

  4. Fix another test.

    @athas
    athas committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    bc804c1 View commit details
    Browse the repository at this point in the history

  5. Fix more error messages.

    @athas
    athas committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    2a0cc26 View commit details
    Browse the repository at this point in the history

  6. Less weird.

    @athas
    athas committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    b77f1c2 View commit details
    Browse the repository at this point in the history

  7. Introduce breadcrumbs in constraint solver.

    @athas
    athas committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    dee1188 View commit details
    Browse the repository at this point in the history

  8. A bit more work.

    @athas
    athas committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    e098b6d View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. Better error for tuple mismatches.

    @athas
    athas committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    7210e8f View commit details
    Browse the repository at this point in the history

  2. Better reasons.

    @athas
    athas committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    67cdaf9 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2024

  1. Constructor match.

    @athas
    athas committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    59ddb21 View commit details
    Browse the repository at this point in the history

  2. More reasons.

    @athas
    athas committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    946ae65 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    897b52e View commit details
    Browse the repository at this point in the history

  2. Function application reason.

    @athas
    athas committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    fba5782 View commit details
    Browse the repository at this point in the history

  3. Branch reasons.

    @athas
    athas committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    29293af View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    5818c5f View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    279de4a View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2024

  1. Merge branch 'master' into automap

    @athas
    athas committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    8a23982 View commit details
    Browse the repository at this point in the history