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

tools: added a port of dust #979

Draft
wants to merge 13 commits into
base: devel
Choose a base branch
from
Draft

tools: added a port of dust #979

wants to merge 13 commits into from

Commits on Oct 31, 2023

  1. fix discardCheck bug

    @saem
    saem committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    eb02c11 View commit details
    Browse the repository at this point in the history

  2. docs typo in astrepr 

    also there is a bug when it comes to debugging types... sigh
    @saem
    saem committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    9d0523b View commit details
    Browse the repository at this point in the history

  3. formatting

    @saem
    saem committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    8cd70d7 View commit details
    Browse the repository at this point in the history

  4. initial port of dust 

    added to to `tools` build in `koch`
    @saem
    saem committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    10ac525 View commit details
    Browse the repository at this point in the history

  5. replace unsunny with nkWithSons usage 

    Co-authored-by: Clyybber <[email protected]>
    @saem @Clyybber
    saem and Clyybber committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    82d3bb0 View commit details
    Browse the repository at this point in the history

  6. remove unused imports 

    Co-authored-by: zerbina <[email protected]>
    @saem @zerbina
    saem and zerbina committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    b7d16c6 View commit details
    Browse the repository at this point in the history

  7. PNode usage-style changes. 

    Co-authored-by: zerbina <[email protected]>
    @saem @zerbina
    saem and zerbina committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    c4d8399 View commit details
    Browse the repository at this point in the history

  8. fix: single statement modules no longer assert 

    Co-authored-by: zerbina <[email protected]>
    @saem @zerbina
    saem and zerbina committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    43827db View commit details
    Browse the repository at this point in the history

  9. small efficiency improvement 

    Co-authored-by: zerbina <[email protected]>
    @saem @zerbina
    saem and zerbina committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    4f30639 View commit details
    Browse the repository at this point in the history

  10. get dust compiling and sorta working

    @saem
    saem committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    0698a03 View commit details
    Browse the repository at this point in the history

  11. slap together an initial test

    @saem
    saem committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    79b0995 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2024

  1. Merge remote-tracking branch 'origin/devel' into saem-tool-dust-port

    @saem
    saem committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    8e556a3 View commit details
    Browse the repository at this point in the history

  2. dust mostly works 

    the problem is that right now we generate more and more errors over
time, so the minimization process diverges, rather than converging.
    @saem
    saem committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    51c7443 View commit details
    Browse the repository at this point in the history