Diffusion Isabelle ec947c18e060

merged
ec947c18e060
Actions

Description

merged

Details

Provenance

nipkow

Authored on

Parents

rISABELLE9a1796acd0a4: merged
rISABELLEea10e06adede: more Isabelle/Haskell operations;

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLEec947c18e060: merged.Aug 25 2021, 9:43 PM

Merged Changes

ea10e06adede more Isabelle/Haskell operations;
Author
makarius
Browse Repository
No Builds
No Audits
6109a9105a7a more Isabelle/Haskell operations;
Author
makarius
Browse Repository
No Builds
No Audits
92e74f9305a4 more Isabelle/Haskell operations;
Author
makarius
Browse Repository
No Builds
No Audits
2508ea6a9a11 more Isabelle/Haskell operations;
Author
makarius
Browse Repository
No Builds
No Audits
7652f8d29d10 clarified signature;
Author
makarius
Browse Repository
No Builds
No Audits
af81e4a307be clarified signature;
Author
makarius
Browse Repository
No Builds
No Audits
72bb7e9143f7 minor performance tuning;
Author
makarius
Browse Repository
No Builds
No Audits
4ae14c2e7cdd tuned;
Author
makarius
Browse Repository
No Builds
No Audits
5d40a4f66fdd tuned;
Author
makarius
Browse Repository
No Builds
No Audits
54e096758b63 tuned signature;
Author
makarius
Browse Repository
No Builds
No Audits
5f81ebfb551e tuned comments;
Author
makarius
Browse Repository
No Builds
No Audits
a8b032dede5c treat Symbol.eof as in ML (but: presently unused);
Author
makarius
Browse Repository
No Builds
No Audits
b70714530045 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
53e28c438f96 minor performance tuning;
Author
makarius
Browse Repository
No Builds
No Audits
a3b0fc510705 clarified signature;
Author
makarius
Browse Repository
No Builds
No Audits
8d03d548df1c proper Isabelle symbol positions;
Author
makarius
Browse Repository
No Builds
No Audits
c576a4e2ffbc more Haskell operations;
Author
makarius
Browse Repository
No Builds
No Audits
a9e79c3645c4 clarified signature;
Author
makarius
Browse Repository
No Builds
No Audits
09d4175f473e tuned;
Author
makarius
Browse Repository
No Builds
No Audits
43fe7388458f tuned;
Author
makarius
Browse Repository
No Builds
No Audits
f0b2136e2204 tuned signature: prefer existing Haskell operations;
Author
makarius
Browse Repository
No Builds
No Audits
25c672c32467 more Haskell operations;
Author
makarius
Browse Repository
No Builds
No Audits
ff3dbb2be924 tuned signature;
Author
makarius
Browse Repository
No Builds
No Audits
86163ea20e77 tuned comments;
Author
makarius
Browse Repository
No Builds
No Audits
7b93dc3f2b34 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
afe3c8ae1624 consolidation of rules for bit operations
Author
florian.haftmann
Browse Repository
No Builds
No Audits
304f22435bc7 fixed $ite syntax in TPTP TFX generation
Author
desharna
Browse Repository
No Builds
No Audits
3f371ba2b4fc more Haskell operations;
Author
makarius
Browse Repository
No Builds
No Audits
b5eba4717648 merged
Author
makarius
Browse Repository
No Builds
No Audits
c6bce3633c53 revert 0faa68dedce5: very slow;
Author
makarius
Browse Repository
No Builds
No Audits
1cb0ad6f9a2d tuned;
Author
makarius
Browse Repository
No Builds
No Audits
8e2355ddce1b add/rename some theorems about Map(pings)
Author
lukasstevens
Browse Repository
No Builds
No Audits
ecf80e37ed1a support configuration options "show_results";
Author
makarius
Browse Repository
No Builds
No Audits
0faa68dedce5 consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;
Author
makarius
Browse Repository
No Builds
No Audits

Changes (14)

Path

Size

rISABELLEec947c18e060

View Options

src/Tools/ROOT

View Options

src/Tools/Spec_Check/Examples.thy

View Options

src/Tools/Spec_Check/README

View Options

src/Tools/Spec_Check/Spec_Check.thy

View Options

src/Tools/Spec_Check/base_generator.ML

View Options

src/Tools/Spec_Check/gen_construction.ML

View Options

src/Tools/Spec_Check/generator.ML

View Options

src/Tools/Spec_Check/output_style.ML

View Options

src/Tools/Spec_Check/property.ML

View Options

src/Tools/Spec_Check/random.ML

View Options

src/Tools/Spec_Check/spec_check.ML

mergedec947c18e060Actions

Description

Details

Event Timeline

Merged Changes

Changes (14)

rISABELLEec947c18e060

src/Tools/ROOT

src/Tools/Spec_Check/Examples.thy

src/Tools/Spec_Check/README

src/Tools/Spec_Check/Spec_Check.thy

src/Tools/Spec_Check/base_generator.ML

src/Tools/Spec_Check/gen_construction.ML

src/Tools/Spec_Check/generator.ML

src/Tools/Spec_Check/output_style.ML

src/Tools/Spec_Check/property.ML

src/Tools/Spec_Check/random.ML

src/Tools/Spec_Check/spec_check.ML

merged
ec947c18e060
Actions