Diffusion Isabelle efeebcfaef85

merged
efeebcfaef85
Actions

Description

merged

Details

Provenance

desharna

Authored on

Parents

rISABELLEdcf295994c90: merged
rISABELLE15ea7f6fb422: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEefeebcfaef85: merged.Feb 15 2021, 8:36 AM

Merged Changes

dcf295994c90 merged
Author
desharna
Browse Repository
No Builds
No Audits
a34b49841585 added stride option to Mirabelle
Author
desharna
Browse Repository
No Builds
No Audits
f6f1242ed367 proper prover capabilities for zipperposition
Author
desharna
Browse Repository
No Builds
No Audits
04c9a2cd7686 NEWS;
Author
makarius
Browse Repository
No Builds
No Audits
652b89134374 merged
Author
makarius
Browse Repository
No Builds
No Audits
0e7a3c055f39 clarified uses of Isabelle_System.bash_process: more checks, fewer messages;
Author
makarius
Browse Repository
No Builds
No Audits
a97ae083cad1 tuned signature;
Author
makarius
Browse Repository
No Builds
No Audits
057d8a164a7b more direct timing from bash_process wrapper;
Author
makarius
Browse Repository
No Builds
No Audits
dcadb3243cfa tuned;
Author
makarius
Browse Repository
No Builds
No Audits
22417b631453 clarified signature, following Isabelle/Scala;
Author
makarius
Browse Repository
No Builds
No Audits
a96944cbaf7d tuned;
Author
makarius
Browse Repository
No Builds
No Audits
37aff2142295 clarified signature;
Author
makarius
Browse Repository
No Builds
No Audits
7dbae202ff84 clarified signature: Isabelle_System.bash_process is strict and thus cannot…
Author
makarius
Browse Repository
No Builds
No Audits
0110e2e2964c clarified signature: always trim_line of Process_Result.out/err, uniformly in…
Author
makarius
Browse Repository
No Builds
No Audits
54065cbf7134 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
f0db1e4c89bc clarified signature, following Isabelle/Scala;
Author
makarius
Browse Repository
No Builds
No Audits
10d3b49a702a tuned signature;
Author
makarius
Browse Repository
No Builds
No Audits
17c28251fff0 clarified signature: process_result timing from Isabelle/Scala;
Author
makarius
Browse Repository
No Builds
No Audits
ce4fe0b1cfda NEWS
Author
florian.haftmann
Browse Repository
No Builds
No Audits
05a873f90655 dedicated locale for preorder and abstract bdd operation
Author
florian.haftmann
Browse Repository
No Builds
No Audits
e2d03448d5b5 get rid of traditional predicate
Author
florian.haftmann
Browse Repository
No Builds
No Audits
f5a77ee9106c proper treatment of process_result;
Author
makarius
Browse Repository
No Builds
No Audits
c8abfe393c16 more accurate process_result in ML, corresponding to Process_Result in Scala;
Author
makarius
Browse Repository
No Builds
No Audits
1d610d5524ff clarified: proper trim_line for error;
Author
makarius
Browse Repository
No Builds
No Audits
d6a664daa285 unused;
Author
makarius
Browse Repository
No Builds
No Audits
76c9fcf80f96 clarified lines (again);
Author
makarius
Browse Repository
No Builds
No Audits
440546ea20e6 clarified modules;
Author
makarius
Browse Repository
No Builds
No Audits
ad60214bef09 more uniform Bash.process: always ask Isabelle/Scala;
Author
makarius
Browse Repository
No Builds
No Audits
71b7a5775342 more reactive protocol messages, e.g. for Scala.function (relevant for Bash.
Author
makarius
Browse Repository
No Builds
No Audits
f0446b3e4d17 clarified compiler options;
Author
makarius
Browse Repository
No Builds
No Audits
3edb1592cad6 tuned comments;
Author
makarius
Browse Repository
No Builds
No Audits
3acd62a22c1e removed obsolete RC tags;
Author
makarius
Browse Repository
No Builds
No Audits
fdc76c10bb61 more hints;
Author
makarius
Browse Repository
No Builds
No Audits
446085672b74 merged
Author
makarius
Browse Repository
No Builds
No Audits
69177d552afb Added tag Isabelle2021 for changeset 7e2a9a8c2b85
Author
makarius
Browse Repository
No Builds
No Audits
7e2a9a8c2b85 provide naproche-755224402e36;
Author
makarius
Browse Repository
No Builds
No Audits
13e206e93876 provide naproche-4ad61140062f;
Author
makarius
Browse Repository
No Builds
No Audits
f6bb31879698 HOL-Analysis/Probability: Hoeffding's inequality, negative binomial…
Author
pruvisto
Browse Repository
No Builds
No Audits
b4552595b04e tidied up a few ugly proofs
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits

Changes (9)

Path

Size

.hgtags

Admin/

components/

components.sha1

main

NEWS

src/

Pure/

Admin/

System/

Tools/

Haskell/

Haskell.thy

rISABELLEefeebcfaef85

View Options

.hgtags

View Options

Admin/components/components.sha1

View Options

Admin/components/main

View Options

NEWS

View Options

src/Pure/Admin/build_history.scala

View Options

src/Pure/Admin/other_isabelle.scala

View Options

src/Pure/System/bash.ML

View Options

src/Pure/System/scala.ML

View Options

src/Tools/Haskell/Haskell.thy

mergedefeebcfaef85Actions

Description

Details

Event Timeline

Merged Changes

Changes (9)

rISABELLEefeebcfaef85

.hgtags

Admin/components/components.sha1

Admin/components/main

NEWS

src/Pure/Admin/build_history.scala

src/Pure/Admin/other_isabelle.scala

src/Pure/System/bash.ML

src/Pure/System/scala.ML

src/Tools/Haskell/Haskell.thy

merged
efeebcfaef85
Actions