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 tip

more thorough expose_interrupt: always reset "break" state, regardless of pending interrupt;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
proper parallel build tasks;
15 months ago, by wenzelm
more Haskell tests on macOS;
15 months ago, by wenzelm
more NEWS;
15 months ago, by wenzelm
disable naproche component for now: to be updated before the next Isabelle release;
15 months ago, by wenzelm
updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session "Haskell");
15 months ago, by wenzelm
more NEWS;
15 months ago, by wenzelm
tuned structure;
15 months ago, by wenzelm
update platforms: discontinue macOS 10.13 High Sierra, macOS 10.14 Mojave, macOS 10.15 Catalina;
15 months ago, by wenzelm
updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur;
15 months ago, by wenzelm
proper options for macOS 11 Big Sur;
15 months ago, by wenzelm
support for official release of polyml-5.9.1;
15 months ago, by wenzelm
updated Linux baseline to Ubuntu 18.04;
15 months ago, by wenzelm
support for macOS 14 Sonoma (only for testing);
15 months ago, by wenzelm
more platform tests: initial support for macOS 14 Sonoma;
15 months ago, by wenzelm
updated to gmp-6.3.0, for the sake of macOS 14 Sonoma;
15 months ago, by wenzelm
merged
15 months ago, by wenzelm
prefer Exn.result: avoid accidental capture of interrupts, similar to ML;
15 months ago, by wenzelm
clarified user errors vs. failures, e.g. java.lang.StackOverflowError;
15 months ago, by wenzelm
further clarification of Exn.is_interrupt_proper vs. overall Exn.is_interrupt;
15 months ago, by wenzelm
proper Exn.capture with check_interrupt (amending a3dcae9a2ebe);
15 months ago, by wenzelm
distinguish proper interrupts from Poly/ML RTS breakdown;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
proper Isabelle_Thread.try_catch;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
proper Exn.capture / Isabelle_Thread.try_catch;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
proper Exn.capture;
15 months ago, by wenzelm
more robust: avoid race condition;
15 months ago, by wenzelm
clarified name;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
clarified comments;
15 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
15 months ago, by paulson
atin now an abbreviation for atin_within, which has been moved to Abstract_Limits
15 months ago, by paulson
merged
15 months ago, by paulson
New proofs also some slightly faster existing proofs
15 months ago, by paulson
updated to hugo-0.119.0;
15 months ago, by Fabian Huch
add component build tool for hugo from afp-devel;
15 months ago, by Fabian Huch
removed test failing on some platform
15 months ago, by desharna
mini2 is not active due to upgrade;
15 months ago, by wenzelm
more PLATFORMS;
15 months ago, by wenzelm
update documentation on Isabelle/ML exceptions;
15 months ago, by wenzelm
misc tuning;
15 months ago, by wenzelm
discontinue obsolete "Interrupt" constructor (NB: catch-all pattern produces ML compiler error);
15 months ago, by wenzelm
proper thread context for "isabelle-markup" Sidekick parser (amending 01a7265db76b);
15 months ago, by wenzelm
proper Scala version, e.g. for IntelliJ IDEA;
15 months ago, by wenzelm
NEWS
15 months ago, by desharna
used standard Time.compare in Sledgehammer's preplay
15 months ago, by desharna
moved variable bindings to tighter scope
15 months ago, by desharna
removed proof reconstruction from Mirabelle; this is best handled directly in Sledgehammer
15 months ago, by desharna
removed unused function parameter
15 months ago, by desharna
merged
15 months ago, by paulson
A couple of new lemmas
15 months ago, by paulson
merged
15 months ago, by wenzelm
more NEWS;
15 months ago, by wenzelm
explicitly reject 'handle' with catch-all patterns;
15 months ago, by wenzelm
avoid accidental 'handle' of interrupts;
15 months ago, by wenzelm

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

isabelle