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

Isabelle202X cleanup #131

Merged
merged 10 commits into from
Aug 18, 2024
Merged

Isabelle202X cleanup #131

merged 10 commits into from
Aug 18, 2024

Commits on May 18, 2024

  1. Reorganize Isabelle sessions. 

    Signed-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>
    @kape1395
    kape1395 committed May 18, 2024
    Configuration menu
    Copy the full SHA
    2e2bbff View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. Adapt to Isabelle2024. 

    Signed-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>
    @kape1395
    kape1395 committed May 29, 2024
    Configuration menu
    Copy the full SHA
    71b228c View commit details
    Browse the repository at this point in the history

  2. Cleanup Isabelle build a bit; run Isabelle examples/tests during dune… 

    … tests.

Signed-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>
    @kape1395
    kape1395 committed May 29, 2024
    Configuration menu
    Copy the full SHA
    0f40bb1 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. Rewrite Nat to {x ∈ Int : 0 ≤ x} instead of n ∈ Nat to (n ∈ Int ∧ 0 ≤… 

    … n).

Signed-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>
    @kape1395
    kape1395 committed May 31, 2024
    Configuration menu
    Copy the full SHA
    972a394 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2024

  1. changes to Isabelle setup and fixed AtomicBakeryG example 

    Signed-off-by: Stephan Merz <stephan.merz@loria.fr>
    @muenchnerkindl
    muenchnerkindl committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    70db8d0 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2024

  1. A cleanup. 

    Signed-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>
    @kape1395
    kape1395 committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    932c682 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2024

  1. Make examples/AtomicBakeryG.thy proof a bit faster. 

    Signed-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>
    @kape1395
    kape1395 committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    6e0ab8d View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2024

  1. Run Isabelle THY tests on a clear Isabelle installation. 

    Signed-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>
    @kape1395
    kape1395 committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    04996b1 View commit details
    Browse the repository at this point in the history

  2. Tweaking the build system. 

    Signed-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>
    @kape1395
    kape1395 committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    c28594c View commit details
    Browse the repository at this point in the history

  3. Merge pull request #134 from tlaplus/isabelle2020-dune-cleanup-ex 

    Rewrite Nat to {x ∈ Int : 0 ≤ x} instead of n ∈ Nat to (n ∈ Int ∧ 0 ≤ n).
Make `isabelle/examples` built during the tests.
    @kape1395
    kape1395 authored Aug 18, 2024
    Configuration menu
    Copy the full SHA
    29a3bba View commit details
    Browse the repository at this point in the history