isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

support for macOS 14 Sonoma (only for testing);
23 months ago, by wenzelm
more platform tests: initial support for macOS 14 Sonoma;
23 months ago, by wenzelm
updated to gmp-6.3.0, for the sake of macOS 14 Sonoma;
23 months ago, by wenzelm
merged
23 months ago, by wenzelm
prefer Exn.result: avoid accidental capture of interrupts, similar to ML;
23 months ago, by wenzelm
clarified user errors vs. failures, e.g. java.lang.StackOverflowError;
23 months ago, by wenzelm
further clarification of Exn.is_interrupt_proper vs. overall Exn.is_interrupt;
23 months ago, by wenzelm
proper Exn.capture with check_interrupt (amending a3dcae9a2ebe);
23 months ago, by wenzelm
distinguish proper interrupts from Poly/ML RTS breakdown;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
proper Isabelle_Thread.try_catch;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
proper Exn.capture / Isabelle_Thread.try_catch;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
proper Exn.capture;
23 months ago, by wenzelm
more robust: avoid race condition;
23 months ago, by wenzelm
clarified name;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
clarified comments;
23 months ago, by wenzelm
Fixed the duplication of fls_compose_fps, moving the definition in Laurent_Convergence to Formal_Laurent_Series along with several simpler facts
23 months ago, by paulson
atin now an abbreviation for atin_within, which has been moved to Abstract_Limits
23 months ago, by paulson
merged
23 months ago, by paulson
New proofs also some slightly faster existing proofs
24 months ago, by paulson
updated to hugo-0.119.0;
24 months ago, by Fabian Huch
add component build tool for hugo from afp-devel;
24 months ago, by Fabian Huch
removed test failing on some platform
24 months ago, by desharna
mini2 is not active due to upgrade;
24 months ago, by wenzelm
more PLATFORMS;
24 months ago, by wenzelm
update documentation on Isabelle/ML exceptions;
24 months ago, by wenzelm
misc tuning;
24 months ago, by wenzelm
discontinue obsolete "Interrupt" constructor (NB: catch-all pattern produces ML compiler error);
24 months ago, by wenzelm
proper thread context for "isabelle-markup" Sidekick parser (amending 01a7265db76b);
24 months ago, by wenzelm
proper Scala version, e.g. for IntelliJ IDEA;
24 months ago, by wenzelm
NEWS
24 months ago, by desharna
used standard Time.compare in Sledgehammer's preplay
24 months ago, by desharna
moved variable bindings to tighter scope
2023-09-29, by desharna
removed proof reconstruction from Mirabelle; this is best handled directly in Sledgehammer
2023-09-29, by desharna
removed unused function parameter
2023-09-29, by desharna
merged
2023-09-29, by paulson
A couple of new lemmas
2023-09-29, by paulson
merged
2023-09-29, by wenzelm
more NEWS;
2023-09-29, by wenzelm
explicitly reject 'handle' with catch-all patterns;
2023-09-28, by wenzelm
avoid accidental 'handle' of interrupts;
2023-09-28, by wenzelm
tuned: prefer try-catch/finally over low-level 'handle';
2023-09-28, by wenzelm
clarified treatment of exceptions: avoid catch-all handlers;
2023-09-28, by wenzelm
clarified output vs. error: presence of error messages means error (see also cb7264721c91);
2023-09-28, by wenzelm
tuned;
2023-09-26, by wenzelm
more robust management of resources, using Thread_Attributes.uninterruptible;
2023-09-26, by wenzelm
tuned;
2023-09-26, by wenzelm
clarified signature;
2023-09-26, by wenzelm
more robust management of resources, using Thread_Attributes.uninterruptible;
2023-09-26, by wenzelm
tuned;
2023-09-26, by wenzelm
tuned;
2023-09-26, by wenzelm
tuned signature;
2023-09-26, by wenzelm
clarified signature: distinction of unmanaged vs. managed interrupts (not implemented yet);
2023-09-26, by wenzelm
clarified signature;
2023-09-25, by wenzelm
clarified modules;
2023-09-25, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

isabelle