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

feat: add Documentation Rust TestModel #479

Draft
wants to merge 14 commits into
base: main-1.x
Choose a base branch
from
Draft

feat: add Documentation Rust TestModel #479

wants to merge 14 commits into from

Commits on Jul 17, 2024

  1. fix makefile

    Andrew Banchich committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    e997016 View commit details
    Browse the repository at this point in the history

  2. build

    Andrew Banchich committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    76c1dc6 View commit details
    Browse the repository at this point in the history

  3. copy from simpleboolean

    Andrew Banchich committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    33e0c13 View commit details
    Browse the repository at this point in the history

  4. WIP

    Andrew Banchich committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    9f06a15 View commit details
    Browse the repository at this point in the history

  5. rename things

    Andrew Banchich committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    17ba20d View commit details
    Browse the repository at this point in the history

  6. rename things

    Andrew Banchich committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    49338f8 View commit details
    Browse the repository at this point in the history

  7. rename things

    Andrew Banchich committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    194cbf8 View commit details
    Browse the repository at this point in the history

  8. WIP

    Andrew Banchich committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    7da14b1 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. WIP

    Andrew Banchich committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    374dc9e View commit details
    Browse the repository at this point in the history

  2. it compiles!

    Andrew Banchich committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    7431ff7 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. enable test

    Andrew Banchich committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    7469a84 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. Merge branch 'main-1.x' of github.com:smithy-lang/smithy-dafny into a… 

    …ndrewbanchich/documentation

# Conflicts:
#	SmithyDafnyMakefile.mk
    @robin-aws
    robin-aws committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    6f2232b View commit details
    Browse the repository at this point in the history

  2. Update for new layout

    @robin-aws
    robin-aws committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    4bbfab2 View commit details
    Browse the repository at this point in the history

  3. Remove files that shouldn’t be checked in

    @robin-aws
    robin-aws committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    52b5b11 View commit details
    Browse the repository at this point in the history