Add Python 3.14 support#15

Open

christiankissig wants to merge 43 commits into

Commits on Jun 2, 2026

Support ML/FFI commands (ML, ML_file, ML_val, setup, ...)

christiankissig
and
claude
committed
Allow class definitions without a begin..end body

christiankissig
and
claude
committed
Allow quoted class names in sorts

christiankissig
and
claude
committed
Support the (output) print mode

christiankissig
and
claude
committed
Add the inductive_simps command

christiankissig
and
claude
committed
Support option blocks on datatype/primrec/primcorec

christiankissig
and
claude
committed
Apply ruff format to new test cases

christiankissig
and
claude
committed
Merge pull request #1 from christiankissig/grammar-coverage-fixes
christiankissig
authored
Add the attribute_setup command

christiankissig
and
claude
committed
Add the simproc_setup command

christiankissig
and
claude
committed
Add syntax/AST translation commands

christiankissig
and
claude
committed
Add the oracle command

christiankissig
and
claude
committed
Merge pull request #2 from christiankissig/ffi-commands
christiankissig
authored
Support \<^marker> on goal commands

christiankissig
and
claude
committed
Support \<^marker> on definition

christiankissig
and
claude
committed
Merge pull request #3 from christiankissig/command-markers
christiankissig
authored
Add the code_printing command

christiankissig
and
claude
committed
Merge pull request #4 from christiankissig/code-printing-bundle
christiankissig
authored
Don't leak the "source_hint" placeholder into error messages

christiankissig
and
claude
committed
Add an opt-in parse timeout to guard against Earley blow-up

christiankissig
and
claude
committed
Merge pull request #5 from christiankissig/parser-robustness
christiankissig
authored
Add a README

christiankissig
and
claude
committed
Merge pull request #6 from christiankissig/add-readme
christiankissig
authored
Reduce ambiguity: drop the duplicate context path in the theory rule

christiankissig
and
claude
committed
Reduce ambiguity: drop the redundant terminal `by` in proof_prove

christiankissig
and
claude
committed
Merge pull request #7 from christiankissig/method-embedded-redesign
christiankissig
authored
Support Greek-letter type variables

christiankissig
and
claude
committed
Support multiple superclasses in class declarations

christiankissig
and
claude
committed
Support sort-annotated type variables in datatype declarations

christiankissig
and
claude
committed
Merge pull request #8 from christiankissig/form-level-gaps
christiankissig
authored
Support BNF type-argument annotations in datatype

christiankissig
and
claude
committed
Support the nominal_datatype command

christiankissig
and
claude
committed
Support `for` parameters on the method command

christiankissig
and
claude
committed
Support the (in target) qualifier on unbundle

christiankissig
and
claude
committed

Commits on Jun 3, 2026