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

Verify definitions #116

Open
wants to merge 36 commits into
base: main
Choose a base branch
from
Open

Verify definitions #116

wants to merge 36 commits into from

Commits on Jun 4, 2023

  1. Add function to export theorem dependencies in GraphML format

    @tirix
    tirix committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    66383c8 View commit details
    Browse the repository at this point in the history

  2. Remove unwanted file!

    @tirix
    tirix committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    efd0db3 View commit details
    Browse the repository at this point in the history

  3. Fix typo

    @tirix
    tirix committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    2d388c2 View commit details
    Browse the repository at this point in the history

  4. Skipping syntactic dependencies

    @tirix
    tirix committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    43b89d5 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2023

  1. Definition check and definition graph export

    @tirix
    tirix committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    414fdd7 View commit details
    Browse the repository at this point in the history

  2. Clippy and more one more check

    @tirix
    tirix committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    293fd6e View commit details
    Browse the repository at this point in the history

  3. Fmt

    @tirix
    tirix committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    5facc9d View commit details
    Browse the repository at this point in the history

  4. Error handling

    @tirix
    tirix committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    91ed49f View commit details
    Browse the repository at this point in the history

  5. Special malformed definition case

    @tirix
    tirix committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    bc0cd3a View commit details
    Browse the repository at this point in the history

  6. Clppy

    @tirix
    tirix committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    4212498 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2023

  1. organizing the parts that have been done so far

    @digama0
    digama0 committed Jun 10, 2023
    Configuration menu
    Copy the full SHA
    7fdcbab View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2023

  1. Remove unused diagnostic type

    @tirix
    tirix committed Jun 11, 2023
    Configuration menu
    Copy the full SHA
    1ce90bc View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2023

  1. refactoring

    @digama0
    digama0 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    b0e7f20 View commit details
    Browse the repository at this point in the history

  2. check that statements don't use pending defs

    @digama0
    digama0 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    4005a02 View commit details
    Browse the repository at this point in the history

  3. check refl, symm, trans

    @digama0
    digama0 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    7e64ac3 View commit details
    Browse the repository at this point in the history

  4. Misc comments

    @tirix
    tirix committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    fc812fd View commit details
    Browse the repository at this point in the history

  5. starting on justification processing

    @digama0
    digama0 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    1dbb11a View commit details
    Browse the repository at this point in the history

  6. Mention the possible missing definition case

    @tirix
    tirix committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    eb7f27a View commit details
    Browse the repository at this point in the history

  7. Tests for the definition checker

    @tirix
    tirix committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    ecfd2e9 View commit details
    Browse the repository at this point in the history

  8. Format

    @tirix
    tirix committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    7a4a68c View commit details
    Browse the repository at this point in the history

  9. Oops

    @tirix
    tirix committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    ec62775 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'main' into verify_definitions

    @tirix
    tirix authored Jun 12, 2023
    Configuration menu
    Copy the full SHA
    8a5f967 View commit details
    Browse the repository at this point in the history

  11. Typo 

    Co-authored-by: Mario Carneiro <[email protected]>
    @tirix @digama0
    tirix and digama0 authored Jun 12, 2023
    Configuration menu
    Copy the full SHA
    d1cf04a View commit details
    Browse the repository at this point in the history

  12. add free dummy check

    @digama0
    digama0 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    b0ec8cc View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2023

  1. DV condition for justifications

    @digama0
    digama0 committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    43c4f60 View commit details
    Browse the repository at this point in the history

  2. parameter DV check

    @digama0
    digama0 committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    5823b9c View commit details
    Browse the repository at this point in the history

  3. dummy DV check

    @digama0
    digama0 committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    2cd7866 View commit details
    Browse the repository at this point in the history

  4. check for definiendum on RHS

    @digama0
    digama0 committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    c685f4f View commit details
    Browse the repository at this point in the history

  5. misnamed axiom/def warnings

    @digama0
    digama0 committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    57a8bca View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2023

  1. Merge branch 'main' into verify_definitions

    @tirix
    tirix authored Jun 22, 2023
    Configuration menu
    Copy the full SHA
    aa1eae3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into verify_definitions

    @tirix
    tirix committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    d21c13b View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2023

  1. Merge branch 'main' into verify_definitions

    @tirix
    tirix authored Jul 2, 2023
    Configuration menu
    Copy the full SHA
    1b77b7a View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2023

  1. Merge branch 'main' into verify_definitions

    @tirix
    tirix authored Nov 27, 2023
    Configuration menu
    Copy the full SHA
    aa4cafc View commit details
    Browse the repository at this point in the history

  2. Fix merge

    @tirix
    tirix committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    7011aef View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into verify_definitions

    @digama0
    digama0 committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    80490fe View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2024

  1. Merge branch 'main' into verify_definitions

    @tirix
    tirix authored Jun 1, 2024
    Configuration menu
    Copy the full SHA
    ca1e4af View commit details
    Browse the repository at this point in the history