Option `--extra-module` for including lemmas modules dynamically in `kontrol prove`#883

Merged

rv-jenkins merged 10 commits intomasterfrom lemmas-in-prove

Nov 27, 2024

+88-42

Commits on Nov 12, 2024

kontrol/: remove maude backend dispatch option
ehildenb
committed
kontrol/{cli,options,prove}: add CLI option for threading through extra module to Prover
ehildenb
committed
tests/integration/{test-data,test_foundry_prove}: add test of including extra lemmas at prove time
ehildenb
committed

Commits on Nov 21, 2024

Merge branch 'master' into lemmas-in-prove
palinatolmach
authored

Commits on Nov 27, 2024