isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 tip

update NEWS;
10 months ago, by Fabian Huch
moved web_app module from AFP (e.g., for building web services for the distributed build);
10 months ago, by Fabian Huch
tuned;
10 months ago, by Fabian Huch
removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g. f150253cb201), but is superseded by AFP metadata (TOML);
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified modules: more official Sessions.notable_groups;
10 months ago, by wenzelm
tuned
10 months ago, by nipkow
merged
10 months ago, by paulson
An assortment of new material, mostly due to Manuel
10 months ago, by paulson
rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
merged
10 months ago, by desharna
added lemma wfp_on_image and author name to theory
10 months ago, by desharna
proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
10 months ago, by wenzelm
proper "isabelle go_setup" for Jenkins;
10 months ago, by wenzelm
dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);
10 months ago, by wenzelm
tuned message;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
tuned NEWS;
10 months ago, by wenzelm
support for "all" platforms;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
merged
10 months ago, by nipkow
updated time functions for Array_Braun
10 months ago, by nipkow
merged
10 months ago, by paulson
New material and a bit of refactoring
10 months ago, by paulson
remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and 37f852399a32);
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more robust Markdown;
10 months ago, by wenzelm
misc tuning;
10 months ago, by wenzelm
run "isabelle components_build -u";
10 months ago, by wenzelm
remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";
10 months ago, by wenzelm
tuned order;
10 months ago, by wenzelm
more Setup_Tool services;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
proper SSH operations;
10 months ago, by wenzelm
tuned signature: more permissive;
10 months ago, by wenzelm
clarified signature: explicit variable is easier to find in source;
10 months ago, by wenzelm
proper services for Setup_Tool --- avoid hardwired stuff;
10 months ago, by wenzelm
merged
10 months ago, by desharna
renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal
10 months ago, by desharna
more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML);
10 months ago, by wenzelm
more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);
10 months ago, by wenzelm
misc tuning for release;
10 months ago, by wenzelm
merged;
10 months ago, by wenzelm
NEWS for "isabelle go_setup";
10 months ago, by wenzelm
proper platform_path for Windows;
10 months ago, by wenzelm
misc tuning, following go_setup;
10 months ago, by wenzelm
dynamic setup of Go component, similar to Dotnet;
10 months ago, by wenzelm
tuned comments;
10 months ago, by wenzelm
clarified signature: more operations;
10 months ago, by wenzelm
clarified signature: explicit type Platform.Info with derived operations;
10 months ago, by wenzelm
less ambitious parallelism: avoid exhaustion of memory (64GB total);
10 months ago, by wenzelm
provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned messages;
10 months ago, by wenzelm
update to bash_process-20240326;
10 months ago, by wenzelm
build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all platform directories (e.g. for SSH upload);
10 months ago, by wenzelm
clarified meaning of platform.props: update on default;
10 months ago, by wenzelm
allow raw input in HTML (e.g., for web applications);
10 months ago, by Fabian Huch
added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on
10 months ago, by desharna
merged
10 months ago, by desharna
added lemma wf_on_iff_wf
10 months ago, by desharna
changed number of consumed assumptions of wf_on_induct and wfp_on_induct
10 months ago, by desharna
obsolete: base-line is macOS 11;
10 months ago, by wenzelm
more robust: always assume x86_64 (or its emulation on ARM);
10 months ago, by wenzelm
MLton lacks arm64-linux (see also 84f2d481d6d7);
10 months ago, by wenzelm
more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2;
10 months ago, by wenzelm
update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
misc updates, tuning and clarification;
10 months ago, by wenzelm
reformat source in jEdit (wrap margin 78);
10 months ago, by wenzelm
more accurate Markdown formatting, both for VSCode and Phabricator;
10 months ago, by wenzelm
just one README.md;
10 months ago, by wenzelm
tuned
10 months ago, by nipkow
merged
10 months ago, by wenzelm
more accurate platform directories: pkg/tool structure is hardwired in "go";
10 months ago, by wenzelm
support for etc/platform.props, to specify multi-platform directory structure more accurately;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
build Isabelle component for Go: all platforms;
10 months ago, by wenzelm
misc tuning;
10 months ago, by wenzelm
just one copy of darwin-universal.tar.gz;
10 months ago, by wenzelm
documented running time function framework by Jonas Stahl
10 months ago, by nipkow
merged
10 months ago, by desharna
redefined wf as an abbreviation for "wf_on UNIV"
10 months ago, by desharna
merged
10 months ago, by nipkow
more uniform command names
10 months ago, by nipkow
tuned parameter order
10 months ago, by nipkow
shutdown lrzcloud2;
10 months ago, by wenzelm
tuned NEWS
10 months ago, by desharna
redefined wfP as an abbreviation for "wfp_on UNIV"
10 months ago, by desharna
merged
10 months ago, by desharna
added lemma wellorder.wfp_on_less[simp]
10 months ago, by desharna
merged
10 months ago, by wenzelm
suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker);
10 months ago, by wenzelm
update to sumatra_pdf-3.5.2;
10 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
update to jsoup-1.17.2;
10 months ago, by wenzelm
proper bib entries (amending 82aaa0d8fc3b);
10 months ago, by wenzelm
update to dotnet-8.0.203;
10 months ago, by wenzelm
enforce rebuild of Isabelle/ML;
10 months ago, by wenzelm
update to sqlite-3.45.2.0: clarified component name, following postgresql;
10 months ago, by wenzelm
activate postgresql-42.7.3;
10 months ago, by wenzelm
update to postgresql-42.7.3;
10 months ago, by wenzelm
update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
10 months ago, by wenzelm
isabelle update -u cite;
10 months ago, by wenzelm
raise error if benchmarking fails;
10 months ago, by Fabian Huch
option for benchmark session;
10 months ago, by Fabian Huch
add hosts option to run benchmark on the cluster from the command-line;
10 months ago, by Fabian Huch
only start jobs early if they are due (cf. 1966578feff8);
10 months ago, by Fabian Huch
New material from a variety of sources (including AFP)
10 months ago, by paulson
build component for cvc5-latest (ef2bc3f735df);
10 months ago, by wenzelm
merged
10 months ago, by desharna
try proof method "order" in Sledgehammer's proof reconstruction
10 months ago, by desharna
added Mirabelle action "order"
10 months ago, by desharna