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

chore: bump to v4.8.0-rc1 and fix proofs #33

Merged
merged 14 commits into from
May 20, 2024
Merged

chore: bump to v4.8.0-rc1 and fix proofs #33

merged 14 commits into from
May 20, 2024

Commits on May 2, 2024

  1. chore: bump to v4.8.0-rc1

    @ramonfmir
    ramonfmir committed May 2, 2024
    Configuration menu
    Copy the full SHA
    6b36fa1 View commit details
    Browse the repository at this point in the history

  2. chore: update lake manifest

    @ramonfmir
    ramonfmir committed May 2, 2024
    Configuration menu
    Copy the full SHA
    0f38433 View commit details
    Browse the repository at this point in the history

  3. fix: OfScientific instances

    @ramonfmir
    ramonfmir committed May 2, 2024
    Configuration menu
    Copy the full SHA
    2f92e46 View commit details
    Browse the repository at this point in the history

  4. wip: fixing Lib errors due to new mathlib

    @ramonfmir
    ramonfmir committed May 2, 2024
    Configuration menu
    Copy the full SHA
    0132023 View commit details
    Browse the repository at this point in the history

  5. fix: deprecated SchedulerM

    @ramonfmir
    ramonfmir committed May 2, 2024
    Configuration menu
    Copy the full SHA
    6061f82 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. wip: fixing more errors in proofs

    @ramonfmir
    ramonfmir committed May 3, 2024
    Configuration menu
    Copy the full SHA
    0611347 View commit details
    Browse the repository at this point in the history

  2. fix: all update-related errors fixed, mainly atoms

    @ramonfmir
    ramonfmir committed May 3, 2024
    Configuration menu
    Copy the full SHA
    46bc1a0 View commit details
    Browse the repository at this point in the history

  3. fix: syntax issues because of domain binding

    @ramonfmir
    ramonfmir committed May 3, 2024
    Configuration menu
    Copy the full SHA
    e031235 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. fix: instance name was making pre_dcp fail!

    @ramonfmir
    ramonfmir committed May 20, 2024
    Configuration menu
    Copy the full SHA
    cbf5106 View commit details
    Browse the repository at this point in the history

  2. test: fix expected output

    @ramonfmir
    ramonfmir committed May 20, 2024
    Configuration menu
    Copy the full SHA
    7f3967a View commit details
    Browse the repository at this point in the history

  3. fix: Solution is a type

    @ramonfmir
    ramonfmir committed May 20, 2024
    Configuration menu
    Copy the full SHA
    a65cf98 View commit details
    Browse the repository at this point in the history

  4. fix: all case studies

    @ramonfmir
    ramonfmir committed May 20, 2024
    Configuration menu
    Copy the full SHA
    7ac3d0f View commit details
    Browse the repository at this point in the history

  5. fix: proofs in truss design

    @ramonfmir
    ramonfmir committed May 20, 2024
    Configuration menu
    Copy the full SHA
    178e510 View commit details
    Browse the repository at this point in the history

  6. style: make style chack pass

    @ramonfmir
    ramonfmir committed May 20, 2024
    Configuration menu
    Copy the full SHA
    b8f7e28 View commit details
    Browse the repository at this point in the history