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

doc: various docs and docs page #17

Merged
merged 52 commits into from
Feb 6, 2024
Merged

doc: various docs and docs page #17

merged 52 commits into from
Feb 6, 2024

Commits on Jan 31, 2024

  1. style: same style for all case studies

    @ramonfmir
    ramonfmir committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    d77b8ba View commit details
    Browse the repository at this point in the history

  2. chore: move result about Fin

    @ramonfmir
    ramonfmir committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    7197860 View commit details
    Browse the repository at this point in the history

  3. feat: custom errors and debugging

    @ramonfmir
    ramonfmir committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    c67bda4 View commit details
    Browse the repository at this point in the history

  4. doc: Coeffs.lean

    @ramonfmir
    ramonfmir committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    539a21c View commit details
    Browse the repository at this point in the history

  5. fix: use "positive" and "nonneg" correctly

    @ramonfmir
    ramonfmir committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    e128b0e View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2024

  1. doc: Command/Solve/Float

    @ramonfmir
    ramonfmir committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    90572b1 View commit details
    Browse the repository at this point in the history

  2. doc: Command/Solve/Mosek

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

  3. doc: Command/Solve

    @ramonfmir
    ramonfmir committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    caa5bb4 View commit details
    Browse the repository at this point in the history

  4. doc: Command/Solve.lean

    @ramonfmir
    ramonfmir committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    662ad7a View commit details
    Browse the repository at this point in the history

  5. feat: @[strong_equiv], @[equiv], @[red], and @[rel]

    @ramonfmir
    ramonfmir committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    7b4ee65 View commit details
    Browse the repository at this point in the history

  6. feat: use equiv theorems to reduce computable backward map

    @ramonfmir
    ramonfmir committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    91d95de View commit details
    Browse the repository at this point in the history

  7. feat: more custom error commands

    @ramonfmir
    ramonfmir committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    d1d15ce View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2024

  1. doc: everything in Command

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

Commits on Feb 3, 2024

  1. chore: bump to v4.6.0-rc1 and update mathlib

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

  2. wip: fixing proofs, no Abs

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

  3. fix: all proofs fixed

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

  4. fix: log_le_log_iff

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

Commits on Feb 4, 2024

  1. fix: confusion between real and vector norms

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    ec9ebed View commit details
    Browse the repository at this point in the history

  2. fix: reduction backward maps

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    15672a1 View commit details
    Browse the repository at this point in the history

  3. feat: computable matrix inverse

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    7191b0c View commit details
    Browse the repository at this point in the history

  4. feat: recovering all original solutions in case studies

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    ae3c24a View commit details
    Browse the repository at this point in the history

  5. fix: tests passing

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    6d9a372 View commit details
    Browse the repository at this point in the history

  6. feat: do not norm_num too much

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    a413785 View commit details
    Browse the repository at this point in the history

  7. feat: more custom errors

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    1f24e96 View commit details
    Browse the repository at this point in the history

  8. feat: better error messages in rw_obj, rw_constr, and pre_dcp

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    ec17efe View commit details
    Browse the repository at this point in the history

  9. fix: one unit test needed more heartbeats

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    6340942 View commit details
    Browse the repository at this point in the history

  10. doc: case studies

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    bc874f5 View commit details
    Browse the repository at this point in the history

  11. doc: Meta/Util and some refactor

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    459b995 View commit details
    Browse the repository at this point in the history

  12. doc: Meta

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

  13. doc: some Lib

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    242fa18 View commit details
    Browse the repository at this point in the history

  14. doc: Lib

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    43b7bb5 View commit details
    Browse the repository at this point in the history

  15. doc: Syntax

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    fec4e50 View commit details
    Browse the repository at this point in the history

  16. fix: p and q in EquivalenceExpr are now lhs and rhs

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    939dac5 View commit details
    Browse the repository at this point in the history

  17. chore: remove SciLean test

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    dffe7a7 View commit details
    Browse the repository at this point in the history

  18. chore: remove CvxLean.code-workspace

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    ff99606 View commit details
    Browse the repository at this point in the history

  19. chore: ignore *.code-workspace

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    1dc1be1 View commit details
    Browse the repository at this point in the history

  20. wip: more hearbeats needed in pre_dcp, issue with new `norm_num_cle… 

    …an_up`?
    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    e4a674c View commit details
    Browse the repository at this point in the history

  21. feat: norm_num while converting

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    4df5a9b View commit details
    Browse the repository at this point in the history

  22. wip: generate docs

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    3919d13 View commit details
    Browse the repository at this point in the history

  23. fix: labels in constraint in doc

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    bdedb7c View commit details
    Browse the repository at this point in the history

  24. style: no auto-implicit

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    8b1548b View commit details
    Browse the repository at this point in the history

  25. wip: no pp options, for now

    @ramonfmir
    ramonfmir committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    abbf7e5 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. wip: generate docs in CI

    @ramonfmir
    ramonfmir committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    88a3783 View commit details
    Browse the repository at this point in the history

  2. chore: update toolchain in CI

    @ramonfmir
    ramonfmir committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    00c5703 View commit details
    Browse the repository at this point in the history

  3. fix: path in docs CI

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

  4. fix: implicit argument order in real-to-float conversion

    @ramonfmir
    ramonfmir committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    81abd80 View commit details
    Browse the repository at this point in the history

  5. fix: no auto-implicit in tests

    @ramonfmir
    ramonfmir committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    9549aac View commit details
    Browse the repository at this point in the history

  6. wip: do not show label

    @ramonfmir
    ramonfmir committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    29bd7ed View commit details
    Browse the repository at this point in the history

  7. fix: order of arguments in vecMul and mulVec

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

  8. fix: copy-paste issues in docs CI

    @ramonfmir
    ramonfmir committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    95dab21 View commit details
    Browse the repository at this point in the history

  9. fix: explicit checkout path in docs action

    @ramonfmir
    ramonfmir committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    4515c5a View commit details
    Browse the repository at this point in the history

  10. fix: working directory in build

    @ramonfmir
    ramonfmir committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    5b96d36 View commit details
    Browse the repository at this point in the history