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

new(rs): fully by-hand expression simplification #273

Merged
merged 33 commits into from
Sep 13, 2023
Merged

new(rs): fully by-hand expression simplification #273

merged 33 commits into from
Sep 13, 2023

Commits on Jul 25, 2023

  1. testing: filter out nAn-looking things in proptests

    Graham Enos committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    f90f512 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. fix: some more rules, big test commented out

    Graham Enos committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    1fa8b22 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. fix: use velcro, simplify and add some rules

    Graham Enos committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    3aae513 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into big-eggspression

    Graham Enos committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    72a2990 View commit details
    Browse the repository at this point in the history

  3. fix: rename some rules

    Graham Enos committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ea6c596 View commit details
    Browse the repository at this point in the history

  4. fix: remove pathological test case; simplify ruleset

    Graham Enos committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    13bd8a9 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. Merge branch 'main' into big-eggspression

    Graham Enos committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    787c29b View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. fix: typo

    Graham Enos committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    ec64583 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. new(rs): combine by hand & egg to simplify expressions

    Graham Enos committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    cb76257 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. feat: remove egg, rely solely on by_hand

    Graham Enos committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    1288663 View commit details
    Browse the repository at this point in the history

  2. fix: unused dep

    Graham Enos committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    645f7b4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into combo-simplifier

    Graham Enos committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    890f591 View commit details
    Browse the repository at this point in the history

  4. fix: debug

    Graham Enos committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    994063a View commit details
    Browse the repository at this point in the history

  5. fix: clippy

    Graham Enos committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    513f361 View commit details
    Browse the repository at this point in the history

  6. fix: un-remove hash utility

    Graham Enos committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    924c060 View commit details
    Browse the repository at this point in the history

  7. wip: still getting syntax errors on the affine case

    Graham Enos committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    10e53dd View commit details
    Browse the repository at this point in the history

  8. fix: fewer references and clones

    Graham Enos committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    956e1cf View commit details
    Browse the repository at this point in the history

  9. fix: get affine working

    Graham Enos committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    d666ae8 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2023

  1. fix: π => 3.1415926535897932384626…

    Graham Enos committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    4d945cd View commit details
    Browse the repository at this point in the history

  2. fix: various tidyings and comments

    Graham Enos committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    c311ecc View commit details
    Browse the repository at this point in the history

  3. doc: justify LIMIT = 1

    Graham Enos committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    be60ad1 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2023

  1. fix: respond to PR review comments

    Graham Enos committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    c2b60de View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2023

  1. fix: some other opportunities for simplification

    Graham Enos committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    a6ae87b View commit details
    Browse the repository at this point in the history

  2. fix: responding to PR review comments

    Graham Enos committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    3b1957f View commit details
    Browse the repository at this point in the history

  3. fix: test coverage

    Graham Enos committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    60ffad9 View commit details
    Browse the repository at this point in the history

  4. fix: make private something that no longer needs pub(crate)

    Graham Enos committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    72ea53b View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into combo-simplifier

    Graham Enos committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    5ba3c3d View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2023

  1. fix: responding to PR comments

    Graham Enos committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    ab09e46 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into combo-simplifier

    Graham Enos committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    44ba8ff View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

  1. fix: Commentary tweaks per review comments

    Graham Enos committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    b3d735d View commit details
    Browse the repository at this point in the history

  2. fix: simplify exponentiations of numbers or π

    Graham Enos committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    65ac565 View commit details
    Browse the repository at this point in the history

  3. fix: remove erroneous subtraction rule

    Graham Enos committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    3068fe4 View commit details
    Browse the repository at this point in the history

  4. fix: add simple double subtraction test to protect against previous b… 

    …ad rule
    Graham Enos committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    100345a View commit details
    Browse the repository at this point in the history