Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

User Details

User Since
Sep 24 2019, 9:33 PM (56 w, 4 d)
Roles
Administrator

Recent Activity

Fri, Oct 23

makarius committed rISABELLE05d0977ec706: index for https://isabelle.in.tum.de/components (or clones);.
index for https://isabelle.in.tum.de/components (or clones);
Fri, Oct 23, 2:33 PM

Wed, Oct 21

makarius committed rISABELLEd59242549b7f: support arm64-linux;.
support arm64-linux;
Wed, Oct 21, 10:01 PM

Mon, Oct 19

makarius created Blog Post: Update external prover components for Sledgehammer etc..
Mon, Oct 19, 5:02 PM
makarius created Blog Post: Include veriT component for "smt" method.
Mon, Oct 19, 4:59 PM

Sun, Oct 18

makarius committed rISABELLEef2082c41cd0: clarified basic Linux packages;.
clarified basic Linux packages;
Sun, Oct 18, 2:03 PM

Fri, Oct 16

makarius committed rISABELLE32ac6d3d1623: merged.
merged
Fri, Oct 16, 12:09 PM
makarius committed rISABELLEca6a3ea1f7c4: discontinued old platforms;.
discontinued old platforms;
Fri, Oct 16, 12:09 PM

Thu, Oct 15

makarius committed rISABELLE5bf00b1dd7d8: more standard Value.print_time;.
more standard Value.print_time;
Thu, Oct 15, 3:17 PM
makarius committed rISABELLEb772a93d44aa: disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS;.
disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS;
Thu, Oct 15, 3:17 PM
makarius committed rISABELLE7d0861af3cb0: proper support for Windows exe;.
proper support for Windows exe;
Thu, Oct 15, 3:17 PM
makarius committed rISABELLEb452242dce36: proper Isabelle component settings: prefer standard terminology….
proper Isabelle component settings: prefer standard terminology…
Thu, Oct 15, 3:17 PM

Wed, Oct 14

makarius committed rISABELLE56ef403eab15: provide verit-2020.10-rmx for testing (inactive);.
provide verit-2020.10-rmx for testing (inactive);
Wed, Oct 14, 10:42 PM
makarius committed rISABELLE845001bdf41a: proper setup for Windows/MinGW;.
proper setup for Windows/MinGW;
Wed, Oct 14, 10:42 PM
makarius committed rISABELLE37e344d8fac8: proper libraries_closure for libgmp;.
proper libraries_closure for libgmp;
Wed, Oct 14, 10:42 PM
makarius committed rISABELLE0a868098fcc0: tuned;.
tuned;
Wed, Oct 14, 10:42 PM
makarius committed rISABELLE70032f83b9be: updated to polyml-test-d68c6736402e --- follow current ongoing development;.
updated to polyml-test-d68c6736402e --- follow current ongoing development;
Wed, Oct 14, 10:42 PM

Tue, Oct 13

makarius committed rISABELLEe2e9ef9aa2df: merged.
merged
Tue, Oct 13, 8:51 PM
makarius committed rISABELLEaca85e8d873d: more robust;.
more robust;
Tue, Oct 13, 8:51 PM
makarius committed rISABELLE96f56191aaea: proper target directory for libraries;.
proper target directory for libraries;
Tue, Oct 13, 8:51 PM
makarius committed rISABELLE60471f4bafd2: proper library names on Windows;.
proper library names on Windows;
Tue, Oct 13, 8:51 PM
makarius committed rISABELLE04403e1ef176: build Isabelle Zipperposition component from OPAM repository;.
build Isabelle Zipperposition component from OPAM repository;
Tue, Oct 13, 8:51 PM
makarius committed rISABELLE0822ff79eed8: proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";.
proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";
Tue, Oct 13, 8:51 PM
makarius committed rISABELLEde11c745ebbc: tuned messages --- less SPAM;.
tuned messages --- less SPAM;
Tue, Oct 13, 8:51 PM
makarius committed rISABELLEdefbbff7396c: tuned;.
tuned;
Tue, Oct 13, 8:51 PM
makarius committed rISABELLEb32eea5823c8: tuned signature;.
tuned signature;
Tue, Oct 13, 8:51 PM
makarius committed rISABELLE7c552a256ca5: misc tuning and clarification: prefer Executable.libraries_closure;.
misc tuning and clarification: prefer Executable.libraries_closure;
Tue, Oct 13, 8:51 PM
makarius committed rISABELLE4c6f318bcf9c: tuned;.
tuned;
Tue, Oct 13, 8:51 PM
makarius committed rISABELLEe79294c4230c: more portable;.
more portable;
Tue, Oct 13, 8:51 PM

Mon, Oct 12

makarius committed rISABELLE2c7f0ef8323a: NEWS;.
NEWS;
Mon, Oct 12, 5:56 PM
makarius committed rISABELLEcd3419427cd3: activate E 2.5 for production use (see also 5d1a7b688f6d);.
activate E 2.5 for production use (see also 5d1a7b688f6d);
Mon, Oct 12, 5:56 PM
makarius committed rISABELLE7bf67a58f54a: clarified signature;.
clarified signature;
Mon, Oct 12, 4:19 PM
makarius committed rISABELLE549391271e74: clarified Executable.libraries_closure;.
clarified Executable.libraries_closure;
Mon, Oct 12, 4:19 PM

Sun, Oct 11

makarius committed rISABELLEfaad63aca1e7: support for platform-specific executables;.
support for platform-specific executables;
Sun, Oct 11, 11:01 PM
makarius committed rISABELLE2d9a70b85009: tuned whitespace;.
tuned whitespace;
Sun, Oct 11, 5:48 PM
makarius committed rISABELLEff5e700ed490: more robust: ignore existing gmp installation, but let veriT incorporate….
more robust: ignore existing gmp installation, but let veriT incorporate…
Sun, Oct 11, 5:48 PM
makarius committed rISABELLEa3257d0e8bbb: presumably redundant (absent in Windows/Cygwin download);.
presumably redundant (absent in Windows/Cygwin download);
Sun, Oct 11, 2:31 PM
makarius committed rISABELLE90868036d693: clarified signature;.
clarified signature;
Sun, Oct 11, 2:31 PM
makarius committed rISABELLEd0ba71b3297e: tuned messages;.
tuned messages;
Sun, Oct 11, 2:31 PM
makarius committed rISABELLE7f6800b2e8c2: build Isabelle veriT component from official download;.
build Isabelle veriT component from official download;
Sun, Oct 11, 2:31 PM
makarius committed rISABELLE90c6e9a83c1e: tuned;.
tuned;
Sun, Oct 11, 2:31 PM
makarius committed rISABELLEefc5ae4b4ac8: tuned messages;.
tuned messages;
Sun, Oct 11, 2:31 PM

Sat, Oct 10

makarius committed rISABELLE86f8fcdcff4a: clarified message;.
clarified message;
Sat, Oct 10, 10:18 PM
makarius committed rISABELLEb8b97c49e339: tuned signature;.
tuned signature;
Sat, Oct 10, 10:18 PM
makarius committed rISABELLE8e38c8405788: clarified options;.
clarified options;
Sat, Oct 10, 10:18 PM
makarius committed rISABELLEb7351ffe0dbc: clarified signature: allow complex bash script;.
clarified signature: allow complex bash script;
Sat, Oct 10, 10:18 PM
makarius committed rISABELLE7924c7d2d9d9: more explicit MinGW context;.
more explicit MinGW context;
Sat, Oct 10, 10:18 PM
makarius committed rISABELLEf5d60c12deeb: more standard path output (despite platform_path from d55eb82ae77b);.
more standard path output (despite platform_path from d55eb82ae77b);
Sat, Oct 10, 10:18 PM
makarius committed rISABELLEdef95a34df8e: clarified signature;.
clarified signature;
Sat, Oct 10, 10:18 PM
makarius committed rISABELLEd0937d55eb90: clarified errors;.
clarified errors;
Sat, Oct 10, 10:18 PM
makarius committed rISABELLE10c07d224035: tuned signature;.
tuned signature;
Sat, Oct 10, 10:18 PM
makarius committed rISABELLEf8aa2efce869: more explicit MinGW context;.
more explicit MinGW context;
Sat, Oct 10, 10:18 PM
makarius committed rISABELLE9d59738102b8: more libs for build_csdp;.
more libs for build_csdp;
Sat, Oct 10, 10:18 PM
makarius committed rISABELLE9a8bc089890d: support for MSYS2/MinGW64 on Windows;.
support for MSYS2/MinGW64 on Windows;
Sat, Oct 10, 10:18 PM
makarius committed rISABELLEf6fc180e1cbd: tuned --- according to instructions on Website;.
tuned --- according to instructions on Website;
Sat, Oct 10, 5:33 PM
makarius committed rISABELLE72667f4994a6: updated to csdp-6.1.1, with support for arm64-linux;.
updated to csdp-6.1.1, with support for arm64-linux;
Sat, Oct 10, 3:17 PM
makarius committed rISABELLE4ed247fadbc4: proper support for x86_64-windows via msys/mingw64;.
proper support for x86_64-windows via msys/mingw64;
Sat, Oct 10, 3:17 PM
makarius committed rISABELLE992822a11039: more standard build from sources;.
more standard build from sources;
Sat, Oct 10, 3:17 PM
makarius committed rISABELLE783c3a47d57c: tuned message;.
tuned message;
Sat, Oct 10, 3:17 PM

Fri, Oct 9

makarius committed rISABELLE84edb8f30fbe: component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with….
component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with…
Fri, Oct 9, 9:53 PM
makarius committed rISABELLEaf24c0dd6975: build Isabelle CSDP component from official downloads;.
build Isabelle CSDP component from official downloads;
Fri, Oct 9, 9:53 PM
makarius committed rISABELLEc2b44fb3add4: rebuild component following current "isabelle build_e" and Admin/PLATFORMS;.
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
Fri, Oct 9, 2:15 PM
makarius committed rISABELLE9ed9585c495b: proper support for Windows/Cygwin;.
proper support for Windows/Cygwin;
Fri, Oct 9, 2:15 PM
makarius committed rISABELLEb8cc129ece05: build Isabelle SPASS component from unofficial download;.
build Isabelle SPASS component from unofficial download;
Fri, Oct 9, 2:15 PM
makarius committed rISABELLEf98f764239a4: tuned;.
tuned;
Fri, Oct 9, 12:56 PM
makarius committed rISABELLEda577e2d42b3: clarified according to Isabelle_System.download;.
clarified according to Isabelle_System.download;
Fri, Oct 9, 12:56 PM
makarius committed rISABELLE2daa5f549687: misc tuning;.
misc tuning;
Fri, Oct 9, 12:56 PM
makarius committed rISABELLE5b15a9f854aa: rebuild component following current "isabelle build_e" and Admin/PLATFORMS;.
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
Fri, Oct 9, 12:56 PM
makarius committed rISABELLEa49be9fc83c3: discontinued unused eproof_ram (actually absent in version 2.5);.
discontinued unused eproof_ram (actually absent in version 2.5);
Fri, Oct 9, 12:56 PM
makarius committed rISABELLEc8e8e3e3d929: discontinued obsolete runepar.pl (see 4a3169d8885c);.
discontinued obsolete runepar.pl (see 4a3169d8885c);
Fri, Oct 9, 12:56 PM

Wed, Oct 7

makarius committed rISABELLE5fac6c50e6d5: tuned signature;.
tuned signature;
Wed, Oct 7, 9:37 PM
makarius committed rISABELLE9302fd538ae4: updated user + host;.
updated user + host;
Wed, Oct 7, 9:37 PM
makarius committed rISABELLEb8f25ceac57f: updated URL;.
updated URL;
Wed, Oct 7, 9:12 PM
makarius committed rISABELLE2bbc7365e8c4: clarified multicore options;.
clarified multicore options;
Wed, Oct 7, 9:12 PM
makarius committed rISABELLE37c1fbcc88d0: discontinued old machines;.
discontinued old machines;
Wed, Oct 7, 9:12 PM
makarius committed rISABELLEed95980cf198: updated tests for macOS 10.14 Mojave;.
updated tests for macOS 10.14 Mojave;
Wed, Oct 7, 9:12 PM
makarius committed rISABELLE04be6716cac6: tuned;.
tuned;
Wed, Oct 7, 11:32 AM

Mon, Oct 5

makarius committed rISABELLE075f3cbc7546: clarified signature;.
clarified signature;
Mon, Oct 5, 10:54 PM
makarius committed rISABELLEc7741f767e3e: clarified signature;.
clarified signature;
Mon, Oct 5, 10:54 PM
makarius committed rISABELLE04bce3478688: clarified signature;.
clarified signature;
Mon, Oct 5, 10:54 PM
makarius committed rISABELLEe48d93811ed7: clarified signature;.
clarified signature;
Mon, Oct 5, 10:54 PM
makarius committed rAFP4f972a4eb0eb: merged.
merged
Mon, Oct 5, 10:53 PM
makarius committed rAFP4bda6649ff41: clarified signature;.
clarified signature;
Mon, Oct 5, 10:53 PM
makarius committed rAFPe9bf6f32ab46: clarified signature;.
clarified signature;
Mon, Oct 5, 10:53 PM

Sat, Oct 3

makarius committed rISABELLE3e84f4e9651a: clarified arm64-linux base line: prefer Pi OS, which is based on slightly older….
clarified arm64-linux base line: prefer Pi OS, which is based on slightly older…
Sat, Oct 3, 10:18 PM
makarius committed rISABELLEe25c0a6cc335: detect/guess arm32 platform (unsupported);.
detect/guess arm32 platform (unsupported);
Sat, Oct 3, 7:59 PM
makarius committed rISABELLE694d0a315d0a: build component according to "isabelle build_e -V 2.5" (inactive);.
build component according to "isabelle build_e -V 2.5" (inactive);
Sat, Oct 3, 3:18 PM
makarius committed rISABELLEb86d1e754e78: updated component according to "isabelle build_e -V 2.0";.
updated component according to "isabelle build_e -V 2.0";
Sat, Oct 3, 3:18 PM
makarius committed rISABELLEd3069e7e1175: proper usage;.
proper usage;
Sat, Oct 3, 3:18 PM
makarius committed rISABELLEed99d0f9b536: clarified;.
clarified;
Sat, Oct 3, 3:18 PM

Fri, Oct 2

makarius committed rISABELLE3c597781e346: merged.
merged
Fri, Oct 2, 11:47 PM
makarius committed rISABELLE374aafa52e92: clarified installed files;.
clarified installed files;
Fri, Oct 2, 11:47 PM
makarius committed rISABELLEfc5f10691147: build Isabelle E prover component from official downloads;.
build Isabelle E prover component from official downloads;
Fri, Oct 2, 11:47 PM
makarius committed rISABELLE5f17bf3709b8: clarified signature;.
clarified signature;
Fri, Oct 2, 11:47 PM
makarius committed rISABELLE178cbf89780e: updated for coming release;.
updated for coming release;
Fri, Oct 2, 11:47 PM
makarius committed rISABELLE1f03cc073046: updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;.
updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;
Fri, Oct 2, 11:47 PM
makarius committed rISABELLE9af8124f7f0d: clarified platforms;.
clarified platforms;
Fri, Oct 2, 11:47 PM
makarius committed rISABELLE91f38e34aa3f: updated to opam-2.0.7;.
updated to opam-2.0.7;
Fri, Oct 2, 11:47 PM

Thu, Oct 1

makarius committed rISABELLE2d36c214f7fd: support arm64-linux Poly/ML (slow bytecode interpreter only);.
support arm64-linux Poly/ML (slow bytecode interpreter only);
Thu, Oct 1, 5:27 PM
makarius committed rISABELLE1e5516c55b46: purge arm64-linux --- no build_release support yet;.
purge arm64-linux --- no build_release support yet;
Thu, Oct 1, 5:27 PM
makarius committed rISABELLEf4bd6f123fdf: more systematic platform support, including arm64-linux;.
more systematic platform support, including arm64-linux;
Thu, Oct 1, 5:27 PM