isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 tip

useful lemma integral_less default tip
22 hours ago, by paulson
merged
27 hours ago, by desharna
removed unused parameter following f9908452b282
43 hours ago, by desharna
treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis)
45 hours ago, by blanchet
fixed dodgy intro! attributes
2 days ago, by paulson
merged
3 days ago, by desharna
optimized facts traversal in TPTP translation
5 days ago, by desharna
optimized app_op_level selection in TPTP generation
5 days ago, by desharna
tuned trivial check in mirabelle_sledgehammer
5 days ago, by desharna
renamed run_action to run in Mirabelle.action record
6 days ago, by desharna
added spying of fact filtering timing
6 days ago, by desharna
tuned mirabelle_sledgehammer output
6 days ago, by desharna
added spying to Sledgehammer
6 days ago, by desharna
proper fact filter for dummy ATPs
6 days ago, by desharna
added syping of fact filtering time to sledgehammer
6 days ago, by desharna
removed unsynchronized references in mirabelle_sledgehammer
6 days ago, by desharna
tuned mirabelle_sledgehammer to have a single call to Synchronized.change per run
6 days ago, by desharna
updated to polyml-test-15c840d48c9a;
3 days ago, by wenzelm
some updates and clarification on Assumption.export_term;
5 days ago, by wenzelm
new theorem has_integral_UN
6 days ago, by paulson
updated to jdk-17.0.2+8;
6 days ago, by wenzelm
used elapsed time instead of cpu time in Mirabelle because the latter contain cpu time of all threads
6 days ago, by desharna
NEWS
7 days ago, by desharna
added Mirabelle option "-y" for dry run
7 days ago, by desharna
tuned garbage optimization
7 days ago, by desharna
added cpu time (in ms) to Mirabelle run_action output
9 days ago, by desharna
added Mirabelle option -r to randomize the goals before selection
9 days ago, by desharna
A new lemma about inverse image
10 days ago, by paulson
proper treatment of $let variables in symbol table in Sledgehammer
11 days ago, by desharna
removed unconditional TPTP symbol declaration for undefined_bool in sledgehammer
12 days ago, by desharna

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 tip

isabelle