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

Builder: tidy correctness examples #1630

Merged
merged 15 commits into from
Jul 25, 2023
Merged

Builder: tidy correctness examples #1630

merged 15 commits into from
Jul 25, 2023

Commits on Jul 22, 2023

  1. Lift utils into own directory

    @anshumanmohan
    anshumanmohan committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    12e3cfd View commit details
    Browse the repository at this point in the history

  2. Some simplification

    @anshumanmohan
    anshumanmohan committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    3ca2896 View commit details
    Browse the repository at this point in the history

  3. Further tidying

    @anshumanmohan
    anshumanmohan committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    b4e2a8c View commit details
    Browse the repository at this point in the history

  4. Make flake8 happy

    @anshumanmohan
    anshumanmohan committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    7dfbc88 View commit details
    Browse the repository at this point in the history

  5. Better names for cells and groups

    @anshumanmohan
    anshumanmohan committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    9edd341 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. More sensible names, betterr comments

    @anshumanmohan
    anshumanmohan committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    91c8693 View commit details
    Browse the repository at this point in the history

  2. cellname, not cell

    @anshumanmohan
    anshumanmohan committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    e2cdd16 View commit details
    Browse the repository at this point in the history

  3. Add asserting that the mem is std_mem_d1

    @anshumanmohan
    anshumanmohan committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    2201901 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into tidy-calyx-py-correctness

    @anshumanmohan
    anshumanmohan authored Jul 24, 2023
    Configuration menu
    Copy the full SHA
    b95e5eb View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. incr and decr take arbitraty constants

    @anshumanmohan
    anshumanmohan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    0ab1203 View commit details
    Browse the repository at this point in the history

  2. Use a helper, and better docstrings

    @anshumanmohan
    anshumanmohan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    7b1f881 View commit details
    Browse the repository at this point in the history

  3. Registers are optional and are created and returned

    @anshumanmohan
    anshumanmohan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    e315d90 View commit details
    Browse the repository at this point in the history

  4. A little cleanup as a result of the last commit

    @anshumanmohan
    anshumanmohan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    202975b View commit details
    Browse the repository at this point in the history

  5. Actually assert is_mem_d1

    @anshumanmohan
    anshumanmohan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    c44426f View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into tidy-calyx-py-correctness

    @anshumanmohan
    anshumanmohan authored Jul 25, 2023
    Configuration menu
    Copy the full SHA
    ea41043 View commit details
    Browse the repository at this point in the history