isabelle: Graph

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

common type class for trivial properties on div/mod
12 months ago, by haftmann
more robust (amending 1600fb749c54), to support the following corner case:
12 months ago, by wenzelm
proper test options;
12 months ago, by wenzelm
proper history_base for linux_arm;
12 months ago, by wenzelm
updated to PostgreSQL 12 on Ubuntu 20.04;
12 months ago, by wenzelm
routine build + test for linux_arm;
12 months ago, by wenzelm
disable test on "augsburg1": machine will be dismantled;
12 months ago, by wenzelm
add approximation factors in build schedule to estimate build times more conservatively;
12 months ago, by Fabian Huch
merged
12 months ago, by paulson
Type class patch suggested by Achim Brucker, plus tidied lemma
12 months ago, by paulson
rearranged and reformulated abstract classes for bit structures and operations
12 months ago, by haftmann
Three new lemmas
12 months ago, by paulson
tuned proof: avoid z3 to make it work on arm64-linux;
12 months ago, by wenzelm
update to jdk-21.0.2;
12 months ago, by wenzelm
make build process state protected to avoid copying in subclasses (e.g. for database connections);
12 months ago, by Fabian Huch
add build_sync tag to sync certain options (e.g., build_engine) across build processes;
12 months ago, by Fabian Huch
clarified Mercurial version: presumably the last version that supports both python2 and python3;
12 months ago, by wenzelm
more robust: avoid crash on non-Linux systems;
12 months ago, by wenzelm
clarified webserver names;
12 months ago, by wenzelm
proper Apache.php_name;
12 months ago, by wenzelm
proper packages for mercurial_setup on Ubuntu 22.04: building from source provides hgweb modules, and also provides a defined version (6.1.1 is also provided by Ubuntu 22.04);
12 months ago, by wenzelm
tuned source structure;
12 months ago, by wenzelm
more robust systemd configuration;
12 months ago, by wenzelm
more robust nginx configuration, notably for "certbot --nginx -d DOMAIN";
12 months ago, by wenzelm
tuned whitespace in generated file;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified modules;
12 months ago, by wenzelm
recover Url.is_wellformed from before d8330439823a, e.g. relevant for JEdit_Resources.read_file_content (the URI alone does not necessarily have a protocol prefix, so plain file-path would be treated as URL);
12 months ago, by wenzelm
proper php-fpm configuration for nginx;
12 months ago, by wenzelm
support multiple webservers: Apache or Nginx;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified signature: explicit type isabelle.Url to avoid oddities of java.net.URL (e.g. its "equals" method);
12 months ago, by wenzelm
unused;
12 months ago, by wenzelm
enforce rebuild of Isabelle/Scala + Isabelle/ML;
12 months ago, by wenzelm
updated to postgresql-42.7.1;
12 months ago, by wenzelm
updated to sqlite-jdbc-3.45.0.0, including slf4j-1.7.36;
12 months ago, by wenzelm
update to llncs-2.23;
12 months ago, by wenzelm
clarified bootstrap;
12 months ago, by wenzelm
clarified directories;
12 months ago, by wenzelm
clarified directories;
12 months ago, by wenzelm
obsolete (see also fc88b943e1b2);
12 months ago, by wenzelm
proper output, following 2cd23d587db9;
12 months ago, by wenzelm
always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c);
12 months ago, by wenzelm
clarified directories;
12 months ago, by wenzelm
more accurate Isabelle versions;
12 months ago, by wenzelm
more accurate Ubuntu versions;
12 months ago, by wenzelm
more uses of define_time_fun
12 months ago, by nipkow
translation to time functions now with canonical let.
12 months ago, by nipkow
merged
12 months ago, by paulson
A few new results (mostly brought in from other developments)
12 months ago, by paulson
merged
12 months ago, by nipkow
Added time function automation
12 months ago, by nipkow
streamlined type class specification
12 months ago, by haftmann
consolidated lemma name
12 months ago, by haftmann
support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we.phorge.it version "2023 week 49";
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
update links;
12 months ago, by wenzelm
follow post-maintenance updates of original Phabricator, as base-line for Phorge;
12 months ago, by wenzelm
refer to "localhost" as pro-forma domain;
12 months ago, by wenzelm
simplified specification of type class
12 months ago, by haftmann
consolidated name of lemma analogously to nat/int/word_bit_induct
12 months ago, by haftmann
more accurate syntax: 'obtain' vars are optional;
12 months ago, by wenzelm
clarified order, disregard structure of proof;
12 months ago, by wenzelm
minor performance tuning;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
more thorough treatment of hidden type variables within zproof;
12 months ago, by wenzelm
more uniform treatment of "hyps" within zproof;
12 months ago, by wenzelm
clarified order: follow Thm.fold_terms;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified test: no exception yet;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
tuned signature: more direct operations;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature: more direct operations;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
minor performance tuning, for important special case where consts are already expanded (e.g. re-certification within proof procedure);
12 months ago, by wenzelm
tuned whitespace;
12 months ago, by wenzelm
more robust: certify types uniformly (see also 62b75508eb66);
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature: avoid redundant Term.maxidx_of_term;
12 months ago, by wenzelm
proper check of result from Soft_Type_System.global_purge (amending b2bedb022a75);
12 months ago, by wenzelm
misc tuning and clarification: prefer Same.operation;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned names;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned whitespace;
12 months ago, by wenzelm
clarified modules;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
added and removed lemmas
12 months ago, by nipkow
proper SMTP session: set envelope sender address correctly;
12 months ago, by Fabian Huch
update javamail component with current jakarta mail APIs and eclipse angus implementation;
12 months ago, by Fabian Huch
tuned source structure;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
minor performance tuning;
12 months ago, by wenzelm
minor performance tuning;
12 months ago, by wenzelm
minor performance tuning;
12 months ago, by wenzelm
minor performance tuning;
12 months ago, by wenzelm
minor performance tuning;
12 months ago, by wenzelm
minor performance tuning;
12 months ago, by wenzelm
minor performance tuning;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
more zproofs, underlying Proofterm.unconstrain_thm_proof / Thm.unconstrainT;
12 months ago, by wenzelm
omit syntactic of_class check, which is in conflict with sort constraints within the logic;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
minor performance tuning;
12 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
misc tuning and clarification;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
tuned signature: canonical argument order;
13 months ago, by wenzelm