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

Standard libraries #22

Merged
merged 19 commits into from
Dec 20, 2023
Merged

Standard libraries #22

merged 19 commits into from
Dec 20, 2023

Commits on Dec 13, 2023

  1. Experimenting with build

    @robin-aws
    robin-aws committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    54d6d70 View commit details
    Browse the repository at this point in the history

  2. Lie about date for now

    @robin-aws
    robin-aws committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    e290bd0 View commit details
    Browse the repository at this point in the history

  3. Fix source

    @robin-aws
    robin-aws committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    81ddd10 View commit details
    Browse the repository at this point in the history

  4. Get some more libraries referenced :)

    @robin-aws
    robin-aws committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    c2402c9 View commit details
    Browse the repository at this point in the history

  5. Partial work

    @robin-aws
    robin-aws committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    157abbc View commit details
    Browse the repository at this point in the history

  6. Complete core material

    @robin-aws
    robin-aws committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    df7ad60 View commit details
    Browse the repository at this point in the history

  7. Remove pandoc experiments for now

    @robin-aws
    robin-aws committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    e1acf45 View commit details
    Browse the repository at this point in the history

  8. Tweak title

    @robin-aws
    robin-aws committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    94cca1a View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. Flesh out front and back

    @robin-aws
    robin-aws committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    5c72186 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of github.com:dafny-lang/blog into standard-libra… 

    …ries

# Conflicts:
#	Makefile
    @robin-aws
    robin-aws committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    e39f910 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2023

  1. Missing file from last checkin 🤦

    @robin-aws
    robin-aws committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    62507f2 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of github.com:dafny-lang/blog into standard-libra… 

    …ries
    @robin-aws
    robin-aws committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    c094b87 View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2023

  1. Cleanup

    @robin-aws
    robin-aws committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    d06391f View commit details
    Browse the repository at this point in the history

  2. Switch to madoko just to get syntax highlighting

    @robin-aws
    robin-aws committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    ba4ecd8 View commit details
    Browse the repository at this point in the history

  3. Include final snippet from source project at least

    @robin-aws
    robin-aws committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    146badd View commit details
    Browse the repository at this point in the history

  4. Last TODO and misc proof editing

    @robin-aws
    robin-aws committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    48497f6 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2023

  1. Add comments about type errors

    @robin-aws
    robin-aws committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    5d69a76 View commit details
    Browse the repository at this point in the history

  2. Update assets/mdk/standard-libraries.mdk 

    Co-authored-by: Mikaël Mayer <[email protected]>
    @robin-aws @MikaelMayer
    robin-aws and MikaelMayer authored Dec 19, 2023
    Configuration menu
    Copy the full SHA
    8d10026 View commit details
    Browse the repository at this point in the history

  3. Warning about expect

    @robin-aws
    robin-aws committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    6e2d492 View commit details
    Browse the repository at this point in the history