Update latest master#925

Closed

dkcumming wants to merge 8 commits intofeature/p-tokenfrom

Commits on Jan 21, 2026

Add missing command-line options in `_parse_args` (#918)
tothtamas28
authored

Commits on Jan 22, 2026

feat(kompile): add \exists quantifiers for existential variables in add-module rules (#912)

Stevengre
and
automergerpr-permission-manager[bot]
authored

Commits on Jan 24, 2026

Added `volatile_store` intrinsic (#919)
dkcumming
authored

Commits on Jan 28, 2026

Extract module `kmir._prove` (#920)
tothtamas28
authored

Commits on Jan 30, 2026

Commits on Jan 31, 2026

Update dependency: deps/k_release (#924)

rv-jenkins
and
rv-auditor
authored