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

Yosys: Support compositional translation of sequential circuits #1880

Merged
merged 12 commits into from
Aug 10, 2023
Merged

Yosys: Support compositional translation of sequential circuits #1880

merged 12 commits into from
Aug 10, 2023
+937 −186

Commits on Jun 29, 2023

  1. WIP

    @chameco
    chameco committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    c883f41 View commit details
    Browse the repository at this point in the history

  2. WIP

    @chameco
    Sam Breese authored and chameco committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    509855d View commit details
    Browse the repository at this point in the history

  3. Support compositional translation of sequential circuits

    @chameco
    chameco committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    d8a5fc0 View commit details
    Browse the repository at this point in the history

  4. Fix bug when using combinational submodule from sequential circuit

    @chameco
    chameco committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    829319a View commit details
    Browse the repository at this point in the history

  5. Cleanup, address comments, add manual section

    @chameco
    chameco committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    97a2af4 View commit details
    Browse the repository at this point in the history

  6. Cleanup, add many comments

    @chameco
    chameco committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    5a1a954 View commit details
    Browse the repository at this point in the history

  7. Add module header

    @chameco
    chameco committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    c80c244 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. Merge remote-tracking branch 'origin/master' into sb/yosys-comp

    Brett Boston committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    801b49d View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2023

  1. Add sum type to represent cell types

    Brett Boston committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    853a045 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into sb/yosys-comp

    Brett Boston committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    6d1fae7 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2023

  1. Update doc/manual/manual.md 

    Co-authored-by: Ryan Scott <rscott@galois.com>
    @bboston7 @RyanGlScott
    bboston7 and RyanGlScott authored Aug 10, 2023
    Configuration menu
    Copy the full SHA
    f77202b View commit details
    Browse the repository at this point in the history

  2. Regenerate manual PDF

    Brett Boston committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    d07eade View commit details
    Browse the repository at this point in the history