HomeIsabelle/Phabricator
Diffusion Isabelle 58f6b41efe88

refactored Mirabelle to produce output in real time
58f6b41efe88
Actions

Description

refactored Mirabelle to produce output in real time

Details

Provenance
desharnaAuthored on
Parents
rISABELLEc10fe904ac10: merged
Branches
Unknown
Tags
Unknown

Changes (10)

PathSize
src/
HOL/
Tools/
Mirabelle/
etc/

rISABELLE58f6b41efe88

View Options

src/HOL/Mirabelle.thy

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle.scala

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_arith.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_metis.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_quickcheck.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer_filter.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_try0.ML

Loading...
View Options

src/HOL/Tools/etc/options

Loading...