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

Try use Isabelle2024-RC2. #124

Merged
merged 24 commits into from
May 14, 2024
Merged

Try use Isabelle2024-RC2. #124

Changes from 2 commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
376b459
Use Isabelle2024-RC2.
kape1395 Apr 18, 2024
eed59fc
Isabelle build fixed.
kape1395 Apr 20, 2024
0eb1273
Trying to fix the macos build.
kape1395 Apr 20, 2024
40e49ce
Use a constant for the default isabelle tactic.
kape1395 Apr 21, 2024
d5d8dbf
tentative fix of broken auto method
muenchnerkindl Apr 23, 2024
bd0e9c1
tentative fix of broken auto method
muenchnerkindl Apr 23, 2024
048a3c0
Merge branch 'isabelle2020-dune-2024RC2' of github.com:tlaplus/tlapm …
muenchnerkindl Apr 23, 2024
267496d
arith_add is replaced by other definitions in the isabelle thory.
kape1395 Apr 27, 2024
ad0c115
Merge remote-tracking branch 'origin/isabelle2020-dune' into isabelle…
kape1395 Apr 27, 2024
b490709
Use Isabelle2024-RC3, behaviour looks the same.
kape1395 May 3, 2024
f74a0d1
Notes.
kape1395 May 3, 2024
10efece
An attempt to resolve regressions related to how Nat is reduced to Int.
kape1395 May 11, 2024
540d430
Multiple regressions resolved in the examples repo.
kape1395 May 11, 2024
8d57321
Don't skip passing proofs in the examples repo.
kape1395 May 11, 2024
d44f1a1
tentative fix of broken auto method
muenchnerkindl Apr 23, 2024
58c77d3
arith_add is replaced by other definitions in the isabelle thory.
kape1395 Apr 27, 2024
eff562e
Added Arch Linux instructions to INSTALL.md
ahelwer Apr 20, 2024
af84000
Use tlaplus/examples for tests
ahelwer Oct 27, 2023
500f7bd
Use Isabelle2024-RC3, behaviour looks the same.
kape1395 May 3, 2024
56a77b5
Notes.
kape1395 May 3, 2024
a3720e6
An attempt to resolve regressions related to how Nat is reduced to Int.
kape1395 May 11, 2024
d2d4c67
Multiple regressions resolved in the examples repo.
kape1395 May 11, 2024
d8cfa41
Don't skip passing proofs in the examples repo.
kape1395 May 11, 2024
efe3539
Merge branch 'isabelle2020-dune-2024RC2' of github.com:tlaplus/tlapm …
muenchnerkindl May 14, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view

These merge commits were added into this branch cleanly.

There are no new changes to show.