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: more tactics docs and some general refactoring #19

Merged
merged 25 commits into from
Mar 1, 2024
Merged

doc: more tactics docs and some general refactoring #19

merged 25 commits into from
Mar 1, 2024

Commits on Feb 24, 2024

  1. doc: remove_constr and remove_trivial_constrs

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

Commits on Feb 27, 2024

  1. chore: clean up logs in extractor

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

  2. style: division notation in pre-DCP main example

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

Commits on Feb 28, 2024

  1. refactor: equivalence' -> equivalence*

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

  2. style: eta reduction in case study

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

  3. fix: equivalences cannot be lemmas

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

Commits on Feb 29, 2024

  1. chore: proof example in vehicle speed scheduling

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

  2. doc: add TODO on leaving goals for pre-DCP

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

  3. doc: atom library extension

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

  4. refactor: Atoms -> AtomCmd

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

  5. fix: line breaks in imports from refactor

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

  6. doc: helpers for Expr

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

  7. doc: add TODO to make vconds available

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

  8. doc: fix docs for removing constraints

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

  9. doc: rename constraints

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

  10. doc: refine rename constraints

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

  11. doc: rename variables

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

  12. style: use throwRenameVarsError

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

  13. doc: reorder constraints

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

Commits on Mar 1, 2024

  1. feat: cleaner equivalence_step, reduction_step, and `relaxation_s… 

    …tep`
    @ramonfmir
    ramonfmir committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    b687e19 View commit details
    Browse the repository at this point in the history

  2. fix: correct namespace for Expr helper functions

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

  3. fix: do not always try to close by rfl on manual steps

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

  4. refactor: reduction' -> reduction*

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

  5. style: tag definition with reducible not simp

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

  6. refactor: DCP canonization not reduction

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